Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Deleg
Synopsis
- data DELEG era
- data DelegEnv era = DelegEnv { }
- type family PredicateFailure a
-
data
DelegPredicateFailure
era
- = StakeKeyAlreadyRegisteredDELEG !( Credential ' Staking ( Crypto era))
- | StakeKeyInRewardsDELEG !( Credential ' Staking ( Crypto era))
- | StakeKeyNotRegisteredDELEG !( Credential ' Staking ( Crypto era))
- | StakeKeyNonZeroAccountBalanceDELEG !( Maybe Coin )
- | StakeDelegationImpossibleDELEG !( Credential ' Staking ( Crypto era))
- | WrongCertificateTypeDELEG
- | GenesisKeyNotInMappingDELEG !( KeyHash ' Genesis ( Crypto era))
- | DuplicateGenesisDelegateDELEG !( KeyHash ' GenesisDelegate ( Crypto era))
- | InsufficientForInstantaneousRewardsDELEG ! MIRPot ! Coin ! Coin
- | MIRCertificateTooLateinEpochDELEG ! SlotNo ! SlotNo
- | DuplicateGenesisVRFDELEG !( Hash ( Crypto era) ( VerKeyVRF ( Crypto era)))
- | MIRTransferNotCurrentlyAllowed
- | MIRNegativesNotCurrentlyAllowed
- | InsufficientForTransferDELEG ! MIRPot ! Coin ! Coin
- | MIRProducesNegativeUpdate
- | MIRNegativeTransfer ! MIRPot ! Coin
Documentation
Instances
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 DelegPredicateFailure era Source #
Constructors