cardano-ledger-allegra-1.10.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra.Rules

Synopsis

Documentation

data UTXO era Source #

Instances

Instances details
(EraTx era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRule "PPUP" era) (UTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), AtMostEra "Babbage" era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ UTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type State (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type State (UTXO era) = UTxOState era
type Signal (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Event (UTXO era) = AllegraUtxoEvent era
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (UTXO era) = AllegraUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (UTXO era)) ⇒ Embed (UTXO era) (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

(Era era, STS (PPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (PPUP era)) ⇒ Embed (PPUP era) (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

wrapFailed ∷ PredicateFailure (PPUP era) → PredicateFailure (UTXO era) Source #

wrapEvent ∷ Event (PPUP era) → Event (UTXO era) Source #

type BaseM (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Environment (UTXO era) = UtxoEnv era
type Event (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Event (UTXO era) = AllegraUtxoEvent era
type PredicateFailure (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (UTXO era) = AllegraUtxoPredFailure era
type Signal (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (UTXO era) = StAnnTx 'TopTx era
type State (UTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type State (UTXO era) = UTxOState era

data AllegraUtxoPredFailure era Source #

Constructors

BadInputsUTxO (NonEmptySet TxIn) 
OutsideValidityIntervalUTxO ValidityInterval SlotNo 
MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32) 
InputSetEmptyUTxO 
FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin) 
ValueNotConservedUTxO (Mismatch 'RelEQ (Value era)) 
WrongNetwork Network (NonEmptySet Addr) 
WrongNetworkWithdrawal Network (NonEmptySet AccountAddress) 
OutputTooSmallUTxO (NonEmpty (TxOut era)) 
UpdateFailure (EraRuleFailure "PPUP" era) 
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era)) 
OutputTooBigUTxO (NonEmpty (TxOut era)) 

Instances

Instances details
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

(EraTxOut era, DecCBOR (EraRuleFailure "PPUP" era)) ⇒ DecCBOR (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

decCBOR ∷ Decoder s (AllegraUtxoPredFailure era) Source #

dropCBOR ∷ Proxy (AllegraUtxoPredFailure era) → Decoder s () Source #

label ∷ Proxy (AllegraUtxoPredFailure era) → Text Source #

(Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (EraRuleFailure "PPUP" era)) ⇒ EncCBOR (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

encCBOR ∷ AllegraUtxoPredFailure era → Encoding Source #

(Era era, NFData (TxOut era), NFData (Value era), NFData (EraRuleFailure "PPUP" era)) ⇒ NFData (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

rnf ∷ AllegraUtxoPredFailure era → () #

Generic (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type Rep (AllegraUtxoPredFailure era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Rep (AllegraUtxoPredFailure era) = D1 ('MetaData "AllegraUtxoPredFailure" "Cardano.Ledger.Allegra.Rules.Utxo" "cardano-ledger-allegra-1.10.0.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Word32))))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era))))))) :+: ((C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))) :+: (C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era))) :+: (C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era))))))))

Methods

from ∷ AllegraUtxoPredFailure era → Rep (AllegraUtxoPredFailure era) x #

to ∷ Rep (AllegraUtxoPredFailure era) x → AllegraUtxoPredFailure era #

(Show (TxOut era), Show (Value era), Show (EraRuleFailure "PPUP" era)) ⇒ Show (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

showsPrec ∷ Int → AllegraUtxoPredFailure era → ShowS #

show ∷ AllegraUtxoPredFailure era → String #

showList ∷ [AllegraUtxoPredFailure era] → ShowS #

(Eq (TxOut era), Eq (Value era), Eq (EraRuleFailure "PPUP" era)) ⇒ Eq (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

(==) ∷ AllegraUtxoPredFailure era → AllegraUtxoPredFailure era → Bool #

(/=) ∷ AllegraUtxoPredFailure era → AllegraUtxoPredFailure era → Bool #

type Rep (AllegraUtxoPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Rep (AllegraUtxoPredFailure era) = D1 ('MetaData "AllegraUtxoPredFailure" "Cardano.Ledger.Allegra.Rules.Utxo" "cardano-ledger-allegra-1.10.0.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Word32))))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Value era))))))) :+: ((C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))) :+: (C1 ('MetaCons "UpdateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure "PPUP" era))) :+: (C1 ('MetaCons "OutputBootAddrAttrsTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era))))))))

data AllegraUtxoEvent era Source #

Constructors

UpdateEvent (Event (EraRule "PPUP" era)) 
TotalDeposits (SafeHash EraIndependentTxBody) Coin 
TxUTxODiff

The UTxOs consumed and created by a signal tx

Fields

  • (UTxO era)

    UTxO consumed

  • (UTxO era)

    UTxO created (produced)

Instances

Instances details
(Era era, NFData (TxOut era), NFData (Event (EraRule "PPUP" era))) ⇒ NFData (AllegraUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

rnf ∷ AllegraUtxoEvent era → () #

Generic (AllegraUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type Rep (AllegraUtxoEvent era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Rep (AllegraUtxoEvent era) = D1 ('MetaData "AllegraUtxoEvent" "Cardano.Ledger.Allegra.Rules.Utxo" "cardano-ledger-allegra-1.10.0.0-inplace" 'False) (C1 ('MetaCons "UpdateEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "PPUP" era)))) :+: (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

Methods

from ∷ AllegraUtxoEvent era → Rep (AllegraUtxoEvent era) x #

to ∷ Rep (AllegraUtxoEvent era) x → AllegraUtxoEvent era #

(Era era, Eq (TxOut era), Eq (Event (EraRule "PPUP" era))) ⇒ Eq (AllegraUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

(==) ∷ AllegraUtxoEvent era → AllegraUtxoEvent era → Bool #

(/=) ∷ AllegraUtxoEvent era → AllegraUtxoEvent era → Bool #

type Rep (AllegraUtxoEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Rep (AllegraUtxoEvent era) = D1 ('MetaData "AllegraUtxoEvent" "Cardano.Ledger.Allegra.Rules.Utxo" "cardano-ledger-allegra-1.10.0.0-inplace" 'False) (C1 ('MetaCons "UpdateEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "PPUP" era)))) :+: (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

validateOutsideValidityIntervalUTxO ∷ ∀ era (l ∷ TxLevel). AllegraEraTxBody era ⇒ SlotNo → TxBody l era → Test (AllegraUtxoPredFailure era) Source #

Ensure the transaction is within the validity window.

ininterval slot (txvld tx)

shelleyToAllegraUtxoPredFailure ∷ ShelleyUtxoPredFailure era → AllegraUtxoPredFailure era Source #

data UTXOW era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, EraCertState era) ⇒ STS (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Associated Types

type State (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type State (UTXOW era) = UTxOState era
type Signal (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Event (UTXOW era) = ShelleyUtxowEvent era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source #

(Era era, STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ AllegraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ Event (UTXO era)) ⇒ Embed (UTXO era) (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

(Era era, STS (UTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (UTXOW era)) ⇒ Embed (UTXOW era) (LEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

type BaseM (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Environment (UTXOW era) = UtxoEnv era
type Event (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Event (UTXOW era) = ShelleyUtxowEvent era
type PredicateFailure (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure era
type Signal (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (UTXOW era) = StAnnTx 'TopTx era
type State (UTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type State (UTXOW era) = UTxOState era