cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.TxIn

Synopsis

Documentation

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) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSON (TxId c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxId c) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxId c → () Source #

Eq (TxId c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

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

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

Ord (TxId c) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxId c → Int Source #

NoThunks (TxId c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxId c) Source # 
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))))

_unTxIdTxId c → SafeHash c EraIndependentTxBody Source #

Deprecated: In favor of unTxId

data TxIn c Source #

The input of a UTxO.

Constructors

TxIn !(TxId c) !TxIx 

Instances

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

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSONKey (TxIn c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxIn c) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxIn c → () Source #

Eq (TxIn c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

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

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

Ord (TxIn c) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxIn c → Int Source #

NoThunks (TxIn c) Source # 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxIn c) Source # 
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 'DecidedStrict) (Rec0 TxIx)))

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.

data TxIx Source #

Transaction index.

Instances

Instances details
ToJSON TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Bounded TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Enum TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic TxIx Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrecIntTxIxShowS Source #

showTxIxString Source #

showList ∷ [TxIx] → ShowS Source #

FromCBOR TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR TxIx Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

EncCBOR TxIx Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfTxIx → () Source #

Eq TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)TxIxTxIxBool Source #

(/=)TxIxTxIxBool Source #

Ord TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compareTxIxTxIxOrdering Source #

(<)TxIxTxIxBool Source #

(<=)TxIxTxIxBool Source #

(>)TxIxTxIxBool Source #

(>=)TxIxTxIxBool Source #

maxTxIxTxIxTxIx Source #

minTxIxTxIxTxIx Source #

NoThunks TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep TxIx Source # 
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)))