Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Delpl
Synopsis
- data DELPL era
-
data
DelplEnv
era =
DelplEnv
{
- delplSlotNo :: SlotNo
- delPlPtr :: Ptr
- delPlPp :: PParams era
- delPlAcnt :: AccountState
-
data
DelplPredicateFailure
era
- = PoolFailure ( PredicateFailure ( EraRule "POOL" era))
- | DelegFailure ( PredicateFailure ( EraRule "DELEG" era))
- data DelplEvent era
- type family PredicateFailure a
Documentation
Instances
Constructors
DelplEnv | |
Fields
|
data DelplPredicateFailure era Source #
Constructors
PoolFailure ( PredicateFailure ( EraRule "POOL" era)) | |
DelegFailure ( PredicateFailure ( EraRule "DELEG" era)) |
Instances
data DelplEvent era Source #
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.