Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.Rupd
Synopsis
- data RUPD era
- data RupdEnv era = RupdEnv (BlocksMade (Crypto era)) (EpochState era)
- type family PredicateFailure a = (b :: Type) | b -> a
- data RupdPredicateFailure era
Documentation
Instances
Constructors
RupdEnv (BlocksMade (Crypto era)) (EpochState era) |
type family PredicateFailure a = (b :: Type) | b -> 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 RupdPredicateFailure era Source #
Instances
Eq (RupdPredicateFailure era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Rupd Methods (==) :: RupdPredicateFailure era -> RupdPredicateFailure era -> Bool # (/=) :: RupdPredicateFailure era -> RupdPredicateFailure era -> Bool # | |
Show (RupdPredicateFailure era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Rupd Methods showsPrec :: Int -> RupdPredicateFailure era -> ShowS # show :: RupdPredicateFailure era -> String # showList :: [RupdPredicateFailure era] -> ShowS # | |
Generic (RupdPredicateFailure era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Rupd Associated Types type Rep (RupdPredicateFailure era) :: Type -> Type # Methods from :: RupdPredicateFailure era -> Rep (RupdPredicateFailure era) x # to :: Rep (RupdPredicateFailure era) x -> RupdPredicateFailure era # | |
NoThunks (RupdPredicateFailure era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Rupd | |
type Rep (RupdPredicateFailure era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Rupd |