shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.STS.Ledger

Synopsis

Documentation

data LEDGER era Source #

Instances

Instances details
(Era era, DSignable (Crypto era) (Hash (Crypto era) EraIndependentTxBody), ShelleyBased era, Embed (DELEGS era) (LEDGER era), Embed (UTXOW era) (LEDGER era), Environment (UTXOW era) ~ UtxoEnv era, State (UTXOW era) ~ UTxOState era, Signal (UTXOW era) ~ Tx era, Environment (DELEGS era) ~ DelegsEnv era, State (DELEGS era) ~ DPState era, Signal (DELEGS era) ~ Seq (DCert era), HasField "certs" (TxBody era) (StrictSeq (DCert era))) ⇒ STS (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

Associated Types

type State (LEDGER era) Source #

type Signal (LEDGER era) Source #

type Environment (LEDGER era) Source #

type BaseM (LEDGER era) ∷ TypeType Source #

type PredicateFailure (LEDGER era) = (b ∷ Type) Source #

(ShelleyBased era, STS (UTXOW era), BaseM (UTXOW era) ~ ShelleyBase) ⇒ Embed (UTXOW era) (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(ShelleyBased era, STS (DELEGS era)) ⇒ Embed (DELEGS era) (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(Era era, STS (LEDGER era), ShelleyBased era, DSignable (Crypto era) (Hash (Crypto era) EraIndependentTxBody), Environment (UTXO era) ~ UtxoEnv era, State (UTXO era) ~ UTxOState era) ⇒ Embed (LEDGER era) (LEDGERS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

type PredicateFailure (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type BaseM (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type BaseM (LEDGER era) = ShelleyBase
type Environment (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type Environment (LEDGER era) = LedgerEnv era
type Signal (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type Signal (LEDGER era) = Tx era
type State (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type State (LEDGER era) = (UTxOState era, DPState era)

data LedgerEnv era Source #

Constructors

LedgerEnv 

Instances

Instances details
Show (LedgerEnv era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

Methods

showsPrecIntLedgerEnv era → ShowS #

showLedgerEnv era → String #

showList ∷ [LedgerEnv era] → ShowS #

data LedgerPredicateFailure era Source #

Instances

Instances details
(Eq (PredicateFailure (DELEGS era)), Eq (PredicateFailure (UTXOW era)), ShelleyBased era) ⇒ Eq (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(Show (PredicateFailure (DELEGS era)), Show (PredicateFailure (UTXOW era)), ShelleyBased era) ⇒ Show (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

Generic (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

Associated Types

type Rep (LedgerPredicateFailure era) ∷ TypeType #

(ToCBOR (PredicateFailure (DELEGS era)), ToCBOR (PredicateFailure (UTXOW era)), ShelleyBased era) ⇒ ToCBOR (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(FromCBOR (PredicateFailure (DELEGS era)), FromCBOR (PredicateFailure (UTXOW era)), ShelleyBased era) ⇒ FromCBOR (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(NoThunks (PredicateFailure (DELEGS era)), NoThunks (PredicateFailure (UTXOW era)), ShelleyBased era) ⇒ NoThunks (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

Methods

noThunks ∷ Context → LedgerPredicateFailure era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → LedgerPredicateFailure era → IO (Maybe ThunkInfo)

showTypeOfProxy (LedgerPredicateFailure era) → String

type Rep (LedgerPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type Rep (LedgerPredicateFailure era) = D1 ('MetaData "LedgerPredicateFailure" "Shelley.Spec.Ledger.STS.Ledger" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (UTXOW era)))) :+: C1 ('MetaCons "DelegsFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (DELEGS 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, 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 (UPDN crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Updn

type PredicateFailure (SNAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Snap

type PredicateFailure (RUPD era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Rupd

type PredicateFailure (PPUP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

type PredicateFailure (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type PredicateFailure (POOLREAP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.PoolReap

type PredicateFailure (POOL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Pool

type PredicateFailure (NEWPP era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Newpp

type PredicateFailure (MIR era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Mir

type PredicateFailure (EPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Epoch

type PredicateFailure (NEWEPOCH era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.NewEpoch

type PredicateFailure (TICKF era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (TICK era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tick

type PredicateFailure (DELEG era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Deleg

type PredicateFailure (DELPL era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delpl

type PredicateFailure (DELEGS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delegs

type PredicateFailure (LEDGER era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

type PredicateFailure (LEDGERS era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

type PredicateFailure (OCERT crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ocert

type PredicateFailure (OVERLAY crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Overlay

type PredicateFailure (PRTCL crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Prtcl

type PredicateFailure (BBODY era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Bbody

type PredicateFailure (CHAIN era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Chain