| 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 = forall 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 = forall 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