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 (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type State (UTXOW era) = UTxOState era
type State (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State (LEDGER era) = LedgerState era
type State (LEDGERS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type State (LEDGERS era) = LedgerState era
type State (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State (UTXOS era) = ShelleyGovState era
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type State (UTXOW era) = UTxOState era
type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State (LEDGER era) = LedgerState era
type State (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State (UTXOS era) = ShelleyGovState era
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type State (UTXOW era) = UTxOState era
type State (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type State (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (CERT era) = CertState era
type State (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (CERTS era) = CertState era
type State (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (DELEG era) = CertState era
type State (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ENACT era) = EnactState era
type State (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (EPOCH era) = EpochState era
type State (GOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type State (GOV era) = Proposals era
type State (GOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type State (GOVCERT era) = CertState era
type State (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type State (HARDFORK era) = EpochState era
type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (LEDGER era) = LedgerState era
type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type State (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (NEWEPOCH era) = NewEpochState era
type State (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type State (RATIFY era) = RatifyState era
type State (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (TICKF era) = NewEpochState era
type State (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (UTXOS era) = ()
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (UTXOW era) = UTxOState era
type State (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type State (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type State (CERT era) = CertState era
type State (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type State (GOV era) = Proposals era
type State (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type State (GOVCERT era) = CertState era
type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type State (LEDGER era) = LedgerState era
type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type State (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type State (SUBCERT era) = CertState era
type State (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type State (SUBCERTS era) = CertState era
type State (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type State (SUBDELEG era) = CertState era
type State (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type State (SUBGOV era) = Proposals era
type State (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type State (SUBGOVCERT era) = CertState era
type State (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (SUBLEDGER era) = LedgerState era
type State (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (SUBLEDGERS era) = LedgerState era
type State (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type State (SUBPOOL era) = PState era
type State (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (SUBUTXO era) = UTxOState era
type State (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (SUBUTXOW era) = UTxOState era
type State (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type State (UTXOW era) = UTxOState era
type State (BBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type State (DELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type State (DELEG era) = CertState era
type State (DELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type State (DELEGS era) = CertState era
type State (DELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State (DELPL era) = CertState era
type State (EPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type State (EPOCH era) = EpochState era
type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State (LEDGER era) = LedgerState era
type State (LEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type State (LEDGERS era) = LedgerState era
type State (MIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type State (MIR era) = EpochState era
type State (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State (NEWEPOCH era) = NewEpochState era
type State (NEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type State (NEWPP era) = ShelleyNewppState era
type State (POOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State (POOL era) = PState era
type State (POOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State (POOLREAP era) = ShelleyPoolreapState era
type State (PPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type State (PPUP era) = ShelleyGovState era
type State (RUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State (RUPD era) = StrictMaybe PulsingRewUpdate
type State (SNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type State (SNAP era) = SnapShots
type State (TICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (TICK era) = NewEpochState era
type State (TICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State (TICKF era) = NewEpochState era
type State (UPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State (UPEC era) = UpecState era
type State (UTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type State (UTXO era) = UTxOState era
type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type State (UTXOW 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.6.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.6.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

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.6.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.6.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.6.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.6.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 = Void
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (UTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (LEDGERS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (UTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (BBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (CERT era) = ConwayCertPredFailure era
type PredicateFailure (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (CERTS era) = ConwayCertsPredFailure era
type PredicateFailure (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (DELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ENACT era) = Void
type PredicateFailure (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (EPOCH era) = Void
type PredicateFailure (GOV era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov type PredicateFailure (GOV era) = ConwayGovPredFailure era
type PredicateFailure (GOVCERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.GovCert type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (HARDFORK era) = Void
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure era
type PredicateFailure (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (NEWEPOCH era) = Void
type PredicateFailure (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (RATIFY era) = Void
type PredicateFailure (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (TICKF era) = Void
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (UTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure era
type PredicateFailure (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type PredicateFailure (CERT era) = ConwayCertPredFailure era
type PredicateFailure (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type PredicateFailure (GOV era) = DijkstraGovPredFailure era
type PredicateFailure (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era
type PredicateFailure (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era
type PredicateFailure (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era
type PredicateFailure (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era
type PredicateFailure (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era
type PredicateFailure (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure era
type PredicateFailure (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era
type PredicateFailure (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era
type PredicateFailure (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era
type PredicateFailure (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era
type PredicateFailure (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (DELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (DELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (DELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (DELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (DELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (EPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (EPOCH era) = Void
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (LEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (MIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (MIR era) = Void
type PredicateFailure (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (NEWEPOCH era) = Void
type PredicateFailure (NEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (NEWPP era) = Void
type PredicateFailure (POOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (POOL era) = ShelleyPoolPredFailure era
type PredicateFailure (POOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (POOLREAP era) = Void
type PredicateFailure (PPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (PPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (RUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (RUPD era) = Void
type PredicateFailure (SNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (SNAP era) = Void
type PredicateFailure (TICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (TICK era) = Void
type PredicateFailure (TICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (TICKF era) = Void
type PredicateFailure (UPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (UPEC era) = Void
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (UTXOW 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