Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.TxIn

Synopsis

newtype TxId = TxId {
- unTxId ∷ SafeHash EraIndependentTxBody
}
data TxIn = TxIn !TxId !TxIx
mkTxInPartial ∷ HasCallStack ⇒ TxId → Integer → TxIn
txInToText ∷ TxIn → Text
data TxIx

Documentation

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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods parseJSON ∷ Value → Parser TxId Source # parseJSONList ∷ Value → Parser [TxId] Source # omittedField ∷ Maybe TxId Source #
ToJSON TxId Source #
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 Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxId → ShowS # show ∷ TxId → String # showList ∷ [TxId] → ShowS #
DecCBOR TxId Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR ∷ TxId → Encoding Source #
NFData TxId Source #
Instance details Defined in Cardano.Ledger.TxIn Methods rnf ∷ TxId → () #
Eq TxId Source #
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxId → TxId → Bool # (/=) ∷ TxId → TxId → Bool #
Ord TxId Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods typeName ∷ String Source # packedByteCount ∷ TxId → Int Source # packM ∷ TxId → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack s b TxId Source #
NoThunks TxId Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn type Rep TxId = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody))))

data TxIn Source #

The input of a UTxO.

Constructors

TxIn !TxId !TxIx

Instances

Instances details

ToJSON TxIn Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods toJSONKey ∷ ToJSONKeyFunction TxIn Source # toJSONKeyList ∷ ToJSONKeyFunction [TxIn] Source #
Generic TxIn Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec ∷ Int → TxIn → ShowS # show ∷ TxIn → String # showList ∷ [TxIn] → ShowS #
DecCBOR TxIn Source #
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 Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR ∷ TxIn → Encoding Source #
NFData TxIn Source #
Instance details Defined in Cardano.Ledger.TxIn Methods rnf ∷ TxIn → () #
Eq TxIn Source #
Instance details Defined in Cardano.Ledger.TxIn Methods (==) ∷ TxIn → TxIn → Bool # (/=) ∷ TxIn → TxIn → Bool #
Ord TxIn Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn Methods typeName ∷ String Source # packedByteCount ∷ TxIn → Int Source # packM ∷ TxIn → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack s b TxIn Source #
NoThunks TxIn Source #
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 Source #
Instance details Defined in Cardano.Ledger.TxIn type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.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 'DecidedStrict) (Rec0 TxIx)))
type Share TxIn Source #
Instance details Defined in Cardano.Ledger.TxIn type Share TxIn = ()

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.

txInToText ∷ TxIn → Text Source #

data TxIx Source #

Transaction index.

Instances

Instances details

ToJSON TxIx Source #
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 Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound ∷ TxIx # maxBound ∷ TxIx #
Enum TxIx Source #
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 Source #
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 Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → TxIx → ShowS # show ∷ TxIx → String # showList ∷ [TxIx] → ShowS #
FromCBOR TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s TxIx Source # label ∷ Proxy TxIx → Text Source #
ToCBOR TxIx Source #
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 Source #
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 Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ TxIx → Encoding Source #
NFData TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ TxIx → () #
Eq TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ TxIx → TxIx → Bool # (/=) ∷ TxIx → TxIx → Bool #
Ord TxIx Source #
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 Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods typeName ∷ String Source # packedByteCount ∷ TxIx → Int Source # packM ∷ TxIx → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack s b TxIx Source #
NoThunks TxIx Source #
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 Source #
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 Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods uniformM ∷ StatefulGen g m ⇒ g → m TxIx Source #
UniformRange TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods uniformRM ∷ StatefulGen g m ⇒ (TxIx, TxIx) → g → m TxIx Source # isInRange ∷ (TxIx, TxIx) → TxIx → Bool Source #
type Rep TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))