| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Shelley.Spec.Ledger.STS.Tick
Synopsis
- data TICK era
- type family State a
- data TickPredicateFailure era
- = NewEpochFailure (PredicateFailure (NEWEPOCH era))
- | RupdFailure (PredicateFailure (RUPD era))
- type family PredicateFailure a = (b ∷ Type) | b → a
- adoptGenesisDelegs ∷ EpochState era → SlotNo → EpochState era
- data TICKF era
- data TickfPredicateFailure era = TickfNewEpochFailure (PredicateFailure (NEWEPOCH era))
Documentation
Instances
Type of the state which the system transitions between.
Instances
data TickPredicateFailure era Source #
Constructors
| NewEpochFailure (PredicateFailure (NEWEPOCH era)) | |
| RupdFailure (PredicateFailure (RUPD era)) |
Instances
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.
Instances
adoptGenesisDelegs ∷ EpochState era → SlotNo → EpochState era Source #
Instances
data TickfPredicateFailure era Source #
Constructors
| TickfNewEpochFailure (PredicateFailure (NEWEPOCH era)) |