Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.STS.Updn

Synopsis

data UPDN crypto
newtype UpdnEnv = UpdnEnv Nonce
data UpdnState = UpdnState Nonce Nonce
type family PredicateFailure a = (b ∷ Type) | b → a
data UpdnPredicateFailure crypto

Documentation

data UPDN crypto Source #

Instances

Instances details

Crypto crypto ⇒ STS (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Associated Types type State (UPDN crypto) Source # type Signal (UPDN crypto) Source # type Environment (UPDN crypto) Source # type BaseM (UPDN crypto) ∷ Type → Type Source # type PredicateFailure (UPDN crypto) = (b ∷ Type) Source # Methods initialRules ∷ [InitialRule (UPDN crypto)] Source # transitionRules ∷ [TransitionRule (UPDN crypto)] Source # assertions ∷ [Assertion (UPDN crypto)] Source # renderAssertionViolation ∷ AssertionViolation (UPDN crypto) → String Source #
(Crypto crypto, DSignable crypto (OCertSignable crypto), KESignable crypto (BHBody crypto), VRFSignable crypto Seed) ⇒ Embed (UPDN crypto) (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods wrapFailed ∷ PredicateFailure (UPDN crypto) → PredicateFailure (PRTCL crypto) Source #
type PredicateFailure (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type PredicateFailure (UPDN crypto) = UpdnPredicateFailure crypto
type BaseM (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type BaseM (UPDN crypto) = ShelleyBase
type Environment (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type Environment (UPDN crypto) = UpdnEnv
type Signal (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type Signal (UPDN crypto) = SlotNo
type State (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type State (UPDN crypto) = UpdnState

newtype UpdnEnv Source #

Constructors

UpdnEnv Nonce

New nonce

data UpdnState Source #

Constructors

UpdnState Nonce Nonce

Instances

Instances details

Eq UpdnState Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Methods (==) ∷ UpdnState → UpdnState → Bool # (/=) ∷ UpdnState → UpdnState → Bool #
Show UpdnState Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Methods showsPrec ∷ Int → UpdnState → ShowS # show ∷ UpdnState → String # showList ∷ [UpdnState] → ShowS #

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

Instances details

type PredicateFailure TICKN Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tickn type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type PredicateFailure (UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure (SNAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Snap type PredicateFailure (SNAP era) = SnapPredicateFailure era
type PredicateFailure (RUPD era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Rupd type PredicateFailure (RUPD era) = RupdPredicateFailure era
type PredicateFailure (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type PredicateFailure (PPUP era) = PpupPredicateFailure era
type PredicateFailure (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type PredicateFailure (POOLREAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.PoolReap type PredicateFailure (POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure (POOL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Pool type PredicateFailure (POOL era) = PoolPredicateFailure era
type PredicateFailure (NEWPP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Newpp type PredicateFailure (NEWPP era) = NewppPredicateFailure era
type PredicateFailure (MIR era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Mir type PredicateFailure (MIR era) = MirPredicateFailure era
type PredicateFailure (EPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Epoch type PredicateFailure (EPOCH era) = EpochPredicateFailure era
type PredicateFailure (NEWEPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.NewEpoch type PredicateFailure (NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure (TICKF era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICKF era) = TickfPredicateFailure era
type PredicateFailure (TICK era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICK era) = TickPredicateFailure era
type PredicateFailure (DELEG era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Deleg type PredicateFailure (DELEG era) = DelegPredicateFailure era
type PredicateFailure (DELPL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delpl type PredicateFailure (DELPL era) = DelplPredicateFailure era
type PredicateFailure (DELEGS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delegs type PredicateFailure (DELEGS era) = DelegsPredicateFailure era
type PredicateFailure (LEDGER era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledger type PredicateFailure (LEDGER era) = LedgerPredicateFailure era
type PredicateFailure (LEDGERS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledgers type PredicateFailure (LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure (OCERT crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ocert type PredicateFailure (OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type PredicateFailure (OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type PredicateFailure (PRTCL crypto) = PrtclPredicateFailure crypto
type PredicateFailure (BBODY era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Bbody type PredicateFailure (BBODY era) = BbodyPredicateFailure era
type PredicateFailure (CHAIN era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Chain type PredicateFailure (CHAIN era) = ChainPredicateFailure era

data UpdnPredicateFailure crypto Source #

Instances

Instances details

Eq (UpdnPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Methods (==) ∷ UpdnPredicateFailure crypto → UpdnPredicateFailure crypto → Bool # (/=) ∷ UpdnPredicateFailure crypto → UpdnPredicateFailure crypto → Bool #
Show (UpdnPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Methods showsPrec ∷ Int → UpdnPredicateFailure crypto → ShowS # show ∷ UpdnPredicateFailure crypto → String # showList ∷ [UpdnPredicateFailure crypto] → ShowS #
Generic (UpdnPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Associated Types type Rep (UpdnPredicateFailure crypto) ∷ Type → Type # Methods from ∷ UpdnPredicateFailure crypto → Rep (UpdnPredicateFailure crypto) x # to ∷ Rep (UpdnPredicateFailure crypto) x → UpdnPredicateFailure crypto #
NoThunks (UpdnPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn Methods noThunks ∷ Context → UpdnPredicateFailure crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → UpdnPredicateFailure crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (UpdnPredicateFailure crypto) → String
type Rep (UpdnPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type Rep (UpdnPredicateFailure crypto) = D1 ('MetaData "UpdnPredicateFailure" "Shelley.Spec.Ledger.STS.Updn" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (V1 ∷ Type → Type)