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

Cardano.Ledger.Shelley.Rules.PoolReap

Synopsis

Documentation

data ShelleyPOOLREAP era Source #

Instances

Instances details
(Default (ShelleyPoolreapState era), EraPParams era, EraGov era) ⇒ STS (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

(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

type BaseM (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Environment (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Event (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Signal (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

data ShelleyPoolreapEvent era Source #

Instances

Instances details
Generic (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Associated Types

type Rep (ShelleyPoolreapEvent era) ∷ TypeType Source #

NFData (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Methods

rnfShelleyPoolreapEvent era → () Source #

Eq (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapEvent era) = D1 ('MetaData "ShelleyPoolreapEvent" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "RetiredPools" 'PrefixI 'True) (S1 ('MetaSel ('Just "refundPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin))) :*: (S1 ('MetaSel ('Just "unclaimedPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin))) :*: S1 ('MetaSel ('Just "epochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))))

newtype ShelleyPoolreapEnv era Source #

Constructors

ShelleyPoolreapEnv 

Fields

  • speVStateVState era

    This enviroment field is only needed for assertions.

Instances

Instances details
Show (PParams era) ⇒ Show (ShelleyPoolreapEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

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 ShelleyPoolreapPredFailure era Source #

Instances

Instances details
Generic (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Associated Types

type Rep (ShelleyPoolreapPredFailure era) ∷ TypeType Source #

Show (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

NFData (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

Methods

rnfShelleyPoolreapPredFailure era → () Source #

Eq (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

NoThunks (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Rep (ShelleyPoolreapPredFailure era) = D1 ('MetaData "ShelleyPoolreapPredFailure" "Cardano.Ledger.Shelley.Rules.PoolReap" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (V1TypeType)

Deprecations

prAcntShelleyPoolreapState era → AccountState Source #

Deprecated: Use prAccountState instead

Orphan instances