Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.Pool
Synopsis
- data POOL (era ∷ Type)
- data PoolEnv era = PoolEnv SlotNo (PParams era)
- type family PredicateFailure a = (b ∷ Type) | b → a
- data PoolPredicateFailure era
Documentation
data POOL (era ∷ Type) Source #
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, PredicateFailure
s 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 PredicateFailure
s 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
data PoolPredicateFailure era Source #
Constructors
StakePoolNotRegisteredOnKeyPOOL !(KeyHash 'StakePool (Crypto era)) | |
StakePoolRetirementWrongEpochPOOL !Word64 !Word64 !Word64 | |
WrongCertificateTypePOOL !Word8 | |
StakePoolCostTooLowPOOL !Coin !Coin |