Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.Tickn
Synopsis
- data TICKN
- data TicknEnv = TicknEnv {}
- data TicknState = TicknState {}
- data TicknPredicateFailure
- type family PredicateFailure a = (b :: Type) | b -> a
Documentation
Instances
STS TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn Associated Types type Environment TICKN Source # type BaseM TICKN :: Type -> Type Source # type PredicateFailure TICKN = (b :: Type) Source # Methods initialRules :: [InitialRule TICKN] Source # transitionRules :: [TransitionRule TICKN] Source # assertions :: [Assertion TICKN] Source # renderAssertionViolation :: AssertionViolation TICKN -> String Source # | |
(Era era, ShelleyBased era) => Embed TICKN (CHAIN era) Source # | |
Defined in Shelley.Spec.Ledger.STS.Chain Methods wrapFailed :: PredicateFailure TICKN -> PredicateFailure (CHAIN era) Source # | |
type PredicateFailure TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn | |
type BaseM TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn | |
type Environment TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn | |
type Signal TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn | |
type State TICKN Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn |
Constructors
TicknEnv | |
Fields
|
data TicknState Source #
Constructors
TicknState | |
Fields |
Instances
data TicknPredicateFailure Source #
Instances
Eq TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn Methods (==) :: TicknPredicateFailure -> TicknPredicateFailure -> Bool # (/=) :: TicknPredicateFailure -> TicknPredicateFailure -> Bool # | |
Show TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn Methods showsPrec :: Int -> TicknPredicateFailure -> ShowS # show :: TicknPredicateFailure -> String # showList :: [TicknPredicateFailure] -> ShowS # | |
Generic TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn Associated Types type Rep TicknPredicateFailure :: Type -> Type # Methods from :: TicknPredicateFailure -> Rep TicknPredicateFailure x # to :: Rep TicknPredicateFailure x -> TicknPredicateFailure # | |
NoThunks TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn | |
type Rep TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn |
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.