Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Tx

Contents

Transaction
Orphan instances

Synopsis

data ShelleyTx era = ShelleyTx {
- stBody ∷ !(TxBody era)
- stWits ∷ !(TxWits era)
- stAuxData ∷ !(StrictMaybe (TxAuxData era))
}
data family Tx era
bodyShelleyTxL ∷ Lens' (ShelleyTx era) (TxBody era)
witsShelleyTxL ∷ Lens' (ShelleyTx era) (TxWits era)
auxDataShelleyTxL ∷ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era))
mkBasicShelleyTx ∷ EraTx era ⇒ TxBody era → ShelleyTx era
shelleyMinFeeTx ∷ EraTx era ⇒ PParams era → Tx era → Coin
sizeShelleyTxF ∷ ∀ era. (HasCallStack, EraTx era) ⇒ SimpleGetter (ShelleyTx era) Word32
shelleyTxEqRaw ∷ EraTx era ⇒ Tx era → Tx era → Bool

Transaction

data ShelleyTx era Source #

Constructors

ShelleyTx
Fields stBody ∷ !(TxBody era) stWits ∷ !(TxWits era) stAuxData ∷ !(StrictMaybe (TxAuxData era))

Instances

Instances details

Generic (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (ShelleyTx era) ∷ Type → Type # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x # to ∷ Rep (ShelleyTx era) x → ShelleyTx era #
(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → ShelleyTx era → ShowS # show ∷ ShelleyTx era → String # showList ∷ [ShelleyTx era] → ShowS #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ ToCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
(EraTxBody era, EraTxWits era, EraTxAuxData era) ⇒ DecCBOR (Annotator (ShelleyTx era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx era)) → Text Source #
(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (ShelleyTx era) Source # dropCBOR ∷ Proxy (ShelleyTx era) → Decoder s () Source # label ∷ Proxy (ShelleyTx era) → Text Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ ShelleyTx era → Encoding Source #
(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ ShelleyTx era → () #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ ShelleyTx era → ShelleyTx era → Bool # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool #
(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx era) → String Source #
type Rep (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "stBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: (S1 ('MetaSel ('Just "stWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era)) :: S1 ('MetaSel ('Just "stAuxData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

data family Tx era Source #

Instances

Instances details

Generic (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (Tx ShelleyEra) ∷ Type → Type # Methods from ∷ Tx ShelleyEra → Rep (Tx ShelleyEra) x # to ∷ Rep (Tx ShelleyEra) x → Tx ShelleyEra #
Show (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → Tx ShelleyEra → ShowS # show ∷ Tx ShelleyEra → String # showList ∷ [Tx ShelleyEra] → ShowS #
ToCBOR (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size Source #
DecCBOR (Annotator (Tx ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ShelleyEra)) → Text Source #
EncCBOR (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ Tx ShelleyEra → Encoding Source #
EqRaw (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods eqRaw ∷ Tx ShelleyEra → Tx ShelleyEra → Bool Source #
NFData (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ Tx ShelleyEra → () #
Eq (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool # (/=) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool #
NoThunks (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ShelleyEra) → String Source #
newtype Tx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type Rep (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

bodyShelleyTxL ∷ Lens' (ShelleyTx era) (TxBody era) Source #

TxBody setter and getter for ShelleyTx.

witsShelleyTxL ∷ Lens' (ShelleyTx era) (TxWits era) Source #

TxWits setter and getter for ShelleyTx.

auxDataShelleyTxL ∷ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era)) Source #

TxAuxData setter and getter for ShelleyTx.

mkBasicShelleyTx ∷ EraTx era ⇒ TxBody era → ShelleyTx era Source #

shelleyMinFeeTx ∷ EraTx era ⇒ PParams era → Tx era → Coin Source #

Minimum fee calculation

sizeShelleyTxF ∷ ∀ era. (HasCallStack, EraTx era) ⇒ SimpleGetter (ShelleyTx era) Word32 Source #

txsize computes the length of the serialised bytes (for estimations)

shelleyTxEqRaw ∷ EraTx era ⇒ Tx era → Tx era → Bool Source #

Orphan instances

EraTx ShelleyEra Source #
Instance details Associated Types data Tx ShelleyEra Source # Methods mkBasicTx ∷ TxBody ShelleyEra → Tx ShelleyEra Source # bodyTxL ∷ Lens' (Tx ShelleyEra) (TxBody ShelleyEra) Source # witsTxL ∷ Lens' (Tx ShelleyEra) (TxWits ShelleyEra) Source # auxDataTxL ∷ Lens' (Tx ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source # sizeTxF ∷ SimpleGetter (Tx ShelleyEra) Word32 Source # sizeTxForFeeCalculation ∷ Tx ShelleyEra → Word32 Source # validateNativeScript ∷ Tx ShelleyEra → NativeScript ShelleyEra → Bool Source # getMinFeeTx ∷ PParams ShelleyEra → Tx ShelleyEra → Int → Coin Source #
Generic (Tx ShelleyEra) Source #
Instance details Associated Types type Rep (Tx ShelleyEra) ∷ Type → Type # Methods from ∷ Tx ShelleyEra → Rep (Tx ShelleyEra) x # to ∷ Rep (Tx ShelleyEra) x → Tx ShelleyEra #
Show (Tx ShelleyEra) Source #
Instance details Methods showsPrec ∷ Int → Tx ShelleyEra → ShowS # show ∷ Tx ShelleyEra → String # showList ∷ [Tx ShelleyEra] → ShowS #
ToCBOR (Tx ShelleyEra) Source #
Instance details Methods toCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size Source #
DecCBOR (Annotator (Tx ShelleyEra)) Source #
Instance details Methods decCBOR ∷ Decoder s (Annotator (Tx ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ShelleyEra)) → Text Source #
EncCBOR (Tx ShelleyEra) Source #
Instance details Methods encCBOR ∷ Tx ShelleyEra → Encoding Source #
EqRaw (Tx ShelleyEra) Source #
Instance details Methods eqRaw ∷ Tx ShelleyEra → Tx ShelleyEra → Bool Source #
NFData (Tx ShelleyEra) Source #
Instance details Methods rnf ∷ Tx ShelleyEra → () #
Eq (Tx ShelleyEra) Source #
Instance details Methods (==) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool # (/=) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool #
NoThunks (Tx ShelleyEra) Source #
Instance details Methods noThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ShelleyEra) → String Source #