Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Tx

Contents

Transaction
Orphan instances

Synopsis

data ShelleyTx (l ∷ TxLevel) era where
- ShelleyTx ∷ ∀ era. {..} → ShelleyTx 'TopTx era
data family Tx (l ∷ TxLevel) era
bodyShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxBody l era → f (TxBody l era)) → ShelleyTx l era → f (ShelleyTx l era)
witsShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxWits era → f (TxWits era)) → ShelleyTx l era → f (ShelleyTx l era)
auxDataShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe (TxAuxData era) → f (StrictMaybe (TxAuxData era))) → ShelleyTx l era → f (ShelleyTx l era)
mkBasicShelleyTx ∷ ∀ era (l ∷ TxLevel). (EraTx era, STxLevel l era ~ STxTopLevel l era) ⇒ TxBody l era → ShelleyTx l era
shelleyMinFeeTx ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Coin
sizeShelleyTxF ∷ ∀ era (l ∷ TxLevel). (HasCallStack, EraTx era) ⇒ SimpleGetter (ShelleyTx l era) Word32
shelleyTxEqRaw ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ Tx l era → Tx l era → Bool

Transaction

data ShelleyTx (l ∷ TxLevel) era where Source #

Constructors

ShelleyTx
Fields ∷ ∀ era. { stBody ∷ !(TxBody 'TopTx era) , stWits ∷ !(TxWits era) , stAuxData ∷ !(StrictMaybe (TxAuxData era)) } → ShelleyTx 'TopTx era

Instances

Instances details

(Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) ⇒ DecCBOR (Annotator (ShelleyTx l era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx l era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx l era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx l era)) → Text Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era), Typeable l) ⇒ ToCBOR (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ ShelleyTx l era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx l era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx l era] → Size Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ ShelleyTx l era → Encoding Source #
(NFData (TxBody l era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ ShelleyTx l era → () #
(Era era, Show (TxBody l era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → ShelleyTx l era → ShowS # show ∷ ShelleyTx l era → String # showList ∷ [ShelleyTx l era] → ShowS #
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ ShelleyTx l era → ShelleyTx l era → Bool # (/=) ∷ ShelleyTx l era → ShelleyTx l era → Bool #
(Typeable era, Typeable l) ⇒ NoThunks (ShelleyTx l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx l era) → String Source #

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra)) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

EncCBOR (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EqRaw (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

NFData (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

Generic (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l 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 l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Show (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Eq (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

newtype Tx l ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

type Rep (Tx l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l 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 l ShelleyEra))))

bodyShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxBody l era → f (TxBody l era)) → ShelleyTx l era → f (ShelleyTx l era) Source #

TxBody setter and getter for ShelleyTx.

witsShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxWits era → f (TxWits era)) → ShelleyTx l era → f (ShelleyTx l era) Source #

TxWits setter and getter for ShelleyTx.

auxDataShelleyTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe (TxAuxData era) → f (StrictMaybe (TxAuxData era))) → ShelleyTx l era → f (ShelleyTx l era) Source #

TxAuxData setter and getter for ShelleyTx.

mkBasicShelleyTx ∷ ∀ era (l ∷ TxLevel). (EraTx era, STxLevel l era ~ STxTopLevel l era) ⇒ TxBody l era → ShelleyTx l era Source #

shelleyMinFeeTx ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ PParams era → Tx l era → Coin Source #

Minimum fee calculation

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

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

shelleyTxEqRaw ∷ ∀ era (l ∷ TxLevel). EraTx era ⇒ Tx l era → Tx l era → Bool Source #

Orphan instances

EraTx ShelleyEra Source #

Instance details

Associated Types

newtype Tx l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx l ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx l ShelleyEra }

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → Tx l ShelleyEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxBody l ShelleyEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxWits ShelleyEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l ShelleyEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits ShelleyEra), Typeable l) ⇒ Tx l ShelleyEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → NativeScript ShelleyEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → Tx l ShelleyEra → Int → Coin Source #

HasEraTxLevel Tx ShelleyEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) Source #

Instance details

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

EncCBOR (Tx l ShelleyEra) Source #

Instance details

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EqRaw (Tx l ShelleyEra) Source #

Instance details

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

NFData (Tx l ShelleyEra) Source #

Instance details

Methods

rnf ∷ Tx l ShelleyEra → () #

Generic (Tx l ShelleyEra) Source #

Instance details

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l 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 l ShelleyEra))))