Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Snap
Synopsis
- data SNAP era
- type family PredicateFailure a
- data SnapPredicateFailure era
- data SnapEvent era = StakeDistEvent !( Map ( Credential ' Staking ( Crypto era)) ( Coin , KeyHash ' StakePool ( Crypto era)))
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 SnapPredicateFailure era Source #
Instances
Eq ( SnapPredicateFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap Methods (==) :: SnapPredicateFailure era -> SnapPredicateFailure era -> Bool Source # (/=) :: SnapPredicateFailure era -> SnapPredicateFailure era -> Bool Source # |
|
Show ( SnapPredicateFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap |
|
Generic ( SnapPredicateFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap Methods from :: SnapPredicateFailure era -> Rep ( SnapPredicateFailure era) x Source # to :: Rep ( SnapPredicateFailure era) x -> SnapPredicateFailure era Source # |
|
NoThunks ( SnapPredicateFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap |
|
type Rep ( SnapPredicateFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap |