Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.TxBody

2 types
1 class
9 values

Packagecardano-ledger-shelley-1.19.0.1
Exports16
LicenceApache-2.0

patternpattern RewardAccount :: Network -> Credential Staking -> AccountAddress

Deprecated. In favor of AccountAddress

valuegetShelleyGenesisKeyHashCountTxBody

:: ShelleyEraTxBody era
=> TxBody TopTx era
-> Int

familydata family TxBody (l :: TxLevel) era

Instances17HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

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 ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.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 ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.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 ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.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 ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

constructorMkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

pattern

pattern ShelleyTxBody :: Set TxIn -> StrictSeq (TxOut ShelleyEra) -> StrictSeq (TxCert ShelleyEra) -> Withdrawals -> Coin -> SlotNo -> StrictMaybe (Update ShelleyEra) -> StrictMaybe TxAuxDataHash -> TxBody TopTx ShelleyEra

valuestbCerts :: TxBody TopTx ShelleyEra -> StrictSeq (TxCert ShelleyEra)

valuestbInputs :: TxBody TopTx ShelleyEra -> Set TxIn

valuestbMDHash :: TxBody TopTx ShelleyEra -> StrictMaybe TxAuxDataHash

valuestbOutputs :: TxBody TopTx ShelleyEra -> StrictSeq (TxOut ShelleyEra)

valuestbTTL :: TxBody TopTx ShelleyEra -> SlotNo

valuestbTxFee :: TxBody TopTx ShelleyEra -> Coin

valuestbUpdate :: TxBody TopTx ShelleyEra -> StrictMaybe (Update ShelleyEra)

valuestbWithdrawals :: TxBody TopTx ShelleyEra -> Withdrawals

datadata EraIndependentTxBody

Instances1HashAnnotated

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

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

Instances1ShelleyEraTxBody

ShelleyEraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

datadata ShelleyTxBodyRaw (l :: TxLevel) era where

Constructors

ShelleyTxBodyRaw :: !Set TxIn -> !StrictSeq (TxOut era) -> !StrictSeq (TxCert era) -> !Withdrawals -> !Coin -> !SlotNo -> !StrictMaybe (Update era) -> !StrictMaybe TxAuxDataHash -> ShelleyTxBodyRaw TopTx era
- stbrInputs :: !Set TxIn
- stbrOutputs :: !StrictSeq (TxOut era)
- stbrCerts :: !StrictSeq (TxCert era)
- stbrWithdrawals :: !Withdrawals
- stbrFee :: !Coin
- stbrTtl :: !SlotNo
- stbrUpdate :: !StrictMaybe (Update era)
- stbrAuxDataHash :: !StrictMaybe TxAuxDataHash

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

HasEraTxLevel ShelleyTxBodyRaw ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
Typeable l => DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EraTxBody era => Eq (ShelleyTxBodyRaw l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EraTxBody era => Show (ShelleyTxBodyRaw l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EraTxBody era => NFData (ShelleyTxBodyRaw t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
(Typeable era, Typeable l) => NoThunks (ShelleyTxBodyRaw l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
Typeable l => DecCBOR (ShelleyTxBodyRaw l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EraTxBody era => EncCBOR (ShelleyTxBodyRaw l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
type MemoHashIndex (ShelleyTxBodyRaw t era) = EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

Orphan instances

14 instances

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