Safe Haskell	None
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

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))))

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

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))))

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 #