Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Delegs
Synopsis
- data DELEGS era
-
data
DelegsEnv
era =
DelegsEnv
{
- delegsSlotNo :: ! SlotNo
- delegsIx :: ! TxIx
- delegspp :: !( PParams era)
- delegsTx :: !( Tx era)
- delegsAccount :: ! AccountState
-
data
DelegsPredicateFailure
era
- = DelegateeNotRegisteredDELEG !( KeyHash ' StakePool ( Crypto era))
- | WithdrawalsNotInRewardsDELEGS !( Map ( RewardAcnt ( Crypto era)) Coin )
- | DelplFailure ( PredicateFailure ( EraRule "DELPL" era))
- newtype DelegsEvent era = DelplEvent ( Event ( EraRule "DELPL" era))
- type family PredicateFailure a
Documentation
Instances
Constructors
DelegsEnv | |
Fields
|
data DelegsPredicateFailure era Source #
Constructors
DelegateeNotRegisteredDELEG !( KeyHash ' StakePool ( Crypto era)) | |
WithdrawalsNotInRewardsDELEGS !( Map ( RewardAcnt ( Crypto era)) Coin ) | |
DelplFailure ( PredicateFailure ( EraRule "DELPL" era)) |
Instances
newtype DelegsEvent era Source #
Constructors
DelplEvent ( Event ( EraRule "DELPL" 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.