Safe Haskell	None
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)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type State (PRTCL c) = PrtclState
type Signal (PRTCL c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Signal (PRTCL c) = BHeader c
type Environment (PRTCL c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Environment (PRTCL c) = PrtclEnv
type BaseM (PRTCL c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type BaseM (PRTCL c) = ShelleyBase
type Event (PRTCL c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Event (PRTCL c)
type PredicateFailure (PRTCL c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type PredicateFailure (PRTCL c) = PrtclPredicateFailure c

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 (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type State (DijkstraBBODY era) = ShelleyBbodyState era
type State (DijkstraCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type State (DijkstraCERT era) = CertState era
type State (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type State (DijkstraGOV era) = Proposals era
type State (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type State (DijkstraGOVCERT era) = CertState era
type State (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type State (DijkstraLEDGER era) = LedgerState era
type State (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (DijkstraMEMPOOL era) = LedgerState era
type State (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type State (DijkstraUTXO era) = UTxOState era
type State (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type State (DijkstraUTXOW 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) = CertState 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

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type Rep PrtclEnv = D1 ('MetaData "PrtclEnv" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.5.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))))

Methods

from ∷ PrtclEnv → Rep PrtclEnv x #

to ∷ Rep PrtclEnv x → PrtclEnv #

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.5.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

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 #

Generic PrtclState Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Associated Types

type Rep PrtclState

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type Rep PrtclState = D1 ('MetaData "PrtclState" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.5.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))))

Methods

from ∷ PrtclState → Rep PrtclState x #

to ∷ Rep PrtclState x → PrtclState #

Show PrtclState Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

showsPrec ∷ Int → PrtclState → ShowS #

show ∷ PrtclState → String #

showList ∷ [PrtclState] → ShowS #

Eq PrtclState Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

(==) ∷ PrtclState → PrtclState → Bool #

(/=) ∷ PrtclState → PrtclState → Bool #

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

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

Methods

from ∷ PrtclPredicateFailure c → Rep (PrtclPredicateFailure c) x #

to ∷ Rep (PrtclPredicateFailure c) x → PrtclPredicateFailure c #

VRFAlgorithm (VRF c) ⇒ Show (PrtclPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

showsPrec ∷ Int → PrtclPredicateFailure c → ShowS #

show ∷ PrtclPredicateFailure c → String #

showList ∷ [PrtclPredicateFailure c] → ShowS #

VRFAlgorithm (VRF c) ⇒ Eq (PrtclPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

(==) ∷ PrtclPredicateFailure c → PrtclPredicateFailure c → Bool #

(/=) ∷ PrtclPredicateFailure c → PrtclPredicateFailure c → Bool #

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.5.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) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = Void
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 (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type PredicateFailure (DijkstraBBODY era) = DijkstraBbodyPredFailure era
type PredicateFailure (DijkstraCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type PredicateFailure (DijkstraCERT era) = ConwayCertPredFailure era
type PredicateFailure (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type PredicateFailure (DijkstraGOV era) = DijkstraGovPredFailure era
type PredicateFailure (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era
type PredicateFailure (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type PredicateFailure (DijkstraLEDGER era) = DijkstraLedgerPredFailure era
type PredicateFailure (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (DijkstraMEMPOOL era) = DijkstraLedgerPredFailure era
type PredicateFailure (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type PredicateFailure (DijkstraUTXO era) = DijkstraUtxoPredFailure era
type PredicateFailure (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type PredicateFailure (DijkstraUTXOW era) = DijkstraUtxowPredFailure 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) = Void
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) = Void
type PredicateFailure (ShelleyNEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = Void
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) = Void
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) = Void
type PredicateFailure (ShelleySNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = Void
type PredicateFailure (ShelleyTICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = Void
type PredicateFailure (ShelleyTICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = Void
type PredicateFailure (ShelleyUPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = Void
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