Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.Updn

Synopsis

data UPDN c
newtype UpdnEnv = UpdnEnv Nonce
data UpdnState = UpdnState Nonce Nonce
type family PredicateFailure a
data UpdnPredicateFailure c

Documentation

data UPDN c Source #

Instances

Instances details

Crypto c ⇒ STS (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

Associated Types

type State (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type State (UPDN c) = UpdnState
type Signal (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Signal (UPDN c) = SlotNo
type Environment (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Environment (UPDN c) = UpdnEnv
type BaseM (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type BaseM (UPDN c) = ShelleyBase
type Event (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Event (UPDN c)
type PredicateFailure (UPDN c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type PredicateFailure (UPDN c) = UpdnPredicateFailure c

Methods

initialRules ∷ [InitialRule (UPDN c)] Source #

transitionRules ∷ [TransitionRule (UPDN c)] Source #

assertions ∷ [Assertion (UPDN c)] Source #

renderAssertionViolation ∷ AssertionViolation (UPDN c) → String 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 (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type BaseM (UPDN c) = ShelleyBase

type Environment (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type Environment (UPDN c) = UpdnEnv

type Event (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type Event (UPDN c)

type PredicateFailure (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type PredicateFailure (UPDN c) = UpdnPredicateFailure c

type Signal (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type Signal (UPDN c) = SlotNo

type State (UPDN c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type State (UPDN c) = UpdnState

newtype UpdnEnv Source #

Constructors

UpdnEnv Nonce

New nonce

data UpdnState Source #

Constructors

UpdnState Nonce Nonce

Instances

Instances details

Show UpdnState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods showsPrec ∷ Int → UpdnState → ShowS # show ∷ UpdnState → String # showList ∷ [UpdnState] → ShowS #
Eq UpdnState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods (==) ∷ UpdnState → UpdnState → Bool # (/=) ∷ UpdnState → UpdnState → Bool #

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

data UpdnPredicateFailure c Source #

Instances

Instances details

Generic (UpdnPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

Associated Types

type Rep (UpdnPredicateFailure c)
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Rep (UpdnPredicateFailure c) = D1 ('MetaData "UpdnPredicateFailure" "Cardano.Protocol.TPraos.Rules.Updn" "cardano-protocol-tpraos-1.5.0.0-inplace" 'False) (V1 ∷ Type → Type)

Methods

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

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

Show (UpdnPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

Methods

showsPrec ∷ Int → UpdnPredicateFailure c → ShowS #

show ∷ UpdnPredicateFailure c → String #

showList ∷ [UpdnPredicateFailure c] → ShowS #

Eq (UpdnPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

Methods

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

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

NoThunks (UpdnPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

Methods

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

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

showTypeOf ∷ Proxy (UpdnPredicateFailure c) → String Source #

type Rep (UpdnPredicateFailure c) Source #

Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type Rep (UpdnPredicateFailure c) = D1 ('MetaData "UpdnPredicateFailure" "Cardano.Protocol.TPraos.Rules.Updn" "cardano-protocol-tpraos-1.5.0.0-inplace" 'False) (V1 ∷ Type → Type)