Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V1.Tx

Contents

Transactions
Transaction outputs

Synopsis

newtype TxId = TxId {
- getTxId :: BuiltinByteString
}
data ScriptTag
- = Spend
- | Mint
- | Cert
- | Reward
data RedeemerPtr = RedeemerPtr ScriptTag Integer
type Redeemers = Map RedeemerPtr Redeemer
data TxOut = TxOut {
- txOutAddress :: Address
- txOutValue :: Value
- txOutDatumHash :: Maybe DatumHash
}
data TxOutRef = TxOutRef {
- txOutRefId :: TxId
- txOutRefIdx :: Integer
}
isPubKeyOut :: TxOut -> Bool
isPayToScriptOut :: TxOut -> Bool
outAddress :: Lens' TxOut Address
outValue :: Lens' TxOut Value
txOutPubKey :: TxOut -> Maybe PubKeyHash
txOutDatum :: TxOut -> Maybe DatumHash
pubKeyHashTxOut :: Value -> PubKeyHash -> TxOut

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
Fields getTxId :: BuiltinByteString

Instances

Instances details

IsString TxId Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromString :: String -> TxId Source #

Generic TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Rep TxId
Instance details Defined in PlutusLedgerApi.V1.Tx type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.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.V1.Tx

Methods

showsPrec :: Int -> TxId -> ShowS Source #

show :: TxId -> String Source #

showList :: [TxId] -> ShowS Source #

NFData TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: TxId -> () Source #

Eq TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

(/=) :: TxId -> TxId -> Bool Source #

Ord TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.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.V1.Tx

Associated Types

type Unroll TxId
Instance details Defined in PlutusLedgerApi.V1.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.V1.Tx

Methods

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

FromData TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

ToData TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

UnsafeFromData TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

Ord TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.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.V1.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

HasSchemaDefinition BuiltinByteString referencedTypes => HasBlueprintSchema TxId referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

Typeable DefaultUni TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

type Rep TxId Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.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.V1.Tx

type Unroll TxId = Insert TxId (GUnroll (IfStuckRep (RepIsStuckError TxId :: Type -> Type) (Rep TxId)))

data ScriptTag Source #

A tag indicating the type of script that we are pointing to.

Instances

Instances details

Generic ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Rep ScriptTag

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep ScriptTag = D1 ('MetaData "ScriptTag" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Cert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reward" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ScriptTag -> Rep ScriptTag x Source #

to :: Rep ScriptTag x -> ScriptTag Source #

Show ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

showsPrec :: Int -> ScriptTag -> ShowS Source #

show :: ScriptTag -> String Source #

showList :: [ScriptTag] -> ShowS Source #

NFData ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: ScriptTag -> () Source #

Eq ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: ScriptTag -> ScriptTag -> Bool Source #

(/=) :: ScriptTag -> ScriptTag -> Bool Source #

Ord ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

compare :: ScriptTag -> ScriptTag -> Ordering Source #

(<) :: ScriptTag -> ScriptTag -> Bool Source #

(<=) :: ScriptTag -> ScriptTag -> Bool Source #

(>) :: ScriptTag -> ScriptTag -> Bool Source #

(>=) :: ScriptTag -> ScriptTag -> Bool Source #

max :: ScriptTag -> ScriptTag -> ScriptTag Source #

min :: ScriptTag -> ScriptTag -> ScriptTag Source #

HasBlueprintDefinition ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Unroll ScriptTag
Instance details Defined in PlutusLedgerApi.V1.Tx type Unroll ScriptTag = Insert ScriptTag (GUnroll (IfStuckRep (RepIsStuckError ScriptTag :: Type -> Type) (Rep ScriptTag)))

Methods

definitionId :: DefinitionId

FromData ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptTag #

ToData ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: ScriptTag -> BuiltinData #

UnsafeFromData ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptTag #

HasBlueprintSchema ScriptTag referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

schema :: Schema referencedTypes

type Rep ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep ScriptTag = D1 ('MetaData "ScriptTag" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Cert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reward" 'PrefixI 'False) (U1 :: Type -> Type)))

type Unroll ScriptTag Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Unroll ScriptTag = Insert ScriptTag (GUnroll (IfStuckRep (RepIsStuckError ScriptTag :: Type -> Type) (Rep ScriptTag)))

data RedeemerPtr Source #

A redeemer pointer is a pair of a script type tag (ScriptTag) t and an index i, picking out the i-th script of type t in the transaction.

Constructors

RedeemerPtr ScriptTag Integer

Instances

Instances details

Generic RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Rep RedeemerPtr

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep RedeemerPtr = D1 ('MetaData "RedeemerPtr" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "RedeemerPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptTag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: RedeemerPtr -> Rep RedeemerPtr x Source #

to :: Rep RedeemerPtr x -> RedeemerPtr Source #

Show RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

showsPrec :: Int -> RedeemerPtr -> ShowS Source #

show :: RedeemerPtr -> String Source #

showList :: [RedeemerPtr] -> ShowS Source #

NFData RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: RedeemerPtr -> () Source #

Eq RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

(/=) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

Ord RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

compare :: RedeemerPtr -> RedeemerPtr -> Ordering Source #

(<) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

(<=) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

(>) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

(>=) :: RedeemerPtr -> RedeemerPtr -> Bool Source #

max :: RedeemerPtr -> RedeemerPtr -> RedeemerPtr Source #

min :: RedeemerPtr -> RedeemerPtr -> RedeemerPtr Source #

HasBlueprintDefinition RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Unroll RedeemerPtr
Instance details Defined in PlutusLedgerApi.V1.Tx type Unroll RedeemerPtr = Insert RedeemerPtr (GUnroll (IfStuckRep (RepIsStuckError RedeemerPtr :: Type -> Type) (Rep RedeemerPtr)))

Methods

definitionId :: DefinitionId

FromData RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerPtr #

ToData RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: RedeemerPtr -> BuiltinData #

UnsafeFromData RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerPtr #

(HasSchemaDefinition ScriptTag referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema RedeemerPtr referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

schema :: Schema referencedTypes

type Rep RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep RedeemerPtr = D1 ('MetaData "RedeemerPtr" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "RedeemerPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptTag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

type Unroll RedeemerPtr Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Unroll RedeemerPtr = Insert RedeemerPtr (GUnroll (IfStuckRep (RepIsStuckError RedeemerPtr :: Type -> Type) (Rep RedeemerPtr)))

type Redeemers = Map RedeemerPtr Redeemer Source #

Redeemers is a Map of redeemer pointer (RedeemerPtr) and its Redeemer.

Transaction outputs

data TxOut Source #

A transaction output, consisting of a target address (Address), a value (Value), and optionally a datum hash (DatumHash).

Constructors

TxOut
Fields txOutAddress :: Address txOutValue :: Value txOutDatumHash :: Maybe DatumHash

Instances

Instances details

Generic TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Rep TxOut

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" '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 "txOutDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DatumHash)))))

Methods

from :: TxOut -> Rep TxOut x Source #

to :: Rep TxOut x -> TxOut Source #

Show TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

showsPrec :: Int -> TxOut -> ShowS Source #

show :: TxOut -> String Source #

showList :: [TxOut] -> ShowS Source #

NFData TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: TxOut -> () Source #

Eq TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: TxOut -> TxOut -> Bool Source #

(/=) :: TxOut -> TxOut -> Bool Source #

HasBlueprintDefinition TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Unroll TxOut
Instance details Defined in PlutusLedgerApi.V1.Tx type Unroll TxOut = Insert TxOut (GUnroll (IfStuckRep (RepIsStuckError TxOut :: Type -> Type) (Rep TxOut)))

Methods

definitionId :: DefinitionId

Eq TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: TxOut -> TxOut -> Bool

FromData TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

ToData TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

UnsafeFromData TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

Pretty TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

pretty :: TxOut -> Doc ann

prettyList :: [TxOut] -> Doc ann

(HasSchemaDefinition Address referencedTypes, HasSchemaDefinition Value referencedTypes, HasSchemaDefinition (Maybe DatumHash) referencedTypes) => HasBlueprintSchema TxOut referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

Typeable DefaultUni TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

type Rep TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" '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 "txOutDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DatumHash)))))

type Unroll TxOut Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Unroll TxOut = Insert TxOut (GUnroll (IfStuckRep (RepIsStuckError TxOut :: Type -> Type) (Rep TxOut)))

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.V1.Tx

Associated Types

type Rep TxOutRef

Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "TxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutRefId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: TxOutRef -> Rep TxOutRef x Source #

to :: Rep TxOutRef x -> TxOutRef Source #

Show TxOutRef Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

showsPrec :: Int -> TxOutRef -> ShowS Source #

show :: TxOutRef -> String Source #

showList :: [TxOutRef] -> ShowS Source #

NFData TxOutRef Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: TxOutRef -> () Source #

Eq TxOutRef Source #

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: TxOutRef -> TxOutRef -> Bool Source #

(/=) :: TxOutRef -> TxOutRef -> Bool Source #

Ord TxOutRef Source #

Instance details

Defined in PlutusLedgerApi.V1.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.V1.Tx

Associated Types

type Unroll TxOutRef
Instance details Defined in PlutusLedgerApi.V1.Tx type Unroll TxOutRef = Insert TxOutRef (GUnroll (IfStuckRep (RepIsStuckError TxOutRef :: Type -> Type) (Rep TxOutRef)))