| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Shelley.Spec.Ledger.STS.Delegs
Synopsis
- data DELEGS era
- data DelegsEnv era = DelegsEnv {
- delegsSlotNo :: SlotNo
- delegsIx :: Ix
- delegspp :: PParams era
- delegsTx :: Tx era
- delegsAccount :: AccountState
- data DelegsPredicateFailure era
- = DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (Crypto era))
- | WithdrawalsNotInRewardsDELEGS !(Map (RewardAcnt (Crypto era)) Coin)
- | DelplFailure (PredicateFailure (DELPL era))
- type family PredicateFailure a = (b :: Type) | b -> a
Documentation
Instances
Constructors
| DelegsEnv | |
Fields
| |
data DelegsPredicateFailure era Source #
Constructors
| DelegateeNotRegisteredDELEG !(KeyHash 'StakePool (Crypto era)) | |
| WithdrawalsNotInRewardsDELEGS !(Map (RewardAcnt (Crypto era)) Coin) | |
| DelplFailure (PredicateFailure (DELPL era)) |
Instances
type family PredicateFailure a = (b :: Type) | b -> 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.