Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.Tx

1 type
8 values

Packagecardano-ledger-shelley-1.19.0.1
Exports11
LicenceApache-2.0

valueauxDataShelleyTxL

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

valuebodyShelleyTxL

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

valuemkBasicShelleyTx

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

valueshelleyMinFeeTx :: EraTx era => PParams era -> Tx l era -> Coin

valueshelleyTxEqRaw :: EraTx era => Tx l era -> Tx l era -> Bool

valuesizeShelleyTxF :: (HasCallStack, EraTx era) => SimpleGetter (ShelleyTx l era) Word32

valuewitsShelleyTxL

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

familydata family Tx (l :: TxLevel) era

Instances13HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · 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 ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" '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
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

constructorMkShelleyTx

Fields

unShelleyTx :: ShelleyTx l ShelleyEra

valueunShelleyTx :: Tx l ShelleyEra -> ShelleyTx l ShelleyEra

datadata ShelleyTx (l :: TxLevel) era where

Constructors

ShelleyTx :: !TxBody TopTx era -> !TxWits era -> !StrictMaybe (TxAuxData era) -> ShelleyTx TopTx era
- stBody :: !TxBody TopTx era
- stWits :: !TxWits era
- stAuxData :: !StrictMaybe (TxAuxData era)

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

(Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) => DecCBOR (Annotator (ShelleyTx l era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) => Eq (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, Show (TxBody l era), Show (TxWits era), Show (TxAuxData era)) => Show (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(NFData (TxBody l era), NFData (TxWits era), NFData (TxAuxData era)) => NFData (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Typeable era, Typeable l) => NoThunks (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era), Typeable l) => ToCBOR (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era)) => EncCBOR (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx

Orphan instances

11 instances

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