Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.API.Validation

1 type
2 classes
5 values

Packagecardano-ledger-shelley-1.19.0.1
Exports9
LicenceApache-2.0

valueapplyBlockEither

:: ApplyBlock h era
=> SingEP ep
-> ValidationPolicy
-> Globals
-> NewEpochState era
-> Block h era
-> Either (BlockTransitionError era) (NewEpochState era, [Event (EraRule "BBODY" era)])

valueapplyBlockEitherNoEvents

:: ApplyBlock h era
=> ValidationPolicy
-> Globals
-> NewEpochState era
-> Block h era
-> Either (BlockTransitionError era) (NewEpochState era)

valueapplyBlockNoValidaton

:: ApplyBlock h era
=> Globals
-> NewEpochState era
-> Block h era
-> NewEpochState era

valueapplyTickNoEvents

:: ApplyTick era
=> Globals
-> NewEpochState era
-> SlotNo
-> NewEpochState era

valuechainChecks

:: (MonadError ChainPredicateFailure m, EraBlockHeader h era)
=> Version
-> ChainChecksPParams
-> Block h era
-> m ()

class

class (ApplyTick era, EraBlockBody era, EraBlockHeader h era, NFData (PredicateFailure (EraRule "BBODY" era))) => ApplyBlock h era where

Methods

wrapBlockSignal :: Block h era -> Signal (EraRule "BBODY" era)
applyBlock :: SingEP ep -> ValidationPolicy -> Globals -> NewEpochState era -> Block h era -> (NewEpochState era, [PredicateFailure (EraRule "BBODY" era)], [Event (EraRule "BBODY" era)])

Instances1ApplyBlock

EraBlockHeader h ShelleyEra => ApplyBlock h ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation

classclass EraGov era => ApplyTick era where

Methods

applyTick :: SingEP ep -> Globals -> NewEpochState era -> SlotNo -> (NewEpochState era, [Event (EraRule "TICK" era)])

Instances1ApplyTick

ApplyTick ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation

newtypenewtype BlockTransitionError era

Instances5Eq, Show, Generic, NoThunks, Rep

Eq (PredicateFailure (EraRule "BBODY" era)) => Eq (BlockTransitionError era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
Show (PredicateFailure (EraRule "BBODY" era)) => Show (BlockTransitionError era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
Generic (BlockTransitionError era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
NoThunks (BlockTransitionError era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
type Rep (BlockTransitionError era) = D1 ('MetaData "BlockTransitionError" "Cardano.Ledger.Shelley.API.Validation" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "BlockTransitionErrorInternal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure (EraRule "BBODY" era))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation

pattern

pattern BlockTransitionError :: NFData (PredicateFailure (EraRule "BBODY" era)) => NonEmpty (PredicateFailure (EraRule "BBODY" era)) -> BlockTransitionError era