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 # Methods from ∷ TxIn → Rep TxIn x # to ∷ Rep TxIn x → TxIn #
Show TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxIn → ShowS # show ∷ TxIn → String # showList ∷ [TxIn] → ShowS #
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 #
DecShareCBOR TxIn
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Share TxIn Source # Methods getShare ∷ TxIn → Share TxIn Source # decShareCBOR ∷ Share TxIn → Decoder s TxIn Source # decSharePlusCBOR ∷ StateT (Share TxIn) (Decoder s) TxIn 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 → () #
Eq TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxIn → TxIn → Bool # (/=) ∷ TxIn → TxIn → Bool #
Ord TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods compare ∷ TxIn → TxIn → Ordering # (<) ∷ TxIn → TxIn → Bool # (<=) ∷ TxIn → TxIn → Bool # (>) ∷ TxIn → TxIn → Bool # (>=) ∷ TxIn → TxIn → Bool # max ∷ TxIn → TxIn → TxIn # min ∷ TxIn → TxIn → TxIn #
MemPack TxIn
Instance details Defined in Cardano.Ledger.TxIn Methods typeName ∷ String Source # packedByteCount ∷ TxIn → Int Source # packM ∷ TxIn → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b TxIn 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.18.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)))
type Share TxIn
Instance details Defined in Cardano.Ledger.TxIn type Share TxIn = ()

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 # Methods from ∷ TxId → Rep TxId x # to ∷ Rep TxId x → TxId #
Show TxId
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxId → ShowS # show ∷ TxId → String # showList ∷ [TxId] → ShowS #
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 → () #
Eq TxId
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxId → TxId → Bool # (/=) ∷ TxId → TxId → Bool #
Ord TxId
Instance details Defined in Cardano.Ledger.TxIn Methods compare ∷ TxId → TxId → Ordering # (<) ∷ TxId → TxId → Bool # (<=) ∷ TxId → TxId → Bool # (>) ∷ TxId → TxId → Bool # (>=) ∷ TxId → TxId → Bool # max ∷ TxId → TxId → TxId # min ∷ TxId → TxId → TxId #
MemPack TxId
Instance details Defined in Cardano.Ledger.TxIn Methods typeName ∷ String Source # packedByteCount ∷ TxId → Int Source # packM ∷ TxId → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b TxId 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.18.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 # maxBound ∷ TxIx #
Enum TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ ∷ TxIx → TxIx # pred ∷ TxIx → TxIx # toEnum ∷ Int → TxIx # fromEnum ∷ TxIx → Int # enumFrom ∷ TxIx → [TxIx] # enumFromThen ∷ TxIx → TxIx → [TxIx] # enumFromTo ∷ TxIx → TxIx → [TxIx] # enumFromThenTo ∷ TxIx → TxIx → TxIx → [TxIx] #
Generic TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep TxIx ∷ Type → Type # Methods from ∷ TxIx → Rep TxIx x # to ∷ Rep TxIx x → TxIx #
Show TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → TxIx → ShowS # show ∷ TxIx → String # showList ∷ [TxIx] → ShowS #
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 → () #
Eq TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ TxIx → TxIx → Bool # (/=) ∷ TxIx → TxIx → Bool #
Ord TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ TxIx → TxIx → Ordering # (<) ∷ TxIx → TxIx → Bool # (<=) ∷ TxIx → TxIx → Bool # (>) ∷ TxIx → TxIx → Bool # (>=) ∷ TxIx → TxIx → Bool # max ∷ TxIx → TxIx → TxIx # min ∷ TxIx → TxIx → TxIx #
MemPack TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods typeName ∷ String Source # packedByteCount ∷ TxIx → Int Source # packM ∷ TxIx → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b 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 #
Random TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods randomR ∷ RandomGen g ⇒ (TxIx, TxIx) → g → (TxIx, g) Source # random ∷ RandomGen g ⇒ g → (TxIx, g) Source # randomRs ∷ RandomGen g ⇒ (TxIx, TxIx) → g → [TxIx] Source # randoms ∷ RandomGen g ⇒ g → [TxIx] Source #
Uniform TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods uniformM ∷ StatefulGen g m ⇒ g → m TxIx Source #
UniformRange TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods uniformRM ∷ StatefulGen g m ⇒ (TxIx, TxIx) → g → m TxIx Source #
type Rep TxIx
Instance details Defined in Cardano.Ledger.BaseTypes type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.18.0.0-inplace" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

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.