| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.ByronSpec.Ledger.Accessors
Description
Working with the Byron spec chain state
Synopsis
- type GetChainState a = State CHAIN → a
- getChainStateDIState ∷ GetChainState DIState
- getChainStateHash ∷ GetChainState Hash
- getChainStateSlot ∷ GetChainState Slot
- getChainStateUPIState ∷ GetChainState UPIState
- getChainStateUtxoState ∷ GetChainState UTxOState
- type ModChainState a = ∀ (m ∷ Type → Type). Applicative m ⇒ (a → m a) → State CHAIN → m (State CHAIN)
- modChainStateDIState ∷ ModChainState DIState
- modChainStateSlot ∷ ModChainState Slot
- modChainStateUPIState ∷ ModChainState UPIState
- modChainStateUtxoState ∷ ModChainState UTxOState
- getDIStateDSState ∷ DIState → DSState
- modDIStateDSState ∷ Applicative m ⇒ (DSState → m DSState) → DIState → m DIState
ChainState getters
type GetChainState a = State CHAIN → a Source #
ChainState modifiers
type ModChainState a = ∀ (m ∷ Type → Type). Applicative m ⇒ (a → m a) → State CHAIN → m (State CHAIN) Source #
Auxiliary
modDIStateDSState ∷ Applicative m ⇒ (DSState → m DSState) → DIState → m DIState Source #