Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V3.Data.Tx

Synopsis

newtype TxId = TxId {
- getTxId :: BuiltinByteString
}
data TxOutRef
pattern TxOutRef :: TxId -> Integer -> TxOutRef
matchTxOutRef :: TxOutRef -> (TxId -> Integer -> r) -> r
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
Instance details Defined in PlutusLedgerApi.V3.Data.Tx type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V3.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

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
Instance details Defined in PlutusLedgerApi.V3.Data.Tx type Unroll TxId = Insert TxId (GUnroll (IfStuckRep (RepIsStuckError TxId :: Type -> Type) (Rep TxId)))

Methods

definitionId :: DefinitionId

Eq TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

(==) :: TxId -> TxId -> Bool

FromData TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

ToData TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

UnsafeFromData TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

Ord TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

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

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

HasBlueprintSchema TxId referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

lift :: TxId -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

typeRep :: Proxy TxId -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

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.60.0.0-G1HmqwHNllaA7AnJNjAfhP" '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
Instance details Defined in PlutusLedgerApi.V3.Data.Tx type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V3.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxOutRef_6989586621679895325" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

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
Instance details Defined in PlutusLedgerApi.V3.Data.Tx type Unroll TxOutRef = Insert TxOutRef (GUnroll (IfStuckRep (RepIsStuckError TxOutRef :: Type -> Type) (Rep TxOutRef)))