Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V3.Tx

Synopsis

newtype TxId = TxId {
- getTxId :: BuiltinByteString
}
data TxOutRef = TxOutRef {
- txOutRefId :: TxId
- txOutRefIdx :: 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.Tx Methods fromString :: String -> TxId Source #
Generic TxId Source #
Instance details Defined in PlutusLedgerApi.V3.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.Tx Methods showsPrec :: Int -> TxId -> ShowS Source # show :: TxId -> String Source # showList :: [TxId] -> ShowS Source #
NFData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods rnf :: TxId -> () Source #
Eq TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods (==) :: TxId -> TxId -> Bool Source # (/=) :: TxId -> TxId -> Bool Source #
Ord TxId Source #
Instance details Defined in PlutusLedgerApi.V3.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.Tx Associated Types type Unroll TxId :: [Type] Methods definitionId :: DefinitionId
Eq TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods (==) :: TxId -> TxId -> Bool
FromData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods fromBuiltinData :: BuiltinData -> Maybe TxId #
ToData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods toBuiltinData :: TxId -> BuiltinData #
UnsafeFromData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods unsafeFromBuiltinData :: BuiltinData -> TxId #
Ord TxId Source #
Instance details Defined in PlutusLedgerApi.V3.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.Tx Methods pretty :: TxId -> Doc ann prettyList :: [TxId] -> Doc ann
HasBlueprintSchema TxId referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods schema :: Schema referencedTypes
Lift DefaultUni TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods lift :: TxId -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods typeRep :: Proxy TxId -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V3.Tx" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 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.

Constructors

TxOutRef
Fields txOutRefId :: TxId The transaction ID. txOutRefIdx :: Integer Index into the referenced transaction's outputs

Instances

Instances details

Generic TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.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.Tx Methods showsPrec :: Int -> TxOutRef -> ShowS Source # show :: TxOutRef -> String Source # showList :: [TxOutRef] -> ShowS Source #
NFData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods rnf :: TxOutRef -> () Source #
Eq TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods (==) :: TxOutRef -> TxOutRef -> Bool Source # (/=) :: TxOutRef -> TxOutRef -> Bool Source #
Ord TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.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.Tx Associated Types type Unroll TxOutRef :: [Type] Methods definitionId :: DefinitionId
Eq TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods (==) :: TxOutRef -> TxOutRef -> Bool
FromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods fromBuiltinData :: BuiltinData -> Maybe TxOutRef #
ToData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods toBuiltinData :: TxOutRef -> BuiltinData #
UnsafeFromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods unsafeFromBuiltinData :: BuiltinData -> TxOutRef #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods pretty :: TxOutRef -> Doc ann prettyList :: [TxOutRef] -> Doc ann
(HasSchemaDefinition TxId referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema TxOutRef referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods schema :: Schema referencedTypes
Lift DefaultUni TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods lift :: TxOutRef -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods typeRep :: Proxy TxOutRef -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V3.Tx" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 type Unroll TxOutRef = Insert TxOutRef (GUnroll (IfStuckRep (RepIsStuckError TxOutRef :: Type -> Type) (Rep TxOutRef)))