| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Analysis.BlockProp
Synopsis
- summariseMultiBlockProp :: [Centile] -> [BlockPropOne] -> Either CDFError MultiBlockProp
- data MachView
- buildMachViews :: Run -> [(JsonLogfile, [LogObject])] -> IO [(JsonLogfile, MachView)]
- rebuildChain :: Run -> [ChainFilter] -> [FilterName] -> [(JsonLogfile, MachView)] -> Chain
- blockProp :: Run -> Chain -> Either BlockPropError BlockPropOne
- data BlockPropError = BPEEntireChainFilteredOut {
- bpeChainLen :: Int
- bpeAcceptance :: [(BlockNo, [(ChainFilter, Bool)])]
- renderBlockPropError :: BlockPropError -> Text
- checkAllForgersKnown :: [LogObject] -> Maybe (LogObject, Hash)
Documentation
summariseMultiBlockProp :: [Centile] -> [BlockPropOne] -> Either CDFError MultiBlockProp Source #
buildMachViews :: Run -> [(JsonLogfile, [LogObject])] -> IO [(JsonLogfile, MachView)] Source #
rebuildChain :: Run -> [ChainFilter] -> [FilterName] -> [(JsonLogfile, MachView)] -> Chain Source #
blockProp :: Run -> Chain -> Either BlockPropError BlockPropOne Source #
data BlockPropError Source #
Constructors
| BPEEntireChainFilteredOut | |
Fields
| |