Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.TxBody

6 types
6 classes
24 values

Packagecardano-ledger-alonzo-1.16.0.0
Exports42
LicenceApache-2.0

valuealonzoRedeemerPointer

:: MaryEraTxBody era
=> TxBody l era
-> AlonzoPlutusPurpose AsItem era
-> StrictMaybe (AlonzoPlutusPurpose AsIx era)

valuealonzoRedeemerPointerInverse

:: MaryEraTxBody era
=> TxBody l era
-> AlonzoPlutusPurpose AsIx era
-> StrictMaybe (AlonzoPlutusPurpose AsIxItem era)

valuedecodeAddress28 :: Credential Staking -> Addr28Extra -> Addr

valuedecodeDataHash32 :: DataHash32 -> DataHash

valueencodeAddress28 :: Network -> Credential Payment -> Addr28Extra

valueencodeDataHash32 :: DataHash -> DataHash32

valuegetAdaOnly

:: Val (Value era)
=> Proxy era
-> Value era
-> Maybe (CompactForm Coin)

valuegetAlonzoTxOutEitherAddr :: AlonzoTxOut era -> Either Addr CompactAddr

valueutxoEntrySize :: AlonzoEraTxOut era => TxOut era -> Integer

valueviewCompactTxOut

:: Val (Value era)
=> AlonzoTxOut era
-> (CompactAddr, CompactForm (Value era), StrictMaybe DataHash)

valueviewTxOut

:: Val (Value era)
=> AlonzoTxOut era
-> (Addr, Value era, StrictMaybe DataHash)

classclass EraTxBody era => AllegraEraTxBody era where

Methods

vldtTxBodyL :: Lens' (TxBody l era) ValidityInterval

Instances3AllegraEraTxBody

AllegraEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
AllegraEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
AllegraEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan

classclass (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where

Methods

collateralInputsTxBodyL :: Lens' (TxBody TopTx era) (Set TxIn)
reqSignerHashesTxBodyL :: AtMostEra "Conway" era => Lens' (TxBody l era) (Set (KeyHash Guard))
reqSignerHashesTxBodyG :: SimpleGetter (TxBody l era) (Set (KeyHash Guard))
scriptIntegrityHashTxBodyL :: Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash)
networkIdTxBodyL :: Lens' (TxBody l era) (StrictMaybe Network)
redeemerPointer :: TxBody l era -> PlutusPurpose AsItem era -> StrictMaybe (PlutusPurpose AsIx era)
redeemerPointerInverse :: TxBody l era -> PlutusPurpose AsIx era -> StrictMaybe (PlutusPurpose AsIxItem era)

Instances1AlonzoEraTxBody

AlonzoEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody

datadata AlonzoTxBodyRaw (l :: TxLevel) era where

Constructors

AlonzoTxBodyRaw :: !Set TxIn -> !Set TxIn -> !StrictSeq (TxOut era) -> !StrictSeq (TxCert era) -> !Withdrawals -> !Coin -> !ValidityInterval -> !StrictMaybe (Update era) -> !Set (KeyHash Guard) -> !MultiAsset -> !StrictMaybe ScriptIntegrityHash -> !StrictMaybe TxAuxDataHash -> !StrictMaybe Network -> AlonzoTxBodyRaw TopTx era
- atbrInputs :: !Set TxIn
- atbrCollateral :: !Set TxIn
- atbrOutputs :: !StrictSeq (TxOut era)
- atbrCerts :: !StrictSeq (TxCert era)
- atbrWithdrawals :: !Withdrawals
- atbrTxFee :: !Coin
- atbrValidityInterval :: !ValidityInterval
- atbrUpdate :: !StrictMaybe (Update era)
- atbrReqSignerHashes :: !Set (KeyHash Guard)
- atbrMint :: !MultiAsset
- atbrScriptIntegrityHash :: !StrictMaybe ScriptIntegrityHash
- atbrAuxDataHash :: !StrictMaybe TxAuxDataHash
- atbrTxNetworkId :: !StrictMaybe Network

Instances9HasEraTxLevel, Eq, Show, NFData, NoThunks, DecCBOR, …

HasEraTxLevel AlonzoTxBodyRaw AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Typeable l => DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Eq (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Show (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
(NFData (TxOut era), NFData (TxCert era), NFData (PParamsHKD StrictMaybe era)) => NFData (AlonzoTxBodyRaw l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Typeable l => NoThunks (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Typeable l => DecCBOR (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
EncCBOR (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
type MemoHashIndex (AlonzoTxBodyRaw l era) = EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody

classclass Indexable elem container where

Methods

indexOf :: AsItem Word32 elem -> container -> StrictMaybe (AsIx Word32 elem)
fromIndex :: AsIx Word32 elem -> container -> StrictMaybe (AsIxItem Word32 elem)

Instances4Indexable

Eq k => Indexable k (StrictSeq k)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Ord k => Indexable k (OSet k)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Ord k => Indexable k (Set k)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Ord k => Indexable k (Map k v)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody

typetype ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity

datadata Addr28Extra

Instances6Eq, Show, Generic, MemPack, NoThunks, Rep

Eq Addr28ExtraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Show Addr28ExtraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Generic Addr28ExtraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
MemPack Addr28ExtraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NoThunks Addr28ExtraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "Addr28Extra" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut

classclass (AlonzoEraPParams era, EraTxOut era) => AlonzoEraTxOut era where

Methods

dataHashTxOutL :: Lens' (TxOut era) (StrictMaybe DataHash)
datumTxOutF :: SimpleGetter (TxOut era) (Datum era)

Instances1AlonzoEraTxOut

AlonzoEraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut

datadata AlonzoTxOut era

Constructors

TxOutCompact' !CompactAddr !(CompactForm (Value era))
TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
TxOut_AddrHash28_AdaOnly !(Credential Staking) !Addr28Extra !(CompactForm Coin)
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential Staking) !Addr28Extra !(CompactForm Coin) !DataHash32

Instances12Eq, Show, Generic, NFData, ToJSON, MemPack, …

(Eq (Value era), Compactible (Value era)) => Eq (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => Show (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Generic (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NFData (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => ToJSON (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, MemPack (CompactForm (Value era))) => MemPack (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NoThunks (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => DecCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era), MemPack (CompactForm (Value era))) => DecShareCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => EncCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" '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 "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-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Share (AlonzoTxOut era) = Interns (Credential Staking)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut

pattern

pattern AlonzoTxOut :: (Era era, Val (Value era), HasCallStack) => Addr -> Value era -> StrictMaybe DataHash -> AlonzoTxOut era

pattern

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

pattern

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

datadata DataHash32

Instances6Eq, Show, Generic, MemPack, NoThunks, Rep

Eq DataHash32Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Show DataHash32Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Generic DataHash32Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
MemPack DataHash32Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NoThunks DataHash32Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "DataHash32" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut

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-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 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 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

constructorMkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

valueatbAuxDataHash :: TxBody TopTx AlonzoEra -> StrictMaybe TxAuxDataHash

valueatbCerts :: TxBody TopTx AlonzoEra -> StrictSeq (TxCert AlonzoEra)

valueatbCollateral :: TxBody TopTx AlonzoEra -> Set TxIn

valueatbInputs :: TxBody TopTx AlonzoEra -> Set TxIn

valueatbMint :: TxBody TopTx AlonzoEra -> MultiAsset

valueatbOutputs :: TxBody TopTx AlonzoEra -> StrictSeq (TxOut AlonzoEra)

valueatbReqSignerHashes :: TxBody TopTx AlonzoEra -> Set (KeyHash Guard)

valueatbScriptIntegrityHash

:: TxBody TopTx AlonzoEra
-> StrictMaybe ScriptIntegrityHash

valueatbTxFee :: TxBody TopTx AlonzoEra -> Coin

valueatbTxNetworkId :: TxBody TopTx AlonzoEra -> StrictMaybe Network

valueatbUpdate :: TxBody TopTx AlonzoEra -> StrictMaybe (Update AlonzoEra)

valueatbValidityInterval :: TxBody TopTx AlonzoEra -> ValidityInterval

valueatbWithdrawals :: TxBody TopTx AlonzoEra -> Withdrawals

datadata EraIndependentScriptIntegrity

Instances1HashAnnotated

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

classclass AllegraEraTxBody era => MaryEraTxBody era where

Methods

mintTxBodyL :: Lens' (TxBody l era) MultiAsset
mintedTxBodyF :: SimpleGetter (TxBody l era) (Set PolicyID)
mintValueTxBodyF :: SimpleGetter (TxBody l era) (Value era)

Instances2MaryEraTxBody

MaryEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
MaryEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody

classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where

Methods

ttlTxBodyL :: ExactEra ShelleyEra era => Lens' (TxBody TopTx era) SlotNo
updateTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (Update era))

Instances4ShelleyEraTxBody

ShelleyEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
ShelleyEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
ShelleyEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
ShelleyEraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

Orphan instances

17 instances

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