| 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 # | |
| (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 # | |
| NoThunks TicknPredicateFailure Source # | |
Defined in Shelley.Spec.Ledger.STS.Tickn Methods noThunks ∷ Context → TicknPredicateFailure → IO (Maybe ThunkInfo) wNoThunks ∷ Context → TicknPredicateFailure → IO (Maybe ThunkInfo) | |
| 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, PredicateFailures 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 PredicateFailures 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.