Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Chain
Synopsis
- data ChainChecksPParams = ChainChecksPParams {}
- data ChainPredicateFailure
- pparamsToChainChecksPParams ∷ EraPParams era ⇒ PParams era → ChainChecksPParams
- chainChecks ∷ MonadError ChainPredicateFailure m ⇒ Version → ChainChecksPParams → BHeaderView → m ()
Documentation
Chain Checks
data ChainChecksPParams Source #
Constructors
ChainChecksPParams | |
Fields |
Instances
data ChainPredicateFailure Source #
Constructors
HeaderSizeTooLargeCHAIN Int Word16 | |
BlockSizeTooLargeCHAIN Word32 Word32 | |
ObsoleteNodeCHAIN Version Version |
Instances
pparamsToChainChecksPParams ∷ EraPParams era ⇒ PParams era → ChainChecksPParams Source #
chainChecks ∷ MonadError ChainPredicateFailure m ⇒ Version → ChainChecksPParams → BHeaderView → m () Source #