Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Rules.Utxo

Contents

Orphan instances

Synopsis

data AllegraUTXO era
data AllegraUtxoEvent era
- = UpdateEvent (Event (EraRule "PPUP" era))
- | TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin
- | TxUTxODiff (UTxO era) (UTxO era)
data AllegraUtxoPredFailure era
- = BadInputsUTxO !(Set (TxIn (EraCrypto era)))
- | OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
- | MaxTxSizeUTxO !Integer !Integer
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !Coin !Coin
- | ValueNotConservedUTxO !(Value era) !(Value era)
- | WrongNetwork !Network !(Set (Addr (EraCrypto era)))
- | WrongNetworkWithdrawal !Network !(Set (RewardAccount (EraCrypto era)))
- | OutputTooSmallUTxO ![TxOut era]
- | UpdateFailure (EraRuleFailure "PPUP" era)
- | OutputBootAddrAttrsTooBig ![TxOut era]
- | TriesToForgeADA
- | OutputTooBigUTxO ![TxOut era]
validateOutsideValidityIntervalUTxO ∷ AllegraEraTxBody era ⇒ SlotNo → TxBody era → Test (AllegraUtxoPredFailure era)
shelleyToAllegraUtxoPredFailure ∷ ShelleyUtxoPredFailure era → AllegraUtxoPredFailure era

Documentation

data AllegraUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO 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), ProtVerAtMost era 8, 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) ⇒ STS (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Associated Types type State (AllegraUTXO era) Source # type Signal (AllegraUTXO era) Source # type Environment (AllegraUTXO era) Source # type BaseM (AllegraUTXO era) ∷ Type → Type Source # type Event (AllegraUTXO era) Source # type PredicateFailure (AllegraUTXO era) Source # 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 era
type State (AllegraUTXO era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type State (AllegraUTXO era) = UTxOState era

data AllegraUtxoEvent era Source #

Constructors

UpdateEvent (Event (EraRule "PPUP" era))
TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin
TxUTxODiff	The UTxOs consumed and created by a signal tx
Fields (UTxO era) UTxO consumed (UTxO era) UTxO created

Instances

Instances details

Generic (AllegraUtxoEvent era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Associated Types type Rep (AllegraUtxoEvent era) ∷ Type → Type Source # Methods from ∷ AllegraUtxoEvent era → Rep (AllegraUtxoEvent era) x Source # to ∷ Rep (AllegraUtxoEvent era) x → AllegraUtxoEvent era Source #
(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 → () Source #
(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 Source # (/=) ∷ AllegraUtxoEvent era → AllegraUtxoEvent era → Bool Source #
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.4.1.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 (EraCrypto era) 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 AllegraUtxoPredFailure era Source #

Constructors

BadInputsUTxO !(Set (TxIn (EraCrypto era)))
OutsideValidityIntervalUTxO !ValidityInterval !SlotNo
MaxTxSizeUTxO !Integer !Integer
InputSetEmptyUTxO
FeeTooSmallUTxO !Coin !Coin
ValueNotConservedUTxO !(Value era) !(Value era)
WrongNetwork !Network !(Set (Addr (EraCrypto era)))
WrongNetworkWithdrawal !Network !(Set (RewardAccount (EraCrypto era)))
OutputTooSmallUTxO ![TxOut era]
UpdateFailure (EraRuleFailure "PPUP" era)
OutputBootAddrAttrsTooBig ![TxOut era]
TriesToForgeADA
OutputTooBigUTxO ![TxOut era]

Instances

Instances details

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXOW" (AllegraEra c) Source #
Generic (AllegraUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Associated Types type Rep (AllegraUtxoPredFailure era) ∷ Type → Type Source # Methods from ∷ AllegraUtxoPredFailure era → Rep (AllegraUtxoPredFailure era) x Source # to ∷ Rep (AllegraUtxoPredFailure era) x → AllegraUtxoPredFailure era Source #
(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 Source # show ∷ AllegraUtxoPredFailure era → String Source # showList ∷ [AllegraUtxoPredFailure era] → ShowS 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, Crypto (EraCrypto 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraUtxoPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraUtxoPredFailure era] → Size 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 → () Source #
(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 Source # (/=) ∷ AllegraUtxoPredFailure era → AllegraUtxoPredFailure era → Bool Source #
(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.4.1.0-inplace" 'False) (((C1 ('MetaCons "BadInputsUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era))))) :+: (C1 ('MetaCons "OutsideValidityIntervalUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "MaxTxSizeUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Value era)))))) :+: ((C1 ('MetaCons "WrongNetwork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Addr (EraCrypto era))))) :+: (C1 ('MetaCons "WrongNetworkWithdrawal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (RewardAccount (EraCrypto era))))) :+: C1 ('MetaCons "OutputTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era]))) :+: (C1 ('MetaCons "TriesToForgeADA" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut era]))))))

validateOutsideValidityIntervalUTxO ∷ AllegraEraTxBody era ⇒ SlotNo → TxBody era → Test (AllegraUtxoPredFailure era) Source #

Ensure the transaction is within the validity window.

ininterval slot (txvld tx)

shelleyToAllegraUtxoPredFailure ∷ ShelleyUtxoPredFailure era → AllegraUtxoPredFailure era Source #

Orphan instances

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPpupPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (AllegraEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #
(EraTx era, EraUTxO 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), ProtVerAtMost era 8, 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) ⇒ STS (AllegraUTXO era) Source #
Instance details Associated Types type State (AllegraUTXO era) Source # type Signal (AllegraUTXO era) Source # type Environment (AllegraUTXO era) Source # type BaseM (AllegraUTXO era) ∷ Type → Type Source # type Event (AllegraUTXO era) Source # type PredicateFailure (AllegraUTXO era) Source # 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 (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ Event (ShelleyPPUP era)) ⇒ Embed (ShelleyPPUP era) (AllegraUTXO era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (AllegraUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (AllegraUTXO era) Source #