Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Pool
Synopsis
- data POOL (era :: Type )
-
data
PoolEvent
era
- = RegisterPool ( KeyHash ' StakePool ( Crypto era))
- | ReregisterPool ( KeyHash ' StakePool ( Crypto era))
- data PoolEnv era = PoolEnv SlotNo ( PParams era)
- type family PredicateFailure a
-
data
PoolPredicateFailure
era
- = StakePoolNotRegisteredOnKeyPOOL !( KeyHash ' StakePool ( Crypto era))
- | StakePoolRetirementWrongEpochPOOL ! Word64 ! Word64 ! Word64
- | WrongCertificateTypePOOL ! Word8
- | StakePoolCostTooLowPOOL ! Coin ! Coin
- | WrongNetworkPOOL ! Network ! Network !( KeyHash ' StakePool ( Crypto era))
- | PoolMedataHashTooBig !( KeyHash ' StakePool ( Crypto era)) ! Int
Documentation
data POOL (era :: Type ) Source #
Instances
Constructors
RegisterPool ( KeyHash ' StakePool ( Crypto era)) | |
ReregisterPool ( KeyHash ' StakePool ( Crypto era)) |
type family PredicateFailure 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 | |
WrongNetworkPOOL ! Network ! Network !( KeyHash ' StakePool ( Crypto era)) | |
PoolMedataHashTooBig !( KeyHash ' StakePool ( Crypto era)) ! Int |