cardano-ledger-shelley-1.12.2.1: 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) ∷ TypeType Source #

type Event (ShelleyPOOL era) Source #

type PredicateFailure (ShelleyPOOL era) 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

type BaseM (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Environment (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) = PState era

data PoolEvent era Source #

Instances

Instances details
Generic (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type Rep (PoolEvent era) ∷ TypeType Source #

Methods

fromPoolEvent era → Rep (PoolEvent era) x Source #

toRep (PoolEvent era) x → PoolEvent era Source #

NFData (PoolEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfPoolEvent 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.12.2.1-inplace" 'False) (C1 ('MetaCons "RegisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "ReregisterPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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) ∷ TypeType Source #

Methods

fromPoolEnv era → Rep (PoolEnv era) x Source #

toRep (PoolEnv era) x → PoolEnv era Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

showsPrecIntPoolEnv era → ShowS Source #

showPoolEnv era → String Source #

showList ∷ [PoolEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfPoolEnv era → () 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.12.2.1-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('NothingMaybe 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 (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 #

Instances

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

Generic (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type Rep (ShelleyPoolPredFailure era) ∷ TypeType Source #

Show (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

NFData (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

rnfShelleyPoolPredFailure era → () Source #

Eq (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

NoThunks (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

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.12.2.1-inplace" 'False) ((C1 ('MetaCons "StakePoolNotRegisteredOnKeyPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era)))) :+: C1 ('MetaCons "StakePoolRetirementWrongEpochPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))) :+: (C1 ('MetaCons "StakePoolCostTooLowPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "WrongNetworkPOOL" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era))))) :+: C1 ('MetaCons "PoolMedataHashTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

Orphan instances