shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.STS.Utxow

Synopsis

Documentation

data UTXOW era Source #

Instances

Instances details
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ STS (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

Associated Types

type State (UTXOW (ShelleyEra c)) Source #

type Signal (UTXOW (ShelleyEra c)) Source #

type Environment (UTXOW (ShelleyEra c)) Source #

type BaseM (UTXOW (ShelleyEra c)) ∷ TypeType Source #

type PredicateFailure (UTXOW (ShelleyEra c)) = (b ∷ Type) Source #

Crypto c ⇒ Embed (UTXO (ShelleyEra c)) (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

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

Defined in Shelley.Spec.Ledger.STS.Ledger

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

Defined in Shelley.Spec.Ledger.STS.Utxow

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

Defined in Shelley.Spec.Ledger.STS.Utxow

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

Defined in Shelley.Spec.Ledger.STS.Utxow

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

Defined in Shelley.Spec.Ledger.STS.Utxow

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

Defined in Shelley.Spec.Ledger.STS.Utxow

data UtxowPredicateFailure era Source #

Instances

Instances details
(Eq (PredicateFailure (UTXO era)), ShelleyBased era) ⇒ Eq (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

(Show (PredicateFailure (UTXO era)), ShelleyBased era) ⇒ Show (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

Generic (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

Associated Types

type Rep (UtxowPredicateFailure era) ∷ TypeType #

(Era era, Typeable (Script era), ToCBOR (PredicateFailure (UTXO era))) ⇒ ToCBOR (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

(Era era, FromCBOR (PredicateFailure (UTXO era)), Typeable (Script era)) ⇒ FromCBOR (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

(NoThunks (PredicateFailure (UTXO era)), ShelleyBased era) ⇒ NoThunks (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

Methods

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

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

showTypeOfProxy (UtxowPredicateFailure era) → String

type Rep (UtxowPredicateFailure era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type Rep (UtxowPredicateFailure era) = D1 ('MetaData "UtxowPredicateFailure" "Shelley.Spec.Ledger.STS.Utxow" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness (Crypto era)])) :+: C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WitHashes era)))) :+: (C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash era)))) :+: (C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash era)))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (UTXO era))))))) :+: ((C1 ('MetaCons "MIRInsufficientGenesisSigsUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (Crypto era))))) :+: C1 ('MetaCons "MissingTxBodyMetaDataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MetaDataHash era)))) :+: (C1 ('MetaCons "MissingTxMetaData" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MetaDataHash era))) :+: (C1 ('MetaCons "ConflictingMetaDataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MetaDataHash era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MetaDataHash era))) :+: C1 ('MetaCons "InvalidMetaData" 'PrefixI 'False) (U1TypeType)))))

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

utxoWitnessed ∷ ∀ era. (ShelleyBased era, ValidateScript era, STS (UTXOW era), BaseM (UTXOW era) ~ ShelleyBase, Embed (UTXO era) (UTXOW era), DSignable (Crypto era) (Hash (Crypto era) EraIndependentTxBody), Environment (UTXO era) ~ UtxoEnv era, State (UTXO era) ~ UTxOState era, Signal (UTXO era) ~ Tx era, Environment (UTXOW era) ~ UtxoEnv era, State (UTXOW era) ~ UTxOState era, Signal (UTXOW era) ~ Tx era, PredicateFailure (UTXOW era) ~ UtxowPredicateFailure era, HasField "inputs" (TxBody era) (Set (TxIn era)), HasField "wdrls" (TxBody era) (Wdrl era), HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)), HasField "update" (TxBody era) (StrictMaybe (Update era))) ⇒ (UTxO era → Tx era → Set (ScriptHash era)) → TransitionRule (UTXOW era) Source #

initialLedgerStateUTXOW ∷ ∀ era. (Embed (UTXO era) (UTXOW era), Environment (UTXOW era) ~ UtxoEnv era, State (UTXOW era) ~ UTxOState era, Environment (UTXO era) ~ UtxoEnv era, State (UTXO era) ~ UTxOState era) ⇒ InitialRule (UTXOW era) Source #