Modulecardano-ledger-allegra-1.10.1.0
Cardano.Ledger.Allegra.Rules
Synopsis
- value shelleyToAllegraUtxoPredFailure
- value validateOutsideValidityIntervalUTxO
- data UTXO
- data UTXOW
- data AllegraUtxoEvent
- data AllegraUtxoPredFailure
- Packagecardano-ledger-allegra-1.10.1.0
- Exports6
- LicenceApache-2.0
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan"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)(Era era, STS (UTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"UTXO"
era) ~ AllegraUtxoPredFailure era, Event (EraRule"UTXO"
era) ~ Event (UTXO era)) => Embed (UTXO era) (UTXOW era)(Era era, STS (PPUP era), EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan"PPUP"
era ~ ShelleyPpupPredFailure era, Event (EraRule"PPUP"
era) ~ Event (PPUP era)) => Embed (PPUP era) (UTXO era)type BaseM (UTXO era) = ShelleyBaseDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype Environment (UTXO era) = UtxoEnv eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype Event (UTXO era) = AllegraUtxoEvent eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype PredicateFailure (UTXO era) = AllegraUtxoPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype Signal (UTXO era) = StAnnTx TopTx eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphantype State (UTXO era) = UTxOState eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
Instances9STS, Embed, BaseM, Environment, Event, PredicateFailure, …
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"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)(Era era, STS (UTXO era), PredicateFailure (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"UTXO"
era) ~ AllegraUtxoPredFailure era, Event (EraRule"UTXO"
era) ~ Event (UTXO era)) => Embed (UTXO era) (UTXOW era)(Era era, STS (UTXOW era), PredicateFailure (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"UTXOW"
era) ~ ShelleyUtxowPredFailure era, Event (EraRule"UTXOW"
era) ~ Event (UTXOW era)) => Embed (UTXOW era) (LEDGER era)type BaseM (UTXOW era) = ShelleyBaseDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype Environment (UTXOW era) = UtxoEnv eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype Event (UTXOW era) = ShelleyUtxowEvent eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype Signal (UTXOW era) = StAnnTx TopTx eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphantype State (UTXOW era) = UTxOState eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
Constructors
UpdateEvent (Event (EraRule"PPUP"
era))TotalDeposits (SafeHash EraIndependentTxBody) CoinTxUTxODiff (UTxO era) (UTxO era)
Instances4Eq, Generic, NFData, Rep
(Era era, Eq (TxOut era), Eq (Event (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era))) => Eq (AllegraUtxoEvent era)Generic (AllegraUtxoEvent era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo(Era era, NFData (TxOut era), NFData (Event (EraRuleDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era))) => NFData (AllegraUtxoEvent era)type Rep (AllegraUtxoEvent era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"AllegraUtxoEvent"
"Cardano.Ledger.Allegra.Rules.Utxo"
"cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2"
'False) (C1 ('MetaCons"UpdateEvent"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule"PPUP"
era)))) :+: (C1 ('MetaCons"TotalDeposits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons"TxUTxODiff"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))
Constructors
BadInputsUTxO (NonEmptySet TxIn)OutsideValidityIntervalUTxO ValidityInterval SlotNoMaxTxSizeUTxO (Mismatch RelLTEQ Word32)InputSetEmptyUTxOFeeTooSmallUTxO (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))
Instances9InjectRuleFailure, Eq, Show, Generic, NFData, DecCBOR, …
InjectRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan"UTXOW"
AllegraUtxoPredFailure AllegraEraInjectRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"UTXO"
AllegraUtxoPredFailure AllegraEra(Eq (TxOut era), Eq (Value era), Eq (EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era)) => Eq (AllegraUtxoPredFailure era)(Show (TxOut era), Show (Value era), Show (EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era)) => Show (AllegraUtxoPredFailure era)Generic (AllegraUtxoPredFailure era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo(Era era, NFData (TxOut era), NFData (Value era), NFData (EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era)) => NFData (AllegraUtxoPredFailure era)(EraTxOut era, DecCBOR (EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era)) => DecCBOR (AllegraUtxoPredFailure era)(Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (EraRuleFailureDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"PPUP"
era)) => EncCBOR (AllegraUtxoPredFailure era)type Rep (AllegraUtxoPredFailure era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo"AllegraUtxoPredFailure"
"Cardano.Ledger.Allegra.Rules.Utxo"
"cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2"
'False) (((C1 ('MetaCons"BadInputsUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet TxIn))) :+: (C1 ('MetaCons"OutsideValidityIntervalUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidityInterval) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons"MaxTxSizeUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelLTEQ Word32))))) :+: (C1 ('MetaCons"InputSetEmptyUTxO"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"FeeTooSmallUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelGTEQ Coin))) :+: C1 ('MetaCons"ValueNotConservedUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch RelEQ (Value era))))))) :+: ((C1 ('MetaCons"WrongNetwork"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet Addr))) :+: (C1 ('MetaCons"WrongNetworkWithdrawal"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySet AccountAddress))) :+: C1 ('MetaCons"OutputTooSmallUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))) :+: (C1 ('MetaCons"UpdateFailure"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EraRuleFailure"PPUP"
era))) :+: (C1 ('MetaCons"OutputBootAddrAttrsTooBig"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))) :+: C1 ('MetaCons"OutputTooBigUTxO"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era))))))))