cardano-protocol-tpraos-1.3.0.0: Cardano Protocol: Transitional Praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Protocol.TPraos.Rules.Prtcl

Synopsis

Documentation

data PRTCL c Source #

Instances

Instances details
(Crypto c, DSignable c (OCertSignable c), KESignable c (BHBody c), VRFSignable 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, DSignable c (OCertSignable c), KESignable c (BHBody c), VRFSignable 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, DSignable c (OCertSignable c), KESignable c (BHBody c), VRFSignable 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 c
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 c

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 (EraCrypto era))
type State (ShelleySNAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type State (ShelleySNAP era) = SnapShots (EraCrypto era)
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 c) Word64
type State (OVERLAY c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type State (OVERLAY c) = Map (KeyHash 'BlockIssuer c) Word64
type State (PRTCL c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type State (PRTCL c) = PrtclState c
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 c Source #

Constructors

PrtclEnv UnitInterval (PoolDistr c) (GenDelegs c) Nonce 

Instances

Instances details
Generic (PrtclEnv c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Associated Types

type Rep (PrtclEnv c) ∷ Type → Type Source #

Methods

from ∷ PrtclEnv c → Rep (PrtclEnv c) x Source #

to ∷ Rep (PrtclEnv c) x → PrtclEnv c Source #

NoThunks (PrtclEnv c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

noThunks ∷ Context → PrtclEnv c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PrtclEnv c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PrtclEnv c) → String Source #

type Rep (PrtclEnv c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type Rep (PrtclEnv c) = D1 ('MetaData "PrtclEnv" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.3.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 c))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenDelegs c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))))

data PrtclState c Source #

Constructors

PrtclState 

Fields

Instances

Instances details
Generic (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Associated Types

type Rep (PrtclState c) ∷ Type → Type Source #

Methods

from ∷ PrtclState c → Rep (PrtclState c) x Source #

to ∷ Rep (PrtclState c) x → PrtclState c Source #

Show (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

showsPrec ∷ Int → PrtclState c → ShowS Source #

show ∷ PrtclState c → String Source #

showList ∷ [PrtclState c] → ShowS Source #

Crypto c ⇒ FromCBOR (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

fromCBOR ∷ Decoder s (PrtclState c) Source #

label ∷ Proxy (PrtclState c) → Text Source #

Crypto c ⇒ ToCBOR (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

toCBOR ∷ PrtclState c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PrtclState c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PrtclState c] → Size Source #

Crypto c ⇒ DecCBOR (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

decCBOR ∷ Decoder s (PrtclState c) Source #

dropCBOR ∷ Proxy (PrtclState c) → Decoder s () Source #

label ∷ Proxy (PrtclState c) → Text Source #

Crypto c ⇒ EncCBOR (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

encCBOR ∷ PrtclState c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PrtclState c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PrtclState c] → Size Source #

Eq (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

(==) ∷ PrtclState c → PrtclState c → Bool Source #

(/=) ∷ PrtclState c → PrtclState c → Bool Source #

Crypto c ⇒ NoThunks (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

noThunks ∷ Context → PrtclState c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PrtclState c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PrtclState c) → String Source #

type Rep (PrtclState c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type Rep (PrtclState c) = D1 ('MetaData "PrtclState" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.3.0.0-inplace" 'False) (C1 ('MetaCons "PrtclState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer c) 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.3.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 c
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 c Source #

Constructors

WrongSlotIntervalPrtclSeq 

Fields

WrongBlockNoPrtclSeq 

Fields

WrongBlockSequencePrtclSeq 

Fields

Instances

Instances details
Generic (PrtlSeqFailure c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Associated Types

type Rep (PrtlSeqFailure c) ∷ Type → Type Source #

Methods

from ∷ PrtlSeqFailure c → Rep (PrtlSeqFailure c) x Source #

to ∷ Rep (PrtlSeqFailure c) x → PrtlSeqFailure c Source #

Show (PrtlSeqFailure c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

showsPrec ∷ Int → PrtlSeqFailure c → ShowS Source #

show ∷ PrtlSeqFailure c → String Source #

showList ∷ [PrtlSeqFailure c] → ShowS Source #

Eq (PrtlSeqFailure c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

(==) ∷ PrtlSeqFailure c → PrtlSeqFailure c → Bool Source #

(/=) ∷ PrtlSeqFailure c → PrtlSeqFailure c → Bool Source #

Crypto c ⇒ NoThunks (PrtlSeqFailure c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

Methods

noThunks ∷ Context → PrtlSeqFailure c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PrtlSeqFailure c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PrtlSeqFailure c) → String Source #

type Rep (PrtlSeqFailure c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type Rep (PrtlSeqFailure c) = D1 ('MetaData "PrtlSeqFailure" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-1.3.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 c))) :*: 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 c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrevHash c)))))

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