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

Cardano.Protocol.TPraos.Rules.Tickn

Synopsis

Documentation

data TICKN Source #

Instances

Instances details
STS TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type State TICKN Source #

type Signal TICKN Source #

type Environment TICKN Source #

type BaseM TICKN ∷ Type → Type Source #

type Event TICKN Source #

type PredicateFailure TICKN Source #

Methods

initialRules ∷ [InitialRule TICKN] Source #

transitionRules ∷ [TransitionRule TICKN] Source #

assertions ∷ [Assertion TICKN] Source #

renderAssertionViolation ∷ AssertionViolation TICKN → String Source #

type BaseM TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type BaseM TICKN = ShelleyBase
type Environment TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Environment TICKN = TicknEnv
type Event TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Event TICKN = Void
type PredicateFailure TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type PredicateFailure TICKN = TicknPredicateFailure
type Signal TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Signal TICKN = Bool
type State TICKN Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type State TICKN = TicknState

data TicknEnv Source #

Constructors

TicknEnv 

Fields

data TicknState Source #

Constructors

TicknState 

Fields

Instances

Instances details
Generic TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type Rep TicknState ∷ Type → Type #

Methods

from ∷ TicknState → Rep TicknState x #

to ∷ Rep TicknState x → TicknState #

Show TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

showsPrec ∷ Int → TicknState → ShowS #

show ∷ TicknState → String #

showList ∷ [TicknState] → ShowS #

FromCBOR TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

fromCBOR ∷ Decoder s TicknState Source #

label ∷ Proxy TicknState → Text Source #

ToCBOR TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

toCBOR ∷ TicknState → Encoding Source #

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

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

DecCBOR TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

decCBOR ∷ Decoder s TicknState Source #

dropCBOR ∷ Proxy TicknState → Decoder s () Source #

label ∷ Proxy TicknState → Text Source #

EncCBOR TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

encCBOR ∷ TicknState → Encoding Source #

Eq TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

(==) ∷ TicknState → TicknState → Bool #

(/=) ∷ TicknState → TicknState → Bool #

NoThunks TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

noThunks ∷ Context → TicknState → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TicknState → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TicknState → String Source #

type Rep TicknState Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Rep TicknState = D1 ('MetaData "TicknState" "Cardano.Protocol.TPraos.Rules.Tickn" "cardano-protocol-tpraos-1.4.1.0-inplace" 'False) (C1 ('MetaCons "TicknState" 'PrefixI 'True) (S1 ('MetaSel ('Just "ticknStateEpochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "ticknStatePrevHashNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))

data TicknPredicateFailure Source #

Instances

Instances details
Generic TicknPredicateFailure Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type Rep TicknPredicateFailure ∷ Type → Type #

Methods

from ∷ TicknPredicateFailure → Rep TicknPredicateFailure x #

to ∷ Rep TicknPredicateFailure x → TicknPredicateFailure #

Show TicknPredicateFailure Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

showsPrec ∷ Int → TicknPredicateFailure → ShowS #

show ∷ TicknPredicateFailure → String #

showList ∷ [TicknPredicateFailure] → ShowS #

Eq TicknPredicateFailure Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

(==) ∷ TicknPredicateFailure → TicknPredicateFailure → Bool #

(/=) ∷ TicknPredicateFailure → TicknPredicateFailure → Bool #

NoThunks TicknPredicateFailure Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

noThunks ∷ Context → TicknPredicateFailure → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TicknPredicateFailure → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TicknPredicateFailure → String Source #

type Rep TicknPredicateFailure Source # 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Rep TicknPredicateFailure = D1 ('MetaData "TicknPredicateFailure" "Cardano.Protocol.TPraos.Rules.Tickn" "cardano-protocol-tpraos-1.4.1.0-inplace" 'False) (V1 ∷ Type → Type)

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 (DijkstraCERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

type PredicateFailure (DijkstraCERT era) = ConwayCertPredFailure 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