Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Rules

Synopsis

data AllegraUTXO era
data AllegraUtxoEvent era
- = UpdateEvent (Event (EraRule "PPUP" era))
- | TotalDeposits (SafeHash EraIndependentTxBody) Coin
- | TxUTxODiff (UTxO era) (UTxO era)
data AllegraUtxoPredFailure era
- = BadInputsUTxO (Set TxIn)
- | OutsideValidityIntervalUTxO ValidityInterval SlotNo
- | MaxTxSizeUTxO (Mismatch 'RelLTEQ Integer)
- | 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]
- | 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, EraCertState 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 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 # Methods from ∷ AllegraUtxoEvent era → Rep (AllegraUtxoEvent era) x # to ∷ Rep (AllegraUtxoEvent era) x → AllegraUtxoEvent era #
(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 → () #
(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.7.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 AllegraUtxoPredFailure era Source #

Constructors

BadInputsUTxO (Set TxIn)
OutsideValidityIntervalUTxO ValidityInterval SlotNo
MaxTxSizeUTxO (Mismatch 'RelLTEQ Integer)
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]
TriesToForgeADA
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 #
Generic (AllegraUtxoPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo Associated Types type Rep (AllegraUtxoPredFailure era) ∷ Type → Type # 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 #
(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 # 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 → () #
(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.7.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 Integer))))) :+: (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 "TriesToForgeADA" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "OutputTooBigUTxO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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, EraCertState era) ⇒ 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