Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Chain

Synopsis

data ChainChecksPParams = ChainChecksPParams {
- ccMaxBHSize ∷ Word16
- ccMaxBBSize ∷ Word32
- ccProtocolVersion ∷ ProtVer
}
data ChainPredicateFailure
- = HeaderSizeTooLargeCHAIN !Int !Word16
- | BlockSizeTooLargeCHAIN !Word32 !Word32
- | ObsoleteNodeCHAIN !Version !Version
pparamsToChainChecksPParams ∷ EraPParams era ⇒ PParams era → ChainChecksPParams
chainChecks ∷ MonadError ChainPredicateFailure m ⇒ Version → ChainChecksPParams → BHeaderView c → m ()

Documentation

Chain Checks

data ChainChecksPParams Source #

Constructors

ChainChecksPParams
Fields ccMaxBHSize ∷ Word16 ccMaxBBSize ∷ Word32 ccProtocolVersion ∷ ProtVer

Instances

Instances details

Generic ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Associated Types type Rep ChainChecksPParams ∷ Type → Type Source # Methods from ∷ ChainChecksPParams → Rep ChainChecksPParams x Source # to ∷ Rep ChainChecksPParams x → ChainChecksPParams Source #
Show ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Methods showsPrec ∷ Int → ChainChecksPParams → ShowS Source # show ∷ ChainChecksPParams → String Source # showList ∷ [ChainChecksPParams] → ShowS Source #
Eq ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Methods (==) ∷ ChainChecksPParams → ChainChecksPParams → Bool Source # (/=) ∷ ChainChecksPParams → ChainChecksPParams → Bool Source #
NoThunks ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Methods noThunks ∷ Context → ChainChecksPParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainChecksPParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainChecksPParams → String Source #
type Rep ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain type Rep ChainChecksPParams = D1 ('MetaData "ChainChecksPParams" "Cardano.Ledger.Chain" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "ChainChecksPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "ccMaxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :: (S1 ('MetaSel ('Just "ccMaxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Just "ccProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer))))

data ChainPredicateFailure Source #

Constructors

HeaderSizeTooLargeCHAIN !Int !Word16
BlockSizeTooLargeCHAIN !Word32 !Word32
ObsoleteNodeCHAIN !Version !Version

Instances

Instances details

Generic ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Associated Types type Rep ChainPredicateFailure ∷ Type → Type Source # Methods from ∷ ChainPredicateFailure → Rep ChainPredicateFailure x Source # to ∷ Rep ChainPredicateFailure x → ChainPredicateFailure Source #
Show ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods showsPrec ∷ Int → ChainPredicateFailure → ShowS Source # show ∷ ChainPredicateFailure → String Source # showList ∷ [ChainPredicateFailure] → ShowS Source #
Eq ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods (==) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source # (/=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source #
Ord ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods compare ∷ ChainPredicateFailure → ChainPredicateFailure → Ordering Source # (<) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source # (<=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source # (>) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source # (>=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool Source # max ∷ ChainPredicateFailure → ChainPredicateFailure → ChainPredicateFailure Source # min ∷ ChainPredicateFailure → ChainPredicateFailure → ChainPredicateFailure Source #
NoThunks ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods noThunks ∷ Context → ChainPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainPredicateFailure → String Source #
type Rep ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain type Rep ChainPredicateFailure = D1 ('MetaData "ChainPredicateFailure" "Cardano.Ledger.Chain" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "HeaderSizeTooLargeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16)) :+: (C1 ('MetaCons "BlockSizeTooLargeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :+: C1 ('MetaCons "ObsoleteNodeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Version))))

pparamsToChainChecksPParams ∷ EraPParams era ⇒ PParams era → ChainChecksPParams Source #

chainChecks ∷ MonadError ChainPredicateFailure m ⇒ Version → ChainChecksPParams → BHeaderView c → m () Source #