Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.Prtcl

Synopsis

data PRTCL c
type family State a
data PrtclEnv = PrtclEnv UnitInterval PoolDistr GenDelegs Nonce
data PrtclState = PrtclState !(Map (KeyHash 'BlockIssuer) Word64) !Nonce !Nonce
data PrtclPredicateFailure c
- = OverlayFailure (PredicateFailure (OVERLAY c))
- | UpdnFailure (PredicateFailure (UPDN c))
type family PredicateFailure a
data PrtlSeqFailure
prtlSeqChecks ∷ (MonadError PrtlSeqFailure m, Crypto c) ⇒ WithOrigin LastAppliedBlock → BHeader c → m ()

Documentation

data PRTCL c Source #

Instances

Instances details

(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) ⇒ STS (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type State (PRTCL c) Source # type Signal (PRTCL c) Source # type Environment (PRTCL c) Source # type BaseM (PRTCL c) ∷ Type → Type Source # type Event (PRTCL c) Source # type PredicateFailure (PRTCL c) Source # Methods initialRules ∷ [InitialRule (PRTCL c)] Source # transitionRules ∷ [TransitionRule (PRTCL c)] Source # assertions ∷ [Assertion (PRTCL c)] Source # renderAssertionViolation ∷ AssertionViolation (PRTCL c) → String Source #
(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) ⇒ Embed (OVERLAY c) (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods wrapFailed ∷ PredicateFailure (OVERLAY c) → PredicateFailure (PRTCL c) Source # wrapEvent ∷ Event (OVERLAY c) → Event (PRTCL c) Source #
(Crypto c, Signable (KES c) (BHBody c), Signable (VRF c) Seed) ⇒ Embed (UPDN c) (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods wrapFailed ∷ PredicateFailure (UPDN c) → PredicateFailure (PRTCL c) Source # wrapEvent ∷ Event (UPDN c) → Event (PRTCL c) Source #
type BaseM (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type BaseM (PRTCL c) = ShelleyBase
type Environment (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Environment (PRTCL c) = PrtclEnv
type Event (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Event (PRTCL c)
type PredicateFailure (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type PredicateFailure (PRTCL c) = PrtclPredicateFailure c
type Signal (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Signal (PRTCL c) = BHeader c
type State (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type State (PRTCL c) = PrtclState

type family State a Source #

Type of the state which the system transitions between.

Instances

Instances details

type State TICKN Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Tickn type State TICKN = TicknState
type State (AllegraUTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type State (AllegraUTXO era) = UTxOState era
type State (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type State (AllegraUTXOW era) = UTxOState era
type State (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State (AlonzoBBODY era) = ShelleyBbodyState era
type State (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State (AlonzoLEDGER era) = LedgerState era
type State (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type State (AlonzoUTXO era) = UTxOState era
type State (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State (AlonzoUTXOS era) = UTxOState era
type State (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type State (AlonzoUTXOW era) = UTxOState era
type State (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State (BabbageLEDGER era) = LedgerState era
type State (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type State (BabbageUTXO era) = UTxOState era
type State (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State (BabbageUTXOS era) = UTxOState era
type State (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type State (BabbageUTXOW era) = UTxOState era
type State (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type State (ConwayBBODY era) = ShelleyBbodyState era
type State (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (ConwayCERT era) = CertState era
type State (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (ConwayCERTS era) = CertState era
type State (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (ConwayDELEG era) = CertState era
type State (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ConwayENACT era) = EnactState era
type State (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (ConwayEPOCH era) = EpochState era
type State (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type State (ConwayGOV era) = Proposals era
type State (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type State (ConwayGOVCERT era) = CertState era
type State (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type State (ConwayHARDFORK era) = EpochState era
type State (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (ConwayLEDGER era) = LedgerState era
type State (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type State (ConwayMEMPOOL era) = LedgerState era
type State (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (ConwayNEWEPOCH era) = NewEpochState era
type State (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type State (ConwayRATIFY era) = RatifyState era
type State (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (ConwayTICKF era) = NewEpochState era
type State (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type State (ConwayUTXO era) = UTxOState era
type State (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (ConwayUTXOS era) = UTxOState era
type State (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (ConwayUTXOW era) = UTxOState era
type State (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type State (ShelleyBBODY era) = ShelleyBbodyState era
type State (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type State (ShelleyDELEG era) = DState era
type State (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type State (ShelleyDELEGS era) = CertState era
type State (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State (ShelleyDELPL era) = CertState era
type State (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type State (ShelleyEPOCH era) = EpochState era
type State (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State (ShelleyLEDGER era) = LedgerState era
type State (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type State (ShelleyLEDGERS era) = LedgerState era
type State (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type State (ShelleyMIR era) = EpochState era
type State (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State (ShelleyNEWEPOCH era) = NewEpochState era
type State (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type State (ShelleyNEWPP era) = ShelleyNewppState era
type State (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State (ShelleyPOOL era) = PState era
type State (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State (ShelleyPOOLREAP era) = ShelleyPoolreapState era
type State (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type State (ShelleyPPUP era) = ShelleyGovState era
type State (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State (ShelleyRUPD era) = StrictMaybe PulsingRewUpdate
type State (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type State (ShelleySNAP era) = SnapShots
type State (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (ShelleyTICK era) = NewEpochState era
type State (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (ShelleyTICKF era) = NewEpochState era
type State (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State (ShelleyUPEC era) = UpecState era
type State (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type State (ShelleyUTXO era) = UTxOState era
type State (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type State (ShelleyUTXOW era) = UTxOState era
type State (OCERT c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type State (OCERT c) = Map (KeyHash 'BlockIssuer) Word64
type State (OVERLAY c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type State (OVERLAY c) = Map (KeyHash 'BlockIssuer) Word64
type State (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type State (PRTCL c) = PrtclState
type State (UPDN c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type State (UPDN c) = UpdnState
type State (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type State (STUB e st si f m) = st

data PrtclEnv Source #

Constructors

PrtclEnv UnitInterval PoolDistr GenDelegs Nonce

Instances

Instances details

Generic PrtclEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep PrtclEnv ∷ Type → Type Source # Methods from ∷ PrtclEnv → Rep PrtclEnv x Source # to ∷ Rep PrtclEnv x → PrtclEnv Source #
NoThunks PrtclEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks ∷ Context → PrtclEnv → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrtclEnv → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrtclEnv → String Source #
type Rep PrtclEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep PrtclEnv = D1 ('MetaData "PrtclEnv" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.4.0.0-inplace" 'False) (C1 ('MetaCons "PrtclEnv" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))))

data PrtclState Source #

Constructors

PrtclState
Fields !(Map (KeyHash 'BlockIssuer) Word64) Operation Certificate counters !Nonce Evolving nonce !Nonce Candidate nonce

Instances

Instances details

Generic PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep PrtclState ∷ Type → Type Source # Methods from ∷ PrtclState → Rep PrtclState x Source # to ∷ Rep PrtclState x → PrtclState Source #
Show PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec ∷ Int → PrtclState → ShowS Source # show ∷ PrtclState → String Source # showList ∷ [PrtclState] → ShowS Source #
FromCBOR PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods fromCBOR ∷ Decoder s PrtclState Source # label ∷ Proxy PrtclState → Text Source #
ToCBOR PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods toCBOR ∷ PrtclState → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PrtclState → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PrtclState] → Size Source #
DecCBOR PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods decCBOR ∷ Decoder s PrtclState Source # dropCBOR ∷ Proxy PrtclState → Decoder s () Source # label ∷ Proxy PrtclState → Text Source #
EncCBOR PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods encCBOR ∷ PrtclState → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PrtclState → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PrtclState] → Size Source #
Eq PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) ∷ PrtclState → PrtclState → Bool Source # (/=) ∷ PrtclState → PrtclState → Bool Source #
NoThunks PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks ∷ Context → PrtclState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrtclState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrtclState → String Source #
type Rep PrtclState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep PrtclState = D1 ('MetaData "PrtclState" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.4.0.0-inplace" 'False) (C1 ('MetaCons "PrtclState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer) Word64)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce))))

data PrtclPredicateFailure c Source #

Constructors

OverlayFailure (PredicateFailure (OVERLAY c))
UpdnFailure (PredicateFailure (UPDN c))

Instances

Instances details

Generic (PrtclPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep (PrtclPredicateFailure c) ∷ Type → Type Source # Methods from ∷ PrtclPredicateFailure c → Rep (PrtclPredicateFailure c) x Source # to ∷ Rep (PrtclPredicateFailure c) x → PrtclPredicateFailure c Source #
VRFAlgorithm (VRF c) ⇒ Show (PrtclPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec ∷ Int → PrtclPredicateFailure c → ShowS Source # show ∷ PrtclPredicateFailure c → String Source # showList ∷ [PrtclPredicateFailure c] → ShowS Source #
VRFAlgorithm (VRF c) ⇒ Eq (PrtclPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) ∷ PrtclPredicateFailure c → PrtclPredicateFailure c → Bool Source # (/=) ∷ PrtclPredicateFailure c → PrtclPredicateFailure c → Bool Source #
Crypto c ⇒ NoThunks (PrtclPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks ∷ Context → PrtclPredicateFailure c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrtclPredicateFailure c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PrtclPredicateFailure c) → String Source #
type Rep (PrtclPredicateFailure c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep (PrtclPredicateFailure c) = D1 ('MetaData "PrtclPredicateFailure" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.4.0.0-inplace" 'False) (C1 ('MetaCons "OverlayFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OVERLAY c)))) :+: C1 ('MetaCons "UpdnFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (UPDN c)))))

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

type PredicateFailure TICKN Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Tickn type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure (AllegraUTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayBBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (ConwayBBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (ConwayCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayHARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (ConwayHARDFORK era) = Void
type PredicateFailure (ConwayLEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayMEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (ConwayMEMPOOL era) = ConwayMempoolPredFailure era
type PredicateFailure (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type PredicateFailure (ConwayRATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (ConwayRATIFY era) = Void
type PredicateFailure (ConwayTICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (ConwayUTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyPOOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (OCERT c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type PredicateFailure (OCERT c) = OcertPredicateFailure
type PredicateFailure (OVERLAY c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type PredicateFailure (OVERLAY c) = OverlayPredicateFailure c
type PredicateFailure (PRTCL c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type PredicateFailure (PRTCL c) = PrtclPredicateFailure c
type PredicateFailure (UPDN c) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type PredicateFailure (UPDN c) = UpdnPredicateFailure c
type PredicateFailure (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure (STUB e st si f m) = f

data PrtlSeqFailure Source #

Constructors

WrongSlotIntervalPrtclSeq
Fields SlotNo Last slot number. SlotNo Current slot number.
WrongBlockNoPrtclSeq
Fields (WithOrigin LastAppliedBlock) Last applied block. BlockNo Current block number.
WrongBlockSequencePrtclSeq
Fields PrevHash Last applied hash PrevHash Current block's previous hash

Instances

Instances details

Generic PrtlSeqFailure Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep PrtlSeqFailure ∷ Type → Type Source # Methods from ∷ PrtlSeqFailure → Rep PrtlSeqFailure x Source # to ∷ Rep PrtlSeqFailure x → PrtlSeqFailure Source #
Show PrtlSeqFailure Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec ∷ Int → PrtlSeqFailure → ShowS Source # show ∷ PrtlSeqFailure → String Source # showList ∷ [PrtlSeqFailure] → ShowS Source #
Eq PrtlSeqFailure Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) ∷ PrtlSeqFailure → PrtlSeqFailure → Bool Source # (/=) ∷ PrtlSeqFailure → PrtlSeqFailure → Bool Source #
NoThunks PrtlSeqFailure Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks ∷ Context → PrtlSeqFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrtlSeqFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrtlSeqFailure → String Source #
type Rep PrtlSeqFailure Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep PrtlSeqFailure = D1 ('MetaData "PrtlSeqFailure" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.4.0.0-inplace" 'False) (C1 ('MetaCons "WrongSlotIntervalPrtclSeq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: (C1 ('MetaCons "WrongBlockNoPrtclSeq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin LastAppliedBlock)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo)) :+: C1 ('MetaCons "WrongBlockSequencePrtclSeq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrevHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrevHash))))

prtlSeqChecks ∷ (MonadError PrtlSeqFailure m, Crypto c) ⇒ WithOrigin LastAppliedBlock → BHeader c → m () Source #