Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V3.Data.Tx

Synopsis

newtype TxId = TxId {
- getTxId ∷ BuiltinByteString
}
data TxOutRef
pattern TxOutRef ∷ TxId → Integer → TxOutRef
txOutRefId ∷ TxOutRef → TxId
txOutRefIdx ∷ TxOutRef → Integer

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 getTxId ∷ BuiltinByteString

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.45.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.45.0.0-inplace" 'True) (C1 ('MetaCons "TxOutRef_6989586621679707042" '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 #