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

Cardano.Ledger.Shelley.Rules.Pool

Synopsis

Documentation

data ShelleyPOOL era Source #

Instances

Instances details
(ShelleyEraTxCert era, EraPParams era) ⇒ STS (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type State (ShelleyPOOL era) Source #

type Signal (ShelleyPOOL era) Source #

type Environment (ShelleyPOOL era) Source #

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

type Event (ShelleyPOOL era) Source #

type PredicateFailure (ShelleyPOOL era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyPOOL era)] Source #

transitionRules ∷ [TransitionRule (ShelleyPOOL era)] Source #

assertions ∷ [Assertion (ShelleyPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyPOOL era) → String Source #

(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ShelleyDELPL era) Source #

wrapEvent ∷ Event (ShelleyPOOL era) → Event (ShelleyDELPL era) Source #

type BaseM (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Environment (ShelleyPOOL era) = PoolEnv era
type Event (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) = PoolEvent era
type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Signal (ShelleyPOOL era) = PoolCert (EraCrypto era)
type State (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) = PState era

data PoolEvent era Source #

Constructors

RegisterPool (KeyHash 'StakePool (EraCrypto era)) 
ReregisterPool (KeyHash 'StakePool (EraCrypto era)) 

Instances

Instances details
Generic (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

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

Methods

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

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

NFData (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnf ∷ PoolEvent era → () Source #

Eq (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

type Rep (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (PoolEvent era) = D1 ('MetaData "PoolEvent" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))))

data PoolEnv era Source #

Constructors

PoolEnv !SlotNo !(PParams era) 

Instances

Instances details
Generic (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

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

Methods

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

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

Show (PParams era) ⇒ Show (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

showsPrec ∷ Int → PoolEnv era → ShowS Source #

show ∷ PoolEnv era → String Source #

showList ∷ [PoolEnv era] → ShowS Source #

Eq (PParams era) ⇒ Eq (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

type Rep (PoolEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (PoolEnv era) = D1 ('MetaData "PoolEnv" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams 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

data ShelleyPoolPredFailure era Source #

Constructors

StakePoolNotRegisteredOnKeyPOOL !(KeyHash 'StakePool (EraCrypto era)) 
StakePoolRetirementWrongEpochPOOL !EpochNo !EpochNo !EpochNo 
StakePoolCostTooLowPOOL !Coin !Coin 
WrongNetworkPOOL !Network !Network !(KeyHash 'StakePool (EraCrypto era)) 
PoolMedataHashTooBig !(KeyHash 'StakePool (EraCrypto era)) !Int 

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "POOL" (ShelleyEra c) Source #

Generic (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

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

Methods

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

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

Show (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

showsPrec ∷ Int → ShelleyPoolPredFailure era → ShowS Source #

show ∷ ShelleyPoolPredFailure era → String Source #

showList ∷ [ShelleyPoolPredFailure era] → ShowS Source #

Era era ⇒ DecCBOR (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

decCBOR ∷ Decoder s (ShelleyPoolPredFailure era) Source #

dropCBOR ∷ Proxy (ShelleyPoolPredFailure era) → Decoder s () Source #

label ∷ Proxy (ShelleyPoolPredFailure era) → Text Source #

Era era ⇒ EncCBOR (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

encCBOR ∷ ShelleyPoolPredFailure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPoolPredFailure era) → Size Source #

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

NFData (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnf ∷ ShelleyPoolPredFailure era → () Source #

Eq (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

NoThunks (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

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

showTypeOf ∷ Proxy (ShelleyPoolPredFailure era) → String Source #

type Rep (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Rep (ShelleyPoolPredFailure era) = D1 ('MetaData "ShelleyPoolPredFailure" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))) :+: (C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era))))) :+: C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

Orphan instances