ouroboros-consensus-byronspec-0.1.0.0: ByronSpec ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Accessors

Description

Working with the Byron spec chain state

Synopsis

ChainState getters

type GetChainState a = State CHAIN → a Source #

ChainState modifiers

type ModChainState a = ∀ m. Applicative m ⇒ (a → m a) → State CHAIN → m (State CHAIN) Source #

Auxiliary

getDIStateDSState ∷ DIState → DSState Source #

Extract DSState from DIState

modDIStateDSStateApplicative m ⇒ (DSState → m DSState) → DIState → m DIState Source #

Update DIState from DSState