Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.Tx

Synopsis

value getLanguageView
pattern IsValid
value alonzoMinFeeTx
value alonzoTxEqRaw
value atIsValid
value auxDataAlonzoTxL
value bodyAlonzoTxL
value hashScriptIntegrity
value isPhase2ValidAlonzoTxL
value isValidAlonzoTxL
value mkBasicAlonzoTx
value mkScriptIntegrity
value sizeAlonzoTxF
value toCBORForMempoolSubmission
value toCBORForSizeComputation
value totExUnits
value witsAlonzoTxL
value hashData
value nonNativeLanguages
value txouts
class AlonzoEraTx
data AlonzoStAnnTx
data AlonzoTx
data IsPhase2Valid
type IsValid
data ScriptIntegrity
type ScriptIntegrityHash
value txrdmrs
family Tx
constructor MkAllegraTx
value unAllegraTx
constructor MkAlonzoTx
value unAlonzoTx
constructor MkMaryTx
value unMaryTx
constructor MkShelleyTx
value unShelleyTx
family TxBody
pattern AlonzoTxBody
type DataHash
data EraIndependentScriptIntegrity
data CostModel
newtype Data

Packagecardano-ledger-alonzo-1.16.0.0
Exports43
LicenceApache-2.0

valuegetLanguageView

:: AlonzoEraPParams era
=> PParams era
-> Language
-> LangDepView

patternpattern IsValid :: Bool -> IsPhase2Valid

Deprecated. In favor of IsPhase2Valid

valuealonzoMinFeeTx

:: (EraTx era, AlonzoEraTxWits era, AlonzoEraPParams era)
=> PParams era
-> Tx l era
-> Coin

valuealonzoTxEqRaw

:: (AlonzoEraTx era, STxLevel l era ~ STxTopLevel l era)
=> Tx l era
-> Tx l era
-> Bool

valueatIsValid :: AlonzoTx TopTx era -> IsPhase2Valid

Deprecated. In favor of atIsPhase2Valid

valueauxDataAlonzoTxL

:: Functor f
=> StrictMaybe (TxAuxData era) -> f (StrictMaybe (TxAuxData era))
-> AlonzoTx l era
-> f (AlonzoTx l era)

valuebodyAlonzoTxL

:: Functor f
=> TxBody l era -> f (TxBody l era)
-> AlonzoTx l era
-> f (AlonzoTx l era)

valuehashScriptIntegrity :: Era era => ScriptIntegrity era -> ScriptIntegrityHash

valueisPhase2ValidAlonzoTxL

:: Functor f
=> IsPhase2Valid -> f IsPhase2Valid
-> AlonzoTx l era
-> f (AlonzoTx l era)

valueisValidAlonzoTxL

:: Functor f
=> IsPhase2Valid -> f IsPhase2Valid
-> AlonzoTx l era
-> f (AlonzoTx l era)

Deprecated. In favor of isPhase2ValidAlonzoTxL

valuemkBasicAlonzoTx

:: (EraTx era, STxLevel l era ~ STxTopLevel l era)
=> TxBody l era
-> AlonzoTx l era

valuemkScriptIntegrity

:: (EraTx era, AlonzoEraPParams era, AlonzoEraTxWits era)
=> PParams era
-> Tx l era
-> Set Language
-> StrictMaybe (ScriptIntegrity era)

valuesizeAlonzoTxF :: (HasCallStack, EraTx era) => SimpleGetter (AlonzoTx l era) Word32

valuetoCBORForMempoolSubmission

:: (EncCBOR (TxBody l era), EncCBOR (TxWits era), EncCBOR (TxAuxData era))
=> AlonzoTx l era
-> Encoding

valuetoCBORForSizeComputation

:: (EncCBOR (TxBody l era), EncCBOR (TxWits era), EncCBOR (TxAuxData era))
=> AlonzoTx l era
-> Encoding

valuetotExUnits :: (EraTx era, AlonzoEraTxWits era) => Tx l era -> ExUnits

valuewitsAlonzoTxL

:: Functor f
=> TxWits era -> f (TxWits era)
-> AlonzoTx l era
-> f (AlonzoTx l era)

valuehashData :: Data era -> DataHash

valuenonNativeLanguages :: [Language]

valuetxouts :: EraTxBody era => TxBody l era -> UTxO era

class

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era, AlonzoEraTxAuxData era) => AlonzoEraTx era where

Methods

isPhase2ValidTxL :: Lens' (Tx TopTx era) IsPhase2Valid
isValidTxL :: Lens' (Tx TopTx era) IsPhase2Valid

Instances1AlonzoEraTx

AlonzoEraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

datadata AlonzoStAnnTx (l :: TxLevel) era where

Constructors

AlonzoStAnnTx :: !Tx TopTx era -> ScriptsNeeded era -> ScriptsProvided era -> Set Language -> Map ScriptHash (SupportedPlutusRunnable era) -> Either (NonEmpty (CollectError era)) [PlutusWithContext] -> AlonzoStAnnTx TopTx era
- asatTx :: !Tx TopTx era
- asatScriptsNeeded :: ScriptsNeeded era
- asatScriptsProvided :: ScriptsProvided era
- asatPlutusLanguagesUsed :: Set Language
- asatPlutusRunnableCache :: Map ScriptHash (SupportedPlutusRunnable era)
- asatPlutusScriptsWithContext :: Either (NonEmpty (CollectError era)) [PlutusWithContext]

Instances4HasEraTxLevel, Eq, Show, NFData

(EraTxLevel era, STxLevel TopTx era ~ STxTopLevel TopTx era) => HasEraTxLevel AlonzoStAnnTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, Eq (Tx l era), Eq (ScriptsNeeded era), Eq (ScriptsProvided era), Eq (ContextError era)) => Eq (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, Show (Tx l era), Show (ScriptsNeeded era), Show (ScriptsProvided era), Show (ContextError era)) => Show (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, NFData (Tx l era), NFData (ScriptsNeeded era), NFData (ScriptsProvided era), NFData (ContextError era)) => NFData (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

datadata AlonzoTx (l :: TxLevel) era where

Constructors

AlonzoTx :: !TxBody TopTx era -> !TxWits era -> !IsPhase2Valid -> !StrictMaybe (TxAuxData era) -> AlonzoTx TopTx era
- atBody :: !TxBody TopTx era
- atWits :: !TxWits era
- atIsPhase2Valid :: !IsPhase2Valid
- atAuxData :: !StrictMaybe (TxAuxData era)

Instances7DecCBOR, Eq, Show, NFData, NoThunks, ToCBOR, …

(Typeable l, Era era, Typeable (TxBody l era), Typeable (TxWits era), Typeable (TxAuxData era), DecCBOR (Annotator (TxBody l era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) => DecCBOR (Annotator (AlonzoTx l era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) => Eq (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Era era, Show (TxBody l era), Show (TxAuxData era), Show (Script era), Show (TxWits era)) => Show (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Era era, NFData (TxWits era), NFData (TxAuxData era), NFData (TxBody l era)) => NFData (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Typeable era, Typeable l) => NoThunks (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era), Typeable l) => ToCBOR (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) => EncCBOR (AlonzoTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

datadata IsPhase2Valid

Phase2Invalid Phase2Valid

Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Show IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Generic IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Semigroup IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Monoid IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
NFData IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
FromJSON IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
ToJSON IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
NoThunks IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
ToCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
DecCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
EncCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) U1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

typetype IsValid = IsPhase2Valid

Deprecated. In favor of IsPhase2Valid

datadata ScriptIntegrity era

Constructors

ScriptIntegrity !(Redeemers era) !(TxDats era) !(Set LangDepView)

Instances7Eq, Show, Generic, NoThunks, SafeToHash, HashAnnotated, …

AlonzoEraScript era => Eq (ScriptIntegrity era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
AlonzoEraScript era => Show (ScriptIntegrity era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Generic (ScriptIntegrity era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
AlonzoEraScript era => NoThunks (ScriptIntegrity era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Era era => SafeToHash (ScriptIntegrity era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Era era => HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrityDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
type Rep (ScriptIntegrity era) = D1 ('MetaData "ScriptIntegrity" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "ScriptIntegrity" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set LangDepView)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

typetype ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity

valuetxrdmrs :: AlonzoEraScript era => AlonzoTxWits era -> Redeemers era

familydata family Tx (l :: TxLevel) era

Instances55HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …

HasEraTxLevel Tx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
HasEraTxLevel Tx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
HasEraTxLevel Tx MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra (Tx TopTx)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra MaryEra (Tx TopTx)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
EraTx era => HasOKey TxId (Tx l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (Tx l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Eq (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Eq (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Show (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Show (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Generic (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Generic (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
NFData (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
NFData (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => NoThunks (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => NoThunks (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => NoThunks (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => ToCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => ToCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => ToCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EncCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EncCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EqRaw (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EqRaw (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.0.0-KJG8vrj48Bd5Cke8e4rFyC" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
data Tx l AlonzoEra
- MkAlonzoTxunAlonzoTx :: AlonzoTx l AlonzoEra
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx t AllegraEra
- MkAllegraTxunAllegraTx :: ShelleyTx t AllegraEra
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
data Tx t MaryEra
- MkMaryTxunMaryTx :: ShelleyTx t MaryEra
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError MaryEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

constructorMkAllegraTx

Fields

unAllegraTx :: ShelleyTx t AllegraEra

valueunAllegraTx :: Tx t AllegraEra -> ShelleyTx t AllegraEra

constructorMkAlonzoTx

Fields

unAlonzoTx :: AlonzoTx l AlonzoEra

valueunAlonzoTx :: Tx l AlonzoEra -> AlonzoTx l AlonzoEra

constructorMkMaryTx

Fields

unMaryTx :: ShelleyTx t MaryEra

valueunMaryTx :: Tx t MaryEra -> ShelleyTx t MaryEra

constructorMkShelleyTx

Fields

unShelleyTx :: ShelleyTx l ShelleyEra

valueunShelleyTx :: Tx l ShelleyEra -> ShelleyTx l ShelleyEra

familydata family TxBody (l :: TxLevel) era

Instances65HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HasEraTxLevel TxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
HasEraTxLevel TxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (TxBody l AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Eq (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Eq (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Show (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Show (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Generic (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Generic (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
NFData (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
NFData (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => NoThunks (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => NoThunks (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => NoThunks (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => ToCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => ToCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => ToCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EncCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EncCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EncCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
SafeToHash (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
SafeToHash (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EqRaw (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EqRaw (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Memoized (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Memoized (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
HashAnnotated (TxBody l MaryEra) EraIndependentTxBodyDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.0.0-KJG8vrj48Bd5Cke8e4rFyC" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
data TxBody l AllegraEra
- MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
data TxBody l AlonzoEra
- MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
data TxBody l MaryEra
- MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

pattern

pattern AlonzoTxBody :: Set TxIn -> Set TxIn -> StrictSeq (TxOut AlonzoEra) -> StrictSeq (TxCert AlonzoEra) -> Withdrawals -> Coin -> ValidityInterval -> StrictMaybe (Update AlonzoEra) -> Set (KeyHash Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> TxBody TopTx AlonzoEra

typetype DataHash = SafeHash EraIndependentData

datadata EraIndependentScriptIntegrity

Instances1HashAnnotated

Era era => HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrityDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

datadata CostModel

Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :*: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :*: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype Data era

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => FromJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => NoThunks (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => ToCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Annotator (Data era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => EncCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type RawType (Data era) = PlutusData eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

Orphan instances

11 instances

EraTx AlonzoEra
HasEraTxLevel Tx AlonzoEra
Typeable l => DecCBOR (Annotator (Tx l AlonzoEra))
Eq (Tx l AlonzoEra)
Show (Tx l AlonzoEra)
Generic (Tx l AlonzoEra)
NFData (Tx l AlonzoEra)
Typeable l => NoThunks (Tx l AlonzoEra)
Typeable l => ToCBOR (Tx l AlonzoEra)
EncCBOR (Tx l AlonzoEra)
EqRaw (Tx l AlonzoEra)