plutus-ledger-api-1.43.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V3.Data.Tx

Synopsis

Documentation

newtype TxId Source #

A transaction ID, i.e. the hash of a transaction. Hashed with BLAKE2b-256. 32 byte.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

TxId 

Fields

Instances

Instances details
IsString TxId Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

fromString ∷ String → TxId Source #

Generic TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Associated Types

type Rep TxId ∷ Type → Type Source #

Methods

from ∷ TxId → Rep TxId x Source #

to ∷ Rep TxId x → TxId Source #

Show TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

showsPrec ∷ Int → TxId → ShowS Source #

show ∷ TxId → String Source #

showList ∷ [TxId] → ShowS Source #

NFData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

rnf ∷ TxId → () Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

(==) ∷ TxId → TxId → Bool Source #

(/=) ∷ TxId → TxId → Bool Source #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

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 #

HasBlueprintDefinition TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Associated Types

type Unroll TxId ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

(==) ∷ TxId → TxId → Bool Source #

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

fromBuiltinData ∷ BuiltinData → Maybe TxId Source #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

toBuiltinData ∷ TxId → BuiltinData Source #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

unsafeFromBuiltinData ∷ BuiltinData → TxId Source #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

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 #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

pretty ∷ TxId → Doc ann Source #

prettyList ∷ [TxId] → Doc ann Source #

HasBlueprintSchema TxId referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

lift ∷ TxId → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

typeRep ∷ Proxy TxId → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V3.Data.Tx" "plutus-ledger-api-1.43.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

type Unroll TxId = Insert TxId (GUnroll (IfStuckRep (RepIsStuckError TxId ∷ Type → Type) (Rep TxId)))

data TxOutRef Source #

A reference to a transaction output. This is a pair of a transaction ID (TxId), and an index indicating which of the outputs of that transaction we are referring to.

Instances

Instances details
Generic TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Associated Types

type Rep TxOutRef ∷ Type → Type Source #

Methods

from ∷ TxOutRef → Rep TxOutRef x Source #

to ∷ Rep TxOutRef x → TxOutRef Source #

Show TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

showsPrec ∷ Int → TxOutRef → ShowS Source #

show ∷ TxOutRef → String Source #

showList ∷ [TxOutRef] → ShowS Source #

NFData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

rnf ∷ TxOutRef → () Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

(==) ∷ TxOutRef → TxOutRef → Bool Source #

(/=) ∷ TxOutRef → TxOutRef → Bool Source #

Ord TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

compare ∷ TxOutRef → TxOutRef → Ordering Source #

(<) ∷ TxOutRef → TxOutRef → Bool Source #

(<=) ∷ TxOutRef → TxOutRef → Bool Source #

(>) ∷ TxOutRef → TxOutRef → Bool Source #

(>=) ∷ TxOutRef → TxOutRef → Bool Source #

max ∷ TxOutRef → TxOutRef → TxOutRef Source #

min ∷ TxOutRef → TxOutRef → TxOutRef Source #

HasBlueprintDefinition TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Associated Types

type Unroll TxOutRef ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

(==) ∷ TxOutRef → TxOutRef → Bool Source #

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

fromBuiltinData ∷ BuiltinData → Maybe TxOutRef Source #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

toBuiltinData ∷ TxOutRef → BuiltinData Source #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

unsafeFromBuiltinData ∷ BuiltinData → TxOutRef Source #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

pretty ∷ TxOutRef → Doc ann Source #

prettyList ∷ [TxOutRef] → Doc ann Source #

Lift DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

lift ∷ TxOutRef → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

typeRep ∷ Proxy TxOutRef → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V3.Data.Tx" "plutus-ledger-api-1.43.0.0-inplace" 'True) (C1 ('MetaCons "TxOutRef_6989586621679707021" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

type Unroll TxOutRef = Insert TxOutRef (GUnroll (IfStuckRep (RepIsStuckError TxOutRef ∷ Type → Type) (Rep TxOutRef)))

pattern TxOutRef ∷ TxId → Integer → TxOutRef Source #

txOutRefId ∷ TxOutRef → TxId Source #

txOutRefIdx ∷ TxOutRef → Integer Source #