| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Utils
Synopsis
- unsafeBoundRational ∷ (HasCallStack, Typeable r, BoundedRational r) ⇒ Rational → r
- testGlobals ∷ Globals
- mkDummySafeHash ∷ Int → SafeHash a
- txInAt ∷ ∀ era (l ∷ TxLevel). (HasCallStack, EraTx era) ⇒ Int → Tx l era → TxIn
- mkActiveStake ∷ Map (Credential 'Staking) Coin → Map (Credential 'Staking) (KeyHash 'StakePool) → ActiveStake
Documentation
unsafeBoundRational ∷ (HasCallStack, Typeable r, BoundedRational r) ⇒ Rational → r Source #
mkDummySafeHash ∷ Int → SafeHash a Source #
mkActiveStake ∷ Map (Credential 'Staking) Coin → Map (Credential 'Staking) (KeyHash 'StakePool) → ActiveStake Source #
Construct an ActiveStake from separate maps of stake and delegations.
Only credentials present in both maps with non-zero stake are included.