cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Chain

Synopsis

Documentation

Chain Checks

data ChainChecksPParams Source #

Constructors

ChainChecksPParams

Fields

Instances

Instances details
Eq ChainChecksPParams Source #
Instance details

Defined in Cardano.Ledger.Chain

Methods

(==) :: ChainChecksPParams -> ChainChecksPParams -> Bool Source #

(/=) :: ChainChecksPParams -> ChainChecksPParams -> Bool 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 #

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 #

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-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "ChainChecksPParams" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "ccMaxBHSize") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :*: ( S1 (' MetaSel (' Just "ccMaxBBSize") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "ccProtocolVersion") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ProtVer ))))

data ChainPredicateFailure Source #

Constructors

HeaderSizeTooLargeCHAIN ! Natural ! Natural
BlockSizeTooLargeCHAIN ! Natural ! Natural
ObsoleteNodeCHAIN ! Natural ! Natural

Instances

Instances details
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 #

Show ChainPredicateFailure Source #
Instance details

Defined in Cardano.Ledger.Chain

Methods

showsPrec :: Int -> ChainPredicateFailure -> ShowS Source #

show :: ChainPredicateFailure -> String Source #

showList :: [ ChainPredicateFailure ] -> ShowS Source #

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 #

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-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "HeaderSizeTooLargeCHAIN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )) :+: ( C1 (' MetaCons "BlockSizeTooLargeCHAIN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )) :+: C1 (' MetaCons "ObsoleteNodeCHAIN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ))))

pparamsToChainChecksPParams :: ( HasField "_maxBHSize" pp Natural , HasField "_maxBBSize" pp Natural , HasField "_protocolVersion" pp ProtVer ) => pp -> ChainChecksPParams Source #

chainChecks :: MonadError ChainPredicateFailure m => Natural -> ChainChecksPParams -> BHeaderView crypto -> m () Source #