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. 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 #
getChainStateDIState ∷ GetChainState DIState Source #
getChainStateHash ∷ GetChainState Hash Source #
getChainStateSlot ∷ GetChainState Slot Source #
getChainStateUPIState ∷ GetChainState UPIState Source #
getChainStateUtxoState ∷ GetChainState UTxOState Source #
ChainState modifiers
type ModChainState a = ∀ m. Applicative m ⇒ (a → m a) → State CHAIN → m (State CHAIN) Source #
modChainStateDIState ∷ ModChainState DIState Source #
modChainStateSlot ∷ ModChainState Slot Source #
modChainStateUPIState ∷ ModChainState UPIState Source #
modChainStateUtxoState ∷ ModChainState UTxOState Source #
Auxiliary
getDIStateDSState ∷ DIState → DSState Source #
Extract DSState
from DIState
modDIStateDSState ∷ Applicative m ⇒ (DSState → m DSState) → DIState → m DIState Source #
Update DIState
from DSState