Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.PoolReap

Contents

Deprecations
Orphan instances

Synopsis

data ShelleyPOOLREAP era
data ShelleyPoolreapEvent era = RetiredPools {
- refundPools ∷ Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
- unclaimedPools ∷ Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
- epochNo ∷ EpochNo
}
data ShelleyPoolreapState era = PoolreapState {
- prUTxOSt ∷ UTxOState era
- prAccountState ∷ AccountState
- prDState ∷ DState era
- prPState ∷ PState era
}
newtype ShelleyPoolreapEnv era = ShelleyPoolreapEnv {
- speVState ∷ VState era
}
type family PredicateFailure a
data ShelleyPoolreapPredFailure era
prAcnt ∷ ShelleyPoolreapState era → AccountState

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 Associated Types type State (ShelleyPOOLREAP era) Source # type Signal (ShelleyPOOLREAP era) Source # type Environment (ShelleyPOOLREAP era) Source # type BaseM (ShelleyPOOLREAP era) ∷ Type → Type Source # type Event (ShelleyPOOLREAP era) Source # type PredicateFailure (ShelleyPOOLREAP era) Source # Methods initialRules ∷ [InitialRule (ShelleyPOOLREAP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPOOLREAP era)] Source # assertions ∷ [Assertion (ShelleyPOOLREAP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPOOLREAP 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 Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source #
type BaseM (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type BaseM (ShelleyPOOLREAP era) = ShelleyBase
type Environment (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Environment (ShelleyPOOLREAP era) = ShelleyPoolreapEnv era
type Event (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Event (ShelleyPOOLREAP era) = ShelleyPoolreapEvent era
type PredicateFailure (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type Signal (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Signal (ShelleyPOOLREAP era) = EpochNo
type State (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State (ShelleyPOOLREAP era) = ShelleyPoolreapState era

data ShelleyPoolreapEvent era Source #

Constructors

RetiredPools
Fields refundPools ∷ Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin) unclaimedPools ∷ Map (Credential 'Staking (EraCrypto era)) (Map (KeyHash 'StakePool (EraCrypto era)) Coin) epochNo ∷ EpochNo

Instances

Instances details

Generic (ShelleyPoolreapEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Associated Types type Rep (ShelleyPoolreapEvent era) ∷ Type → Type Source # Methods from ∷ ShelleyPoolreapEvent era → Rep (ShelleyPoolreapEvent era) x Source # to ∷ Rep (ShelleyPoolreapEvent era) x → ShelleyPoolreapEvent era Source #
NFData (ShelleyPoolreapEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods rnf ∷ ShelleyPoolreapEvent era → () Source #
Eq (ShelleyPoolreapEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods (==) ∷ ShelleyPoolreapEvent era → ShelleyPoolreapEvent era → Bool Source # (/=) ∷ ShelleyPoolreapEvent era → ShelleyPoolreapEvent era → Bool Source #
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.11.0.0-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))))

data ShelleyPoolreapState era Source #

Constructors

PoolreapState
Fields prUTxOSt ∷ UTxOState era prAccountState ∷ AccountState prDState ∷ DState era prPState ∷ PState era

Instances

Instances details

Show (UTxOState era) ⇒ Show (ShelleyPoolreapState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods showsPrec ∷ Int → ShelleyPoolreapState era → ShowS Source # show ∷ ShelleyPoolreapState era → String Source # showList ∷ [ShelleyPoolreapState era] → ShowS Source #
Default (UTxOState era) ⇒ Default (ShelleyPoolreapState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods def ∷ ShelleyPoolreapState era Source #

newtype ShelleyPoolreapEnv era Source #

Constructors

ShelleyPoolreapEnv
Fields speVState ∷ VState 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 Methods showsPrec ∷ Int → ShelleyPoolreapEnv era → ShowS Source # show ∷ ShelleyPoolreapEnv era → String Source # showList ∷ [ShelleyPoolreapEnv era] → ShowS Source #
Eq (PParams era) ⇒ Eq (ShelleyPoolreapEnv era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods (==) ∷ ShelleyPoolreapEnv era → ShelleyPoolreapEnv era → Bool Source # (/=) ∷ ShelleyPoolreapEnv era → ShelleyPoolreapEnv era → Bool Source #

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 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) ∷ Type → Type Source # Methods from ∷ ShelleyPoolreapPredFailure era → Rep (ShelleyPoolreapPredFailure era) x Source # to ∷ Rep (ShelleyPoolreapPredFailure era) x → ShelleyPoolreapPredFailure era Source #
Show (ShelleyPoolreapPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods showsPrec ∷ Int → ShelleyPoolreapPredFailure era → ShowS Source # show ∷ ShelleyPoolreapPredFailure era → String Source # showList ∷ [ShelleyPoolreapPredFailure era] → ShowS Source #
NFData (ShelleyPoolreapPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods rnf ∷ ShelleyPoolreapPredFailure era → () Source #
Eq (ShelleyPoolreapPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods (==) ∷ ShelleyPoolreapPredFailure era → ShelleyPoolreapPredFailure era → Bool Source # (/=) ∷ ShelleyPoolreapPredFailure era → ShelleyPoolreapPredFailure era → Bool Source #
NoThunks (ShelleyPoolreapPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap Methods noThunks ∷ Context → ShelleyPoolreapPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPoolreapPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPoolreapPredFailure era) → String Source #
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.11.0.0-inplace" 'False) (V1 ∷ Type → Type)