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

Cardano.Ledger.Api.Tx.In

Synopsis

Transaction input

data TxIn c Source #

The input of a UTxO.

Constructors

TxIn !(TxId c) !TxIx 

Instances

Instances details
Crypto c ⇒ ToJSON (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSONKey (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep (TxIn c) ∷ TypeType Source #

Methods

fromTxIn c → Rep (TxIn c) x Source #

toRep (TxIn c) x → TxIn c Source #

Show (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxIn c → ShowS Source #

showTxIn c → String Source #

showList ∷ [TxIn c] → ShowS Source #

Crypto c ⇒ DecCBOR (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

decCBORDecoder s (TxIn c) Source #

dropCBORProxy (TxIn c) → Decoder s () Source #

labelProxy (TxIn c) → Text Source #

Crypto c ⇒ EncCBOR (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxIn c → Encoding Source #

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

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

Crypto c ⇒ NFData (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxIn c → () Source #

Eq (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxIn c → TxIn c → Bool Source #

(/=)TxIn c → TxIn c → Bool Source #

Ord (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxIn c → TxIn c → Ordering Source #

(<)TxIn c → TxIn c → Bool Source #

(<=)TxIn c → TxIn c → Bool Source #

(>)TxIn c → TxIn c → Bool Source #

(>=)TxIn c → TxIn c → Bool Source #

maxTxIn c → TxIn c → TxIn c Source #

minTxIn c → TxIn c → TxIn c Source #

Crypto c ⇒ HeapWords (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxIn c → Int Source #

NoThunks (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

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

Transaction ID

newtype TxId c Source #

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

Constructors

TxId 

Instances

Instances details
Crypto c ⇒ FromJSON (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSON (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep (TxId c) ∷ TypeType Source #

Methods

fromTxId c → Rep (TxId c) x Source #

toRep (TxId c) x → TxId c Source #

Show (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxId c → ShowS Source #

showTxId c → String Source #

showList ∷ [TxId c] → ShowS Source #

Crypto c ⇒ DecCBOR (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

decCBORDecoder s (TxId c) Source #

dropCBORProxy (TxId c) → Decoder s () Source #

labelProxy (TxId c) → Text Source #

Crypto c ⇒ EncCBOR (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxId c → Encoding Source #

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

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

Crypto c ⇒ NFData (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxId c → () Source #

Eq (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxId c → TxId c → Bool Source #

(/=)TxId c → TxId c → Bool Source #

Ord (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxId c → TxId c → Ordering Source #

(<)TxId c → TxId c → Bool Source #

(<=)TxId c → TxId c → Bool Source #

(>)TxId c → TxId c → Bool Source #

(>=)TxId c → TxId c → Bool Source #

maxTxId c → TxId c → TxId c Source #

minTxId c → TxId c → TxId c Source #

Crypto c ⇒ HeapWords (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxId c → Int Source #

NoThunks (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

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

mkTxInPartialHasCallStackTxId c → IntegerTxIn c 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.14.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.