Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Rules

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 !(Mismatch 'RelLTEQ Integer)
- | InputSetEmptyUTxO
- | FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
- | ValueNotConservedUTxO !(Mismatch 'RelEQ (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
data AllegraUTXOW 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 (produced)

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.6.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 !(Mismatch 'RelLTEQ Integer)
InputSetEmptyUTxO
FeeTooSmallUTxO !(Mismatch 'RelGTEQ Coin)
ValueNotConservedUTxO !(Mismatch 'RelEQ (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.6.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 (Mismatch 'RelLTEQ Integer))))) :+: (C1 ('MetaCons "InputSetEmptyUTxO" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "FeeTooSmallUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelGTEQ Coin))) :+: C1 ('MetaCons "ValueNotConservedUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mismatch 'RelEQ (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 #

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 era, EraRule "UTXOW" era ~ AllegraUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody)) ⇒ STS (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow Associated Types type State (AllegraUTXOW era) Source # type Signal (AllegraUTXOW era) Source # type Environment (AllegraUTXOW era) Source # type BaseM (AllegraUTXOW era) ∷ Type → Type Source # type Event (AllegraUTXOW era) Source # type PredicateFailure (AllegraUTXOW era) Source # 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 era
type State (AllegraUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type State (AllegraUTXOW era) = UTxOState era