cardano-ledger-api-1.11.0.0: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.Tx.In

Synopsis

Transaction input

data TxIn Source #

The input of a UTxO.

Constructors

TxIn !TxId !TxIx 

Instances

Instances details
ToJSON TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

ToJSONKey TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Generic TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxInTypeType Source #

Methods

fromTxInRep TxIn x Source #

toRep TxIn x → TxIn Source #

Show TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxInShowS Source #

showTxInString Source #

showList ∷ [TxIn] → ShowS Source #

DecCBOR TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

EncCBOR TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxInEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxInSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIn] → Size Source #

NFData TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxIn → () Source #

Eq TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxInTxInBool Source #

(/=)TxInTxInBool Source #

Ord TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxInTxInOrdering Source #

(<)TxInTxInBool Source #

(<=)TxInTxInBool Source #

(>)TxInTxInBool Source #

(>=)TxInTxInBool Source #

maxTxInTxInTxIn Source #

minTxInTxInTxIn Source #

HeapWords TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxInInt Source #

NoThunks TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))

Transaction ID

newtype TxId Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Instances

Instances details
FromJSON TxId 
Instance details

Defined in Cardano.Ledger.TxIn

ToJSON TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Generic TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxIdTypeType Source #

Methods

fromTxIdRep TxId x Source #

toRep TxId x → TxId Source #

Show TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxIdShowS Source #

showTxIdString Source #

showList ∷ [TxId] → ShowS Source #

DecCBOR TxId 
Instance details

Defined in Cardano.Ledger.TxIn

EncCBOR TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxIdEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIdSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId] → Size Source #

NFData TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxId → () Source #

Eq TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxIdTxIdBool Source #

(/=)TxIdTxIdBool Source #

Ord TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxIdTxIdOrdering Source #

(<)TxIdTxIdBool Source #

(<=)TxIdTxIdBool Source #

(>)TxIdTxIdBool Source #

(>=)TxIdTxIdBool Source #

maxTxIdTxIdTxId Source #

minTxIdTxIdTxId Source #

HeapWords TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxIdInt Source #

NoThunks TxId 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxId 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxId = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody))))

mkTxInPartialHasCallStackTxIdIntegerTxIn Source #

Construct TxIn while throwing an error for an out of range TxIx. Make sure to use it only for testing.

Transaction index

data TxIx Source #

Transaction index.

Instances

Instances details
ToJSON TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Bounded TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Enum TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep TxIxTypeType Source #

Methods

fromTxIxRep TxIx x Source #

toRep TxIx x → TxIx Source #

Show TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrecIntTxIxShowS Source #

showTxIxString Source #

showList ∷ [TxIx] → ShowS Source #

FromCBOR TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBORTxIxEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxIxSize Source #

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

DecCBOR TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

EncCBOR TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORTxIxEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIxSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIx] → Size Source #

NFData TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfTxIx → () Source #

Eq TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)TxIxTxIxBool Source #

(/=)TxIxTxIxBool Source #

Ord TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compareTxIxTxIxOrdering Source #

(<)TxIxTxIxBool Source #

(<=)TxIxTxIxBool Source #

(>)TxIxTxIxBool Source #

(>=)TxIxTxIxBool Source #

maxTxIxTxIxTxIx Source #

minTxIxTxIxTxIx Source #

NoThunks TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

mkTxIxWord16TxIx Source #

Construct a TxIx from a 16 bit unsigned integer

mkTxIxPartialHasCallStackIntegerTxIx Source #

Construct a TxIx from an arbitrary precision Integer. Throws an error for values out of range. Make sure to use it only for testing.