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

PlutusLedgerApi.V4.Tx

Synopsis

Transactions

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 

Instances

Instances details
IsString TxId Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

fromStringStringTxId Source #

Generic TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Associated Types

type Rep TxIdTypeType Source #

Methods

fromTxIdRep TxId x Source #

toRep TxId x → TxId Source #

Show TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

showsPrecIntTxIdShowS Source #

showTxIdString Source #

showList ∷ [TxId] → ShowS Source #

NFData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

rnfTxId → () Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

(==)TxIdTxIdBool Source #

(/=)TxIdTxIdBool Source #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

compareTxIdTxIdOrdering Source #

(<)TxIdTxIdBool Source #

(<=)TxIdTxIdBool Source #

(>)TxIdTxIdBool Source #

(>=)TxIdTxIdBool Source #

maxTxIdTxIdTxId Source #

minTxIdTxIdTxId Source #

HasBlueprintDefinition TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Associated Types

type Unroll TxId ∷ [Type] Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

(==)TxIdTxIdBool Source #

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

compareTxIdTxIdOrdering Source #

(<)TxIdTxIdBool Source #

(<=)TxIdTxIdBool Source #

(>)TxIdTxIdBool Source #

(>=)TxIdTxIdBool Source #

maxTxIdTxIdTxId Source #

minTxIdTxIdTxId Source #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxIdDoc ann Source #

prettyList ∷ [TxId] → Doc ann Source #

HasBlueprintSchema TxId referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

schemaSchema referencedTypes Source #

Lift DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Typeable DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

type Rep TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V3.Tx" "plutus-ledger-api-1.67.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.Tx

Transaction outputs

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.

Constructors

TxOutRef 

Fields

Instances

Instances details
Generic TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Associated Types

type Rep TxOutRefTypeType Source #

Show TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

NFData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

rnfTxOutRef → () Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Ord TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

HasBlueprintDefinition TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Associated Types

type Unroll TxOutRef ∷ [Type] Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

(==)TxOutRefTxOutRefBool Source #

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxOutRefDoc ann Source #

prettyList ∷ [TxOutRef] → Doc ann Source #

(HasSchemaDefinition TxId referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema TxOutRef referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

schemaSchema referencedTypes Source #

Lift DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Typeable DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

type Rep TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V3.Tx" "plutus-ledger-api-1.67.0.0-inplace" 'False) (C1 ('MetaCons "TxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutRefId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Unroll TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

data OutputDatum Source #

The datum attached to an output: either nothing; a datum hash; or the datum itself (an "inline datum").

Instances

Instances details
Generic OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Associated Types

type Rep OutputDatumTypeType Source #

Show OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

NFData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

rnfOutputDatum → () Source #

Eq OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

HasBlueprintDefinition OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Associated Types

type Unroll OutputDatum ∷ [Type] Source #

Eq OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

FromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

ToData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

UnsafeFromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

prettyOutputDatumDoc ann Source #

prettyList ∷ [OutputDatum] → Doc ann Source #

(HasSchemaDefinition DatumHash referencedTypes, HasSchemaDefinition Datum referencedTypes) ⇒ HasBlueprintSchema OutputDatum referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

schemaSchema referencedTypes Source #

Lift DefaultUni OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Typeable DefaultUni OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

type Rep OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

type Rep OutputDatum = D1 ('MetaData "OutputDatum" "PlutusLedgerApi.V2.Tx" "plutus-ledger-api-1.67.0.0-inplace" 'False) (C1 ('MetaCons "NoOutputDatum" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "OutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)) :+: C1 ('MetaCons "OutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datum))))
type Unroll OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

data TxOut Source #

Transaction output for Plutus V4.

Instances

Instances details
Generic TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Associated Types

type Rep TxOutTypeType Source #

Methods

fromTxOutRep TxOut x Source #

toRep TxOut x → TxOut Source #

Show TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Methods

(==)TxOutTxOutBool Source #

(/=)TxOutTxOutBool Source #

HasBlueprintDefinition TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Associated Types

type Unroll TxOut ∷ [Type] Source #

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Methods

(==)TxOutTxOutBool Source #

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Methods

prettyTxOutDoc ann Source #

prettyList ∷ [TxOut] → Doc ann Source #

(HasSchemaDefinition Address referencedTypes, HasSchemaDefinition Value referencedTypes, HasSchemaDefinition OutputDatum referencedTypes, HasSchemaDefinition (Maybe ScriptHash) referencedTypes) ⇒ HasBlueprintSchema TxOut referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Methods

schemaSchema referencedTypes Source #

Lift DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

Typeable DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

type Rep TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V4.Tx" "plutus-ledger-api-1.67.0.0-inplace" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txOutAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :*: S1 ('MetaSel ('Just "txOutValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :*: (S1 ('MetaSel ('Just "txOutDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutputDatum) :*: S1 ('MetaSel ('Just "txOutReferenceScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash)))))
type Unroll TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V4.Tx

txOutPubKeyTxOutMaybe PubKeyHash Source #

The public key attached to a TxOut, if there is one.

txOutScriptHashTxOutMaybe ScriptHash Source #

The validator hash attached to a TxOut, if there is one.

isPubKeyOutTxOutBool Source #

Whether the output is a pay-to-pubkey output.

isPayToScriptOutTxOutBool Source #

Whether the output is a pay-to-script output.

pubKeyHashTxOutValuePubKeyHashTxOut Source #

Create a transaction output locked by a public key.