| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Delegs
Contents
Synopsis
- data ShelleyDELEGS era
- data DelegsEnv era = DelegsEnv {
- delegsSlotNo ∷ !SlotNo
- delegsIx ∷ !TxIx
- delegspp ∷ !(PParams era)
- delegsTx ∷ !(Tx era)
- delegsAccount ∷ !AccountState
- data ShelleyDelegsPredFailure era
- = DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (EraCrypto era))
- | WithdrawalsNotInRewardsDELEGS !(Map (RewardAccount (EraCrypto era)) Coin)
- | DelplFailure !(PredicateFailure (EraRule "DELPL" era))
- newtype ShelleyDelegsEvent era = DelplEvent (Event (EraRule "DELPL" era))
- type family PredicateFailure a
- validateZeroRewards ∷ ∀ era. DState era → Withdrawals (EraCrypto era) → Network → Test (Map (RewardAccount (EraCrypto era)) Coin)
- validateStakePoolDelegateeRegistered ∷ PState era → KeyHash 'StakePool (EraCrypto era) → Test (KeyHash 'StakePool (EraCrypto era))
- drainWithdrawals ∷ DState era → Withdrawals (EraCrypto era) → DState era
Documentation
data ShelleyDELEGS era Source #
Instances
Constructors
| DelegsEnv | |
Fields
| |
data ShelleyDelegsPredFailure era Source #
Constructors
| DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (EraCrypto era)) | Target pool which is not registered |
| WithdrawalsNotInRewardsDELEGS !(Map (RewardAccount (EraCrypto era)) Coin) | Withdrawals that are missing or do not withdrawal the entire amount |
| DelplFailure !(PredicateFailure (EraRule "DELPL" era)) | Subtransition Failures |
Instances
newtype ShelleyDelegsEvent era Source #
Constructors
| DelplEvent (Event (EraRule "DELPL" era)) |
Instances
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
validateZeroRewards ∷ ∀ era. DState era → Withdrawals (EraCrypto era) → Network → Test (Map (RewardAccount (EraCrypto era)) Coin) Source #
validateStakePoolDelegateeRegistered ∷ PState era → KeyHash 'StakePool (EraCrypto era) → Test (KeyHash 'StakePool (EraCrypto era)) Source #
drainWithdrawals ∷ DState era → Withdrawals (EraCrypto era) → DState era Source #