Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.TxBody

Synopsis

value allSizedOutputsBabbageTxBodyF
value babbageAllInputsTxBodyF
value babbageSpendableInputsTxBodyF
value babbageMinUTxOValue
value getEitherAddrBabbageTxOut
type ScriptIntegrityHash
class BabbageEraTxBody
data BabbageTxBodyRaw
data BabbageTxOut
pattern BabbageTxOut
pattern TxOutCompact
pattern TxOutCompactDH
family TxBody
pattern BabbageTxBody
constructor MkBabbageTxBody
value btbAuxDataHash
value btbCerts
value btbCollateral
value btbCollateralReturn
value btbInputs
value btbMint
value btbOutputs
value btbReferenceInputs
value btbReqSignerHashes
value btbScriptIntegrityHash
value btbTotalCollateral
value btbTxFee
value btbTxNetworkId
value btbUpdate
value btbValidityInterval
value btbWithdrawals
data EraIndependentScriptIntegrity

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-LQI6qsZPaAxIU6S3WezBmC" '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-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 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-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 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