cardano-ledger-shelley-1.11.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Rules.Epoch

Synopsis

Documentation

data ShelleyEPOCH era Source #

Instances

Instances details
(EraTxOut era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (ShelleyEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ShelleyEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (ShelleyEPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era), Eq (UpecPredFailure era), Show (UpecPredFailure era)) ⇒ STS (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Associated Types

type State (ShelleyEPOCH era) Source #

type Signal (ShelleyEPOCH era) Source #

type Environment (ShelleyEPOCH era) Source #

type BaseM (ShelleyEPOCH era) ∷ Type → Type Source #

type Event (ShelleyEPOCH era) Source #

type PredicateFailure (ShelleyEPOCH era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ShelleyEPOCH era)] Source #

assertions ∷ [Assertion (ShelleyEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyEPOCH era) → String Source #

(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

Methods

wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source #

wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source #

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source #

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleySNAP era) → Event (ShelleyEPOCH era) Source #

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyEPOCH era) Source #

type BaseM (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleyEPOCH era) = ShelleyBase
type Environment (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Environment (ShelleyEPOCH era) = ()
type Event (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Event (ShelleyEPOCH era) = ShelleyEpochEvent era
type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type Signal (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Signal (ShelleyEPOCH era) = EpochNo
type State (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) = EpochState era

data ShelleyEpochPredFailure era Source #

Constructors

PoolReapFailure (PredicateFailure (EraRule "POOLREAP" era)) 
SnapFailure (PredicateFailure (EraRule "SNAP" era)) 
UpecFailure (UpecPredFailure era) 

Instances

Instances details
Generic (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Associated Types

type Rep (ShelleyEpochPredFailure era) ∷ Type → Type Source #

Methods

from ∷ ShelleyEpochPredFailure era → Rep (ShelleyEpochPredFailure era) x Source #

to ∷ Rep (ShelleyEpochPredFailure era) x → ShelleyEpochPredFailure era Source #

(Show (PredicateFailure (EraRule "POOLREAP" era)), Show (PredicateFailure (EraRule "SNAP" era)), Show (UpecPredFailure era)) ⇒ Show (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

showsPrec ∷ Int → ShelleyEpochPredFailure era → ShowS Source #

show ∷ ShelleyEpochPredFailure era → String Source #

showList ∷ [ShelleyEpochPredFailure era] → ShowS Source #

(NFData (PredicateFailure (EraRule "POOLREAP" era)), NFData (PredicateFailure (EraRule "SNAP" era)), NFData (UpecPredFailure era)) ⇒ NFData (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

rnf ∷ ShelleyEpochPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "POOLREAP" era)), Eq (PredicateFailure (EraRule "SNAP" era)), Eq (UpecPredFailure era)) ⇒ Eq (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

(==) ∷ ShelleyEpochPredFailure era → ShelleyEpochPredFailure era → Bool Source #

(/=) ∷ ShelleyEpochPredFailure era → ShelleyEpochPredFailure era → Bool Source #

(NoThunks (PredicateFailure (EraRule "POOLREAP" era)), NoThunks (PredicateFailure (EraRule "SNAP" era)), NoThunks (UpecPredFailure era)) ⇒ NoThunks (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

noThunks ∷ Context → ShelleyEpochPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyEpochPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyEpochPredFailure era) → String Source #

type Rep (ShelleyEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochPredFailure era) = D1 ('MetaData "ShelleyEpochPredFailure" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "PoolReapFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpecPredFailure era)))))

data ShelleyEpochEvent era Source #

Constructors

PoolReapEvent (Event (EraRule "POOLREAP" era)) 
SnapEvent (Event (EraRule "SNAP" era)) 
UpecEvent (Event (EraRule "UPEC" era)) 

Instances

Instances details
Generic (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Associated Types

type Rep (ShelleyEpochEvent era) ∷ Type → Type Source #

Methods

from ∷ ShelleyEpochEvent era → Rep (ShelleyEpochEvent era) x Source #

to ∷ Rep (ShelleyEpochEvent era) x → ShelleyEpochEvent era Source #

(NFData (Event (EraRule "POOLREAP" era)), NFData (Event (EraRule "SNAP" era)), NFData (Event (EraRule "UPEC" era))) ⇒ NFData (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

rnf ∷ ShelleyEpochEvent era → () Source #

(Eq (Event (EraRule "POOLREAP" era)), Eq (Event (EraRule "SNAP" era)), Eq (Event (EraRule "UPEC" era))) ⇒ Eq (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

Methods

(==) ∷ ShelleyEpochEvent era → ShelleyEpochEvent era → Bool Source #

(/=) ∷ ShelleyEpochEvent era → ShelleyEpochEvent era → Bool Source #

type Rep (ShelleyEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Rep (ShelleyEpochEvent era) = D1 ('MetaData "ShelleyEpochEvent" "Cardano.Ledger.Shelley.Rules.Epoch" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "PoolReapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOLREAP" era)))) :+: (C1 ('MetaCons "SnapEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SNAP" era)))) :+: C1 ('MetaCons "UpecEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UPEC" era))))))

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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
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

type UpecPredFailure era = UpecPredFailurePV (ProtVerLow era) era Source #

Orphan instances

(EraTxOut era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (ShelleyEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ShelleyEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (ShelleyEPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era), Eq (UpecPredFailure era), Show (UpecPredFailure era)) ⇒ STS (ShelleyEPOCH era) Source # 
Instance details

Associated Types

type State (ShelleyEPOCH era) Source #

type Signal (ShelleyEPOCH era) Source #

type Environment (ShelleyEPOCH era) Source #

type BaseM (ShelleyEPOCH era) ∷ Type → Type Source #

type Event (ShelleyEPOCH era) Source #

type PredicateFailure (ShelleyEPOCH era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ShelleyEPOCH era)] Source #

assertions ∷ [Assertion (ShelleyEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyEPOCH era) → String Source #

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source #

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleySNAP era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleySNAP era) → Event (ShelleyEPOCH era) Source #

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyEPOCH era) Source #

wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyEPOCH era) Source #