Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Chain

Synopsis

data ChainChecksPParams = ChainChecksPParams {
- ccMaxBHSize ∷ Word16
- ccMaxBBSize ∷ Word32
- ccProtocolVersion ∷ ProtVer
}
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 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 # Methods from ∷ ChainChecksPParams → Rep ChainChecksPParams x # to ∷ Rep ChainChecksPParams x → ChainChecksPParams #
Show ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Methods showsPrec ∷ Int → ChainChecksPParams → ShowS # show ∷ ChainChecksPParams → String # showList ∷ [ChainChecksPParams] → ShowS #
Eq ChainChecksPParams Source #
Instance details Defined in Cardano.Ledger.Chain Methods (==) ∷ ChainChecksPParams → ChainChecksPParams → Bool # (/=) ∷ ChainChecksPParams → ChainChecksPParams → Bool #
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.18.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 # Methods from ∷ ChainPredicateFailure → Rep ChainPredicateFailure x # to ∷ Rep ChainPredicateFailure x → ChainPredicateFailure #
Show ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods showsPrec ∷ Int → ChainPredicateFailure → ShowS # show ∷ ChainPredicateFailure → String # showList ∷ [ChainPredicateFailure] → ShowS #
Eq ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods (==) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool # (/=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool #
Ord ChainPredicateFailure Source #
Instance details Defined in Cardano.Ledger.Chain Methods compare ∷ ChainPredicateFailure → ChainPredicateFailure → Ordering # (<) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool # (<=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool # (>) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool # (>=) ∷ ChainPredicateFailure → ChainPredicateFailure → Bool # max ∷ ChainPredicateFailure → ChainPredicateFailure → ChainPredicateFailure # min ∷ ChainPredicateFailure → ChainPredicateFailure → ChainPredicateFailure #
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.18.0.0-inplace" 'False) (C1 ('MetaCons "HeaderSizeTooLargeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)) :+: (C1 ('MetaCons "BlockSizeTooLargeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)) :+: C1 ('MetaCons "ObsoleteNodeCHAIN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version))))

pparamsToChainChecksPParams ∷ EraPParams era ⇒ PParams era → ChainChecksPParams Source #

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