Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data FoldLedgerState = FoldLedgerState {}
- parseCli :: ParserInfo FoldLedgerState
- run :: FoldLedgerState -> Stop -> ChainsyncStats -> IO ()
- foldLedgerState :: ExtLedgerCfg_ -> ExtLedgerState_ -> Stream (Of (BlockInMode CardanoMode)) IO () -> Stream (Of (ChainPoint, ExtLedgerState_)) IO ()
Documentation
data FoldLedgerState #
Instances
Show FoldLedgerState # | |
Defined in Mafoc.Cmds.FoldLedgerState showsPrec :: Int -> FoldLedgerState -> ShowS # show :: FoldLedgerState -> String # showList :: [FoldLedgerState] -> ShowS # |
parseCli :: ParserInfo FoldLedgerState #
run :: FoldLedgerState -> Stop -> ChainsyncStats -> IO () #
foldLedgerState :: ExtLedgerCfg_ -> ExtLedgerState_ -> Stream (Of (BlockInMode CardanoMode)) IO () -> Stream (Of (ChainPoint, ExtLedgerState_)) IO () #
Create a stream of ledger states from a stream of blocks.
The caller is responsible for whether the initial ledger state matches the block stream. (I.e the fact that the initial ledger was achieved by applying a sequence of blocks just prior to block stream given as argument.)