Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.In

Contents

Transaction input
- Transaction ID
- Transaction index

Synopsis

data TxIn = TxIn !TxId !TxIx
newtype TxId = TxId {
- unTxId ∷ SafeHash EraIndependentTxBody
}
mkTxInPartial ∷ HasCallStack ⇒ TxId → Integer → TxIn
data TxIx
mkTxIx ∷ Word16 → TxIx
txIxToInt ∷ TxIx → Int
txIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m TxIx
mkTxIxPartial ∷ HasCallStack ⇒ Integer → TxIx

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 Methods toJSON ∷ TxIn → Value Source # toEncoding ∷ TxIn → Encoding Source # toJSONList ∷ [TxIn] → Value Source # toEncodingList ∷ [TxIn] → Encoding Source # omitField ∷ TxIn → Bool Source #
ToJSONKey TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods toJSONKey ∷ ToJSONKeyFunction TxIn Source # toJSONKeyList ∷ ToJSONKeyFunction [TxIn] Source #
Generic TxIn
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep TxIn ∷ Type → Type Source # Methods from ∷ TxIn → Rep TxIn x Source # to ∷ Rep TxIn x → TxIn Source #
Show TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxIn → ShowS Source # show ∷ TxIn → String Source # showList ∷ [TxIn] → ShowS Source #
DecCBOR TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods decCBOR ∷ Decoder s TxIn Source # dropCBOR ∷ Proxy TxIn → Decoder s () Source # label ∷ Proxy TxIn → Text Source #
EncCBOR TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR ∷ TxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIn → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIn] → Size Source #
NFData TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods rnf ∷ TxIn → () Source #
Eq TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxIn → TxIn → Bool Source # (/=) ∷ TxIn → TxIn → Bool Source #
Ord TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods compare ∷ TxIn → TxIn → Ordering Source # (<) ∷ TxIn → TxIn → Bool Source # (<=) ∷ TxIn → TxIn → Bool Source # (>) ∷ TxIn → TxIn → Bool Source # (>=) ∷ TxIn → TxIn → Bool Source # max ∷ TxIn → TxIn → TxIn Source # min ∷ TxIn → TxIn → TxIn Source #
HeapWords TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords ∷ TxIn → Int Source #
NoThunks TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks ∷ Context → TxIn → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxIn → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxIn → String Source #
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe 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
Fields unTxId ∷ SafeHash EraIndependentTxBody

Instances

Instances details

FromJSON TxId
Instance details Defined in Cardano.Ledger.TxIn Methods parseJSON ∷ Value → Parser TxId Source # parseJSONList ∷ Value → Parser [TxId] Source # omittedField ∷ Maybe TxId Source #
ToJSON TxId
Instance details Defined in Cardano.Ledger.TxIn Methods toJSON ∷ TxId → Value Source # toEncoding ∷ TxId → Encoding Source # toJSONList ∷ [TxId] → Value Source # toEncodingList ∷ [TxId] → Encoding Source # omitField ∷ TxId → Bool Source #
Generic TxId
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep TxId ∷ Type → Type Source # Methods from ∷ TxId → Rep TxId x Source # to ∷ Rep TxId x → TxId Source #
Show TxId
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxId → ShowS Source # show ∷ TxId → String Source # showList ∷ [TxId] → ShowS Source #
DecCBOR TxId
Instance details Defined in Cardano.Ledger.TxIn Methods decCBOR ∷ Decoder s TxId Source # dropCBOR ∷ Proxy TxId → Decoder s () Source # label ∷ Proxy TxId → Text Source #
EncCBOR TxId
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR ∷ TxId → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxId → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId] → Size Source #
NFData TxId
Instance details Defined in Cardano.Ledger.TxIn Methods rnf ∷ TxId → () Source #
Eq TxId
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxId → TxId → Bool Source # (/=) ∷ TxId → TxId → Bool Source #
Ord TxId
Instance details Defined in Cardano.Ledger.TxIn Methods compare ∷ TxId → TxId → Ordering Source # (<) ∷ TxId → TxId → Bool Source # (<=) ∷ TxId → TxId → Bool Source # (>) ∷ TxId → TxId → Bool Source # (>=) ∷ TxId → TxId → Bool Source # max ∷ TxId → TxId → TxId Source # min ∷ TxId → TxId → TxId Source #
HeapWords TxId
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords ∷ TxId → Int Source #
NoThunks TxId
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks ∷ Context → TxId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxId → String Source #
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))))

mkTxInPartial ∷ HasCallStack ⇒ TxId → Integer → TxIn 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 Methods toJSON ∷ TxIx → Value Source # toEncoding ∷ TxIx → Encoding Source # toJSONList ∷ [TxIx] → Value Source # toEncodingList ∷ [TxIx] → Encoding Source # omitField ∷ TxIx → Bool Source #
Bounded TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound ∷ TxIx Source # maxBound ∷ TxIx Source #
Enum TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ ∷ TxIx → TxIx Source # pred ∷ TxIx → TxIx Source # toEnum ∷ Int → TxIx Source # fromEnum ∷ TxIx → Int Source # enumFrom ∷ TxIx → [TxIx] Source # enumFromThen ∷ TxIx → TxIx → [TxIx] Source # enumFromTo ∷ TxIx → TxIx → [TxIx] Source # enumFromThenTo ∷ TxIx → TxIx → TxIx → [TxIx] Source #
Generic TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep TxIx ∷ Type → Type Source # Methods from ∷ TxIx → Rep TxIx x Source # to ∷ Rep TxIx x → TxIx Source #
Show TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → TxIx → ShowS Source # show ∷ TxIx → String Source # showList ∷ [TxIx] → ShowS Source #
FromCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s TxIx Source # label ∷ Proxy TxIx → Text Source #
ToCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR ∷ TxIx → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxIx → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxIx] → Size Source #
DecCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s TxIx Source # dropCBOR ∷ Proxy TxIx → Decoder s () Source # label ∷ Proxy TxIx → Text Source #
EncCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ TxIx → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIx → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIx] → Size Source #
NFData TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ TxIx → () Source #
Eq TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ TxIx → TxIx → Bool Source # (/=) ∷ TxIx → TxIx → Bool Source #
Ord TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ TxIx → TxIx → Ordering Source # (<) ∷ TxIx → TxIx → Bool Source # (<=) ∷ TxIx → TxIx → Bool Source # (>) ∷ TxIx → TxIx → Bool Source # (>=) ∷ TxIx → TxIx → Bool Source # max ∷ TxIx → TxIx → TxIx Source # min ∷ TxIx → TxIx → TxIx Source #
NoThunks TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → TxIx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxIx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxIx → String Source #
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)))

mkTxIx ∷ Word16 → TxIx Source #

Construct a TxIx from a 16 bit unsigned integer

txIxToInt ∷ TxIx → Int Source #

txIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m TxIx Source #

mkTxIxPartial ∷ HasCallStack ⇒ Integer → TxIx 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.