Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.In

Contents

Transaction input
- Transaction ID
- Transaction index

Synopsis

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

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

Instances

Instances details

Crypto c ⇒ FromJSON (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods parseJSON ∷ Value → Parser (TxId c) Source # parseJSONList ∷ Value → Parser [TxId c] Source # omittedField ∷ Maybe (TxId c) Source #
Crypto c ⇒ ToJSON (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods toJSON ∷ TxId c → Value Source # toEncoding ∷ TxId c → Encoding Source # toJSONList ∷ [TxId c] → Value Source # toEncodingList ∷ [TxId c] → Encoding Source # omitField ∷ TxId c → Bool Source #
Generic (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep (TxId c) ∷ Type → Type Source # Methods from ∷ TxId c → Rep (TxId c) x Source # to ∷ Rep (TxId c) x → TxId c Source #
Show (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxId c → ShowS Source # show ∷ TxId c → String Source # showList ∷ [TxId c] → ShowS Source #
Crypto c ⇒ DecCBOR (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods decCBOR ∷ Decoder s (TxId c) Source # dropCBOR ∷ Proxy (TxId c) → Decoder s () Source # label ∷ Proxy (TxId c) → Text Source #
Crypto c ⇒ EncCBOR (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR ∷ TxId 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 rnf ∷ TxId 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 compare ∷ TxId 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 # max ∷ TxId c → TxId c → TxId c Source # min ∷ TxId c → TxId c → TxId c Source #
Crypto c ⇒ HeapWords (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords ∷ TxId c → Int Source #
NoThunks (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks ∷ Context → TxId c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId c) → String Source #
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.16.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxBody))))

mkTxInPartial ∷ HasCallStack ⇒ TxId c → Integer → TxIn 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 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.16.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.