cardano-ledger-shelley-1.15.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Chain

Synopsis

Documentation

Chain Checks

data ChainChecksPParams Source #

Instances

Instances details
Generic ChainChecksPParams Source # 
Instance details

Defined in Cardano.Ledger.Chain

Associated Types

type Rep ChainChecksPParamsTypeType Source #

Show ChainChecksPParams Source # 
Instance details

Defined in Cardano.Ledger.Chain

Eq ChainChecksPParams Source # 
Instance details

Defined in Cardano.Ledger.Chain

NoThunks ChainChecksPParams Source # 
Instance details

Defined in Cardano.Ledger.Chain

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 #

Instances

Instances details
Generic ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain

Associated Types

type Rep ChainPredicateFailureTypeType Source #

Show ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain

Eq ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain

Ord ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain

NoThunks ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain

type Rep ChainPredicateFailure Source # 
Instance details

Defined in Cardano.Ledger.Chain