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

Cardano.Ledger.Allegra.Rules

Synopsis

Documentation

data AllegraUtxoPredFailure era Source #

Constructors

BadInputsUTxO (Set TxIn) 
OutsideValidityIntervalUTxO ValidityInterval SlotNo 
MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32) 
InputSetEmptyUTxO 
FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin) 
ValueNotConservedUTxO (Mismatch 'RelEQ (Value era)) 
WrongNetwork Network (Set Addr) 
WrongNetworkWithdrawal Network (Set RewardAccount) 
OutputTooSmallUTxO [TxOut era] 
UpdateFailure (EraRuleFailure "PPUP" era) 
OutputBootAddrAttrsTooBig [TxOut era] 
OutputTooBigUTxO [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.9.0.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set 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 (Set 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 (Set RewardAccount))) :+: C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [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 [TxOut era])) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [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 #

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

noThunks ∷ Context → AllegraUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AllegraUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AllegraUtxoPredFailure era) → String Source #

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.9.0.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set 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 (Set 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 (Set RewardAccount))) :+: C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [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 [TxOut era])) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [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.9.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.9.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)))))

data AllegraUTXO era Source #

Instances

Instances details
(EraTx era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRule "PPUP" era) (AllegraUTXO 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 ~ AllegraUTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, SafeToHash (TxWits era)) ⇒ STS (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type State (AllegraUTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (AllegraUTXO era) = Tx 'TopTx era
type Environment (AllegraUTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (AllegraUTXO era)] Source #

transitionRules ∷ [TransitionRule (AllegraUTXO era)] Source #

assertions ∷ [Assertion (AllegraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (AllegraUTXO era) → String Source #

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (AllegraUTXO era) → PredicateFailure (AllegraUTXOW era) Source #

wrapEvent ∷ Event (AllegraUTXO era) → Event (AllegraUTXOW era) Source #

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (AllegraUTXO era) Source #

wrapEvent ∷ Event (ShelleyPPUP era) → Event (AllegraUTXO era) Source #

type BaseM (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

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

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type Signal (AllegraUTXO era) = Tx 'TopTx era
type State (AllegraUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type State (AllegraUTXO era) = UTxOState 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 AllegraUTXOW era Source #

Instances

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Associated Types

type State (AllegraUTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (AllegraUTXOW era) = Tx 'TopTx era
type Environment (AllegraUTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (AllegraUTXOW era)] Source #

transitionRules ∷ [TransitionRule (AllegraUTXOW era)] Source #

assertions ∷ [Assertion (AllegraUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (AllegraUTXOW era) → String Source #

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (AllegraUTXO era) → PredicateFailure (AllegraUTXOW era) Source #

wrapEvent ∷ Event (AllegraUTXO era) → Event (AllegraUTXOW era) Source #

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

wrapFailed ∷ PredicateFailure (AllegraUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source #

wrapEvent ∷ Event (AllegraUTXOW era) → Event (ShelleyLEDGER era) Source #

type BaseM (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

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

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type Signal (AllegraUTXOW era) = Tx 'TopTx era
type State (AllegraUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type State (AllegraUTXOW era) = UTxOState era