Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.TxBody

4 types
1 class
21 values

Packagecardano-ledger-babbage-1.14.0.0
Exports32
LicenceApache-2.0

valueallSizedOutputsBabbageTxBodyF :: BabbageEraTxBody era => SimpleGetter (TxBody TopTx era) (StrictSeq (Sized (TxOut era)))

valuebabbageAllInputsTxBodyF :: BabbageEraTxBody era => SimpleGetter (TxBody TopTx era) (Set TxIn)

valuebabbageSpendableInputsTxBodyF :: BabbageEraTxBody era => SimpleGetter (TxBody TopTx era) (Set TxIn)

valuebabbageMinUTxOValue

:: BabbageEraPParams era
=> PParams era
-> Sized a
-> Coin

valuegetEitherAddrBabbageTxOut :: BabbageTxOut era -> Either Addr CompactAddr

typetype ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity

classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where

Methods

sizedOutputsTxBodyL :: Lens' (TxBody l era) (StrictSeq (Sized (TxOut era)))
referenceInputsTxBodyL :: Lens' (TxBody l era) (Set TxIn)
totalCollateralTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe Coin)
collateralReturnTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (TxOut era))
sizedCollateralReturnTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (Sized (TxOut era)))
allSizedOutputsTxBodyF :: SimpleGetter (TxBody l era) (StrictSeq (Sized (TxOut era)))

Instances1BabbageEraTxBody

BabbageEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody

datadata BabbageTxBodyRaw (l :: TxLevel) era where

Constructors

BabbageTxBodyRaw :: !Set TxIn -> !Set TxIn -> !Set TxIn -> !StrictSeq (Sized (TxOut era)) -> !StrictMaybe (Sized (TxOut era)) -> !StrictMaybe Coin -> !StrictSeq (TxCert era) -> !Withdrawals -> !Coin -> !ValidityInterval -> !StrictMaybe (Update era) -> !Set (KeyHash Guard) -> !MultiAsset -> !StrictMaybe ScriptIntegrityHash -> !StrictMaybe TxAuxDataHash -> !StrictMaybe Network -> BabbageTxBodyRaw TopTx era
- btbrInputs :: !Set TxIn
- btbrCollateralInputs :: !Set TxIn
- btbrReferenceInputs :: !Set TxIn
- btbrOutputs :: !StrictSeq (Sized (TxOut era))
- btbrCollateralReturn :: !StrictMaybe (Sized (TxOut era))
- btbrTotalCollateral :: !StrictMaybe Coin
- btbrCerts :: !StrictSeq (TxCert era)
- btbrWithdrawals :: !Withdrawals
- btbrFee :: !Coin
- btbrValidityInterval :: !ValidityInterval
- btbrUpdate :: !StrictMaybe (Update era)
- btbrReqSignerHashes :: !Set (KeyHash Guard)
- btbrMint :: !MultiAsset
- btbrScriptIntegrityHash :: !StrictMaybe ScriptIntegrityHash
- btbrAuxDataHash :: !StrictMaybe TxAuxDataHash
- btbrNetworkId :: !StrictMaybe Network

Instances10HasEraTxLevel, Eq, Show, NFData, NoThunks, DecCBOR, …

HasEraTxLevel BabbageTxBodyRaw BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
Typeable l => DecCBOR (Annotator (BabbageTxBodyRaw l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
Eq (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
Show (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
NFData (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
Typeable l => NoThunks (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
Typeable l => DecCBOR (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
EncCBOR (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
EqRaw (BabbageTxBodyRaw l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
type MemoHashIndex (BabbageTxBodyRaw l era) = EraIndependentTxBodyDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody

datadata BabbageTxOut era

Constructors

TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)

Instances13Eq, Show, Generic, NFData, ToJSON, MemPack, …

(Era era, Eq (Script era), Eq (CompactForm (Value era))) => Eq (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Show (Script era), Val (Value era)) => Show (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
Generic (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
NFData (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Val (Value era), ToJSON (Script era)) => ToJSON (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) => MemPack (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, NoThunks (Script era), Val (Value era)) => NoThunks (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era)) => DecCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) => DecShareCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era)) => EncCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Val (Value era), ToJSON (Script era)) => ToKeyValuePairs (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DataHash32))))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
type Share (BabbageTxOut era) = Interns (Credential Staking)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut

pattern

pattern BabbageTxOut :: (Era era, Val (Value era), HasCallStack) => Addr -> Value era -> Datum era -> StrictMaybe (Script era) -> BabbageTxOut era

pattern

pattern TxOutCompact :: (Era era, Val (Value era), Compactible (Value era), HasCallStack) => CompactAddr -> CompactForm (Value era) -> BabbageTxOut era

pattern

pattern TxOutCompactDH :: (Era era, Val (Value era), Compactible (Value era), HasCallStack) => CompactAddr -> CompactForm (Value era) -> DataHash -> BabbageTxOut era

familydata family TxBody (l :: TxLevel) era

Instances81HasEraTxLevel, 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 BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra) EraIndependentTxBodyDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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-CrQS1ZJSGfrBK4W3kaLbYJ" '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-IAMfW3LYKkAJgcpNx6tltO" '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 BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh" '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-FBmICzj0TLXDG7I9pVlx3P" '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 BabbageEra
- MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageEra) = BabbageTxBodyRaw l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.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 BabbageTxBody :: Set TxIn -> Set TxIn -> Set TxIn -> StrictSeq (Sized (TxOut BabbageEra)) -> StrictMaybe (Sized (TxOut BabbageEra)) -> StrictMaybe Coin -> StrictSeq (TxCert BabbageEra) -> Withdrawals -> Coin -> ValidityInterval -> StrictMaybe (Update BabbageEra) -> Set (KeyHash Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> TxBody TopTx BabbageEra

constructorMkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

valuebtbAuxDataHash :: TxBody TopTx BabbageEra -> StrictMaybe TxAuxDataHash

valuebtbCerts :: TxBody TopTx BabbageEra -> StrictSeq (TxCert BabbageEra)

valuebtbCollateral :: TxBody TopTx BabbageEra -> Set TxIn

valuebtbCollateralReturn

:: TxBody TopTx BabbageEra
-> StrictMaybe (Sized (TxOut BabbageEra))

valuebtbInputs :: TxBody TopTx BabbageEra -> Set TxIn

valuebtbMint :: TxBody TopTx BabbageEra -> MultiAsset

valuebtbOutputs

:: TxBody TopTx BabbageEra
-> StrictSeq (Sized (TxOut BabbageEra))

valuebtbReferenceInputs :: TxBody TopTx BabbageEra -> Set TxIn

valuebtbReqSignerHashes :: TxBody TopTx BabbageEra -> Set (KeyHash Guard)

valuebtbScriptIntegrityHash

:: TxBody TopTx BabbageEra
-> StrictMaybe ScriptIntegrityHash

valuebtbTotalCollateral :: TxBody TopTx BabbageEra -> StrictMaybe Coin

valuebtbTxFee :: TxBody TopTx BabbageEra -> Coin

valuebtbTxNetworkId :: TxBody TopTx BabbageEra -> StrictMaybe Network

valuebtbUpdate :: TxBody TopTx BabbageEra -> StrictMaybe (Update BabbageEra)

valuebtbValidityInterval :: TxBody TopTx BabbageEra -> ValidityInterval

valuebtbWithdrawals :: TxBody TopTx BabbageEra -> Withdrawals

datadata EraIndependentScriptIntegrity

Instances1HashAnnotated

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

Orphan instances

18 instances

EraTxBody BabbageEra
ShelleyEraTxBody BabbageEra
AllegraEraTxBody BabbageEra
MaryEraTxBody BabbageEra
AlonzoEraTxBody BabbageEra
HasEraTxLevel TxBody BabbageEra
Typeable l => DecCBOR (Annotator (TxBody l BabbageEra))
Eq (TxBody l BabbageEra)
Show (TxBody l BabbageEra)
Generic (TxBody l BabbageEra)
NFData (TxBody l BabbageEra)
Typeable l => NoThunks (TxBody l BabbageEra)
Typeable l => ToCBOR (TxBody l BabbageEra)
EncCBOR (TxBody l BabbageEra)
SafeToHash (TxBody l BabbageEra)
EqRaw (TxBody l BabbageEra)
Memoized (TxBody l BabbageEra)
HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody