cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Tx.In

Synopsis

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 #

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 
Instance details

Defined in Cardano.Ledger.TxIn

type Share TxIn = ()

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 #

NFData TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnf ∷ TxIn → () #

Generic TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxIn 
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 'DecidedUnpack) (Rec0 TxIx)))

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 #

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 s 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 Share TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Share TxIn = ()
type Rep TxIn 
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 'DecidedUnpack) (Rec0 TxIx)))

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.

mkCollateralTxIn ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ TxBody l era → TxIn Source #

Transaction ID

newtype TxId Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Fields

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 #

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 #

NFData TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnf ∷ TxId → () #

Generic TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxId 
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))))

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 #

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 s 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 #

EraTx era ⇒ HasOKey TxId (Tx l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

EraTxBody era ⇒ HasOKey TxId (TxBody l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

type Rep TxId 
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))))

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 #

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 #

NFData TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ TxIx → () #

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 
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)))

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 #

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 s 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 #

isInRange ∷ (TxIx, TxIx) → TxIx → Bool Source #

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

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.