plutus-ledger-api-1.0.0.1: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellNone
LanguageHaskell2010

Plutus.V2.Ledger.Api

Description

The interface to Plutus V2 for the ledger.

Synopsis

Scripts

type SerializedScript = ShortByteString Source #

Scripts to the ledger are serialised bytestrings.

data Script Source #

A script on the chain. This is an opaque type as far as the chain is concerned.

Instances

Instances details
Eq Script Source #

Note [Using Flat inside CBOR instance of Script] `plutus-ledger` uses CBOR for data serialisation and `plutus-core` uses Flat. The choice to use Flat was made to have a more efficient (most wins are in uncompressed size) data serialisation format and use less space on-chain.

To make `plutus-ledger` work with scripts serialised with Flat, and keep the CBOR format otherwise we have defined a Serialise instance for Script, which is a wrapper over Programs serialised with Flat. The instance will see programs as an opaque ByteString, which is the result of encoding programs using Flat.

Because Flat is not self-describing and it gets used in the encoding of Programs, data structures that include scripts (for example, transactions) no-longer benefit for CBOR's ability to self-describe it's format.

Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Script :: Type -> Type Source #

NFData Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Script -> () Source #

Serialise Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

encode :: Script -> Encoding

decode :: Decoder s Script

encodeList :: [Script] -> Encoding

decodeList :: Decoder s [Script]

type Rep Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Script = D1 ('MetaData "Script" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Script" 'PrefixI 'True) (S1 ('MetaSel ('Just "unScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Program DeBruijn DefaultUni DefaultFun ()))))

fromCompiledCode :: CompiledCode a -> Script Source #

Turn a CompiledCode (usually produced by compile) into a Script for use with this package.

Validating scripts

isScriptWellFormed :: ProtocolVersion -> SerializedScript -> Bool Source #

Check if a Script is "valid" according to a protocol version. At the moment this means "deserialises correctly", which in particular implies that it is (almost certainly) an encoded script and the script does not mention any builtins unavailable in the given protocol version.

Running scripts

evaluateScriptRestricting Source #

Arguments

:: ProtocolVersion 
-> VerboseMode

Whether to produce log output

-> EvaluationContext

The cost model that should already be synced to the most recent cost-model-params coming from the current protocol

-> ExBudget

The resource budget which must not be exceeded during evaluation

-> SerializedScript

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, with a cost model and a budget that restricts how many resources it can use according to the cost model. Also returns the budget that was actually used.

Can be used to calculate budgets for scripts, but even in this case you must give a limit to guard against scripts that run for a long time or loop.

evaluateScriptCounting Source #

Arguments

:: ProtocolVersion 
-> VerboseMode

Whether to produce log output

-> EvaluationContext

The cost model that should already be synced to the most recent cost-model-params coming from the current protocol

-> SerializedScript

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, returning the minimum budget that the script would need to evaluate successfully. This will take as long as the script takes, if you need to limit the execution time of the script also, you can use evaluateScriptRestricting, which also returns the used budget.

Protocol version

data ProtocolVersion Source #

This represents the Cardano protocol version, with its major and minor components. This relies on careful understanding between us and the ledger as to what this means.

Constructors

ProtocolVersion 

Fields

Verbose mode and log output

data VerboseMode Source #

A simple toggle indicating whether or not we should produce logs.

Constructors

Verbose 
Quiet 

Instances

Instances details
Eq VerboseMode Source # 
Instance details

Defined in Plutus.ApiCommon

type LogOutput = [Text] Source #

The type of log output: just a list of Text.

Costing-related types

data ExBudget #

Constructors

ExBudget 

Instances

Instances details
Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Generic ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudget :: Type -> Type Source #

Semigroup ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnf :: ExBudget -> () Source #

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann

prettyList :: [ExBudget] -> Doc ann

FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

parseJSON :: Value -> Parser ExBudget

parseJSONList :: Value -> Parser [ExBudget]

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

toJSON :: ExBudget -> Value

toEncoding :: ExBudget -> Encoding

toJSONList :: [ExBudget] -> Value

toEncodingList :: [ExBudget] -> Encoding

NoThunks ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

noThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExBudget -> String

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy :: config -> ExBudget -> Doc ann

prettyListBy :: config -> [ExBudget] -> Doc ann

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU #

Constructors

ExCPU CostingInteger 

Instances

Instances details
Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPU :: Type -> Type Source #

Methods

from :: ExCPU -> Rep ExCPU x Source #

to :: Rep ExCPU x -> ExCPU Source #

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExCPU -> () Source #

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann

prettyList :: [ExCPU] -> Doc ann

FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExCPU

parseJSONList :: Value -> Parser [ExCPU]

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExCPU -> Value

toEncoding :: ExCPU -> Encoding

toJSONList :: [ExCPU] -> Value

toEncodingList :: [ExCPU] -> Encoding

NoThunks ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExCPU -> String

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExCPU -> Doc ann

prettyListBy :: config -> [ExCPU] -> Doc ann

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExMemory #

Constructors

ExMemory CostingInteger 

Instances

Instances details
Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemory :: Type -> Type Source #

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExMemory -> () Source #

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann

prettyList :: [ExMemory] -> Doc ann

FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExMemory

parseJSONList :: Value -> Parser [ExMemory]

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExMemory -> Value

toEncoding :: ExMemory -> Encoding

toJSONList :: [ExMemory] -> Value

toEncodingList :: [ExMemory] -> Encoding

NoThunks ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExMemory -> String

ExMemoryUsage ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExMemory -> Doc ann

prettyListBy :: config -> [ExMemory] -> Doc ann

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data SatInt #

Instances

Instances details
Bounded SatInt 
Instance details

Defined in Data.SatInt

Enum SatInt 
Instance details

Defined in Data.SatInt

Eq SatInt 
Instance details

Defined in Data.SatInt

Integral SatInt 
Instance details

Defined in Data.SatInt

Num SatInt 
Instance details

Defined in Data.SatInt

Ord SatInt 
Instance details

Defined in Data.SatInt

Read SatInt 
Instance details

Defined in Data.SatInt

Real SatInt 
Instance details

Defined in Data.SatInt

Show SatInt 
Instance details

Defined in Data.SatInt

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatInt :: Type -> Type Source #

Bits SatInt 
Instance details

Defined in Data.SatInt

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnf :: SatInt -> () Source #

Prim SatInt 
Instance details

Defined in Data.SatInt

FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON :: Value -> Parser SatInt

parseJSONList :: Value -> Parser [SatInt]

ToJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

toJSON :: SatInt -> Value

toEncoding :: SatInt -> Encoding

toJSONList :: [SatInt] -> Value

toEncodingList :: [SatInt] -> Encoding

NoThunks SatInt 
Instance details

Defined in Data.SatInt

Methods

noThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy SatInt -> String

ExMemoryUsage SatInt 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromField SatInt 
Instance details

Defined in Data.SatInt

Methods

parseField :: Field -> Parser SatInt

Lift SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Cost model

data EvaluationContext Source #

An opaque type that contains all the static parameters that the evaluator needs to evaluate a script. This is so that they can be computed once and cached, rather than recomputed on every evaluation.

There are two sets of parameters: one is with immediate unlifting and the other one is with deferred unlifting. We have to keep both of them, because depending on the language version either one has to be used or the other. We also compile them separately due to all the inlining and optimization that need to happen for things to be efficient.

Instances

Instances details
Generic EvaluationContext Source # 
Instance details

Defined in Plutus.ApiCommon

Associated Types

type Rep EvaluationContext :: Type -> Type Source #

NFData EvaluationContext Source # 
Instance details

Defined in Plutus.ApiCommon

Methods

rnf :: EvaluationContext -> () Source #

NoThunks EvaluationContext Source # 
Instance details

Defined in Plutus.ApiCommon

Methods

noThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy EvaluationContext -> String

type Rep EvaluationContext Source # 
Instance details

Defined in Plutus.ApiCommon

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "Plutus.ApiCommon" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "machineParametersImmediate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DefaultMachineParameters) :*: S1 ('MetaSel ('Just "machineParametersDeferred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DefaultMachineParameters)))

mkEvaluationContext :: MonadError CostModelApplyError m => CostModelParams -> m EvaluationContext Source #

Build the EvaluationContext.

The input is a Map of strings to cost integer values (aka CostModelParams, CostModel) See Note [Inlining meanings of builtins].

type CostModelParams = Map Text Integer #

assertWellFormedCostModelParams :: MonadError CostModelApplyError m => CostModelParams -> m () Source #

Comparably expensive to mkEvaluationContext, so it should only be used sparingly.

costModelParamNames :: Set Text Source #

The set of valid names that a cost model parameter can take for this language version. It is used for the deserialization of CostModelParams.

Context types

data ScriptContext Source #

Instances

Instances details
Eq ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Show ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Generic ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Associated Types

type Rep ScriptContext :: Type -> Type Source #

Pretty ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

FromData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Eq ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

type Rep ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))

data ScriptPurpose Source #

Purpose of the script that is currently running

Instances

Instances details
Eq ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Show ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep ScriptPurpose :: Type -> Type Source #

Pretty ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

FromData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Eq ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

type Rep ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Supporting types used in the context types

ByteStrings

data BuiltinByteString #

Instances

Instances details
Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Data BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinByteString -> c BuiltinByteString Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinByteString Source #

toConstr :: BuiltinByteString -> Constr Source #

dataTypeOf :: BuiltinByteString -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinByteString) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinByteString) Source #

gmapT :: (forall b. Data b => b -> b) -> BuiltinByteString -> BuiltinByteString Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BuiltinByteString -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinByteString -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Show BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

NFData BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf :: BuiltinByteString -> () Source #

Serialise BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

encode :: BuiltinByteString -> Encoding

decode :: Decoder s BuiltinByteString

encodeList :: [BuiltinByteString] -> Encoding

decodeList :: Decoder s [BuiltinByteString]

Hashable BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinByteString -> Doc ann

prettyList :: [BuiltinByteString] -> Doc ann

ByteArray BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

allocRet :: Int -> (Ptr p -> IO a) -> IO (a, BuiltinByteString)

ByteArrayAccess BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Eq

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Monoid

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Ord

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Semigroup

FromBuiltin BuiltinByteString ByteString 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinByteString -> ByteString #

ToBuiltin ByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: ByteString -> BuiltinByteString #

toBuiltin :: ToBuiltin a arep => a -> arep #

fromBuiltin :: FromBuiltin arep a => arep -> a #

Bytes

newtype LedgerBytes Source #

Instances

Instances details
Eq LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Ord LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Show LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

IsString LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Generic LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Associated Types

type Rep LedgerBytes :: Type -> Type Source #

NFData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Methods

rnf :: LedgerBytes -> () Source #

Pretty LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Methods

pretty :: LedgerBytes -> Doc ann

prettyList :: [LedgerBytes] -> Doc ann

FromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

ToData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Eq LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Ord LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Lift DefaultUni LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Methods

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

Typeable DefaultUni LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Methods

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

type Rep LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

type Rep LedgerBytes = D1 ('MetaData "LedgerBytes" "Plutus.V1.Ledger.Bytes" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "LedgerBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

fromBytes :: ByteString -> LedgerBytes Source #

Certificates

data DCert Source #

A representation of the ledger DCert. Some information is digested, and not included

Constructors

DCertDelegRegKey StakingCredential 
DCertDelegDeRegKey StakingCredential 
DCertDelegDelegate 

Fields

DCertPoolRegister

A digest of the PoolParams

Fields

DCertPoolRetire PubKeyHash Integer

The retiremant certificate and the Epoch N

DCertGenesis

A really terse Digest

DCertMir

Another really terse Digest

Instances

Instances details
Eq DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

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

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

Ord DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Show DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Generic DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Associated Types

type Rep DCert :: Type -> Type Source #

Methods

from :: DCert -> Rep DCert x Source #

to :: Rep DCert x -> DCert Source #

NFData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

rnf :: DCert -> () Source #

Pretty DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

pretty :: DCert -> Doc ann

prettyList :: [DCert] -> Doc ann

FromData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

ToData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

UnsafeFromData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Eq DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

(==) :: DCert -> DCert -> Bool

Lift DefaultUni DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

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

Typeable DefaultUni DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Methods

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

type Rep DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Credentials

data StakingCredential Source #

Staking credential used to assign rewards

Instances

Instances details
Eq StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Ord StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Show StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Generic StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Associated Types

type Rep StakingCredential :: Type -> Type Source #

NFData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

rnf :: StakingCredential -> () Source #

Pretty StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

pretty :: StakingCredential -> Doc ann

prettyList :: [StakingCredential] -> Doc ann

FromData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

UnsafeFromData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Eq StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Lift DefaultUni StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

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

Typeable DefaultUni StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

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

type Rep StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

data Credential Source #

Credential required to unlock a transaction output

Constructors

PubKeyCredential PubKeyHash

The transaction that spends this output must be signed by the private key

ScriptCredential ValidatorHash

The transaction that spends this output must include the validator script and be accepted by the validator.

Instances

Instances details
Eq Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Ord Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Show Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Generic Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Associated Types

type Rep Credential :: Type -> Type Source #

NFData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

rnf :: Credential -> () Source #

Pretty Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

pretty :: Credential -> Doc ann

prettyList :: [Credential] -> Doc ann

FromData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

UnsafeFromData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Eq Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

(==) :: Credential -> Credential -> Bool

Lift DefaultUni Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

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

Typeable DefaultUni Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Methods

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

type Rep Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

type Rep Credential = D1 ('MetaData "Credential" "Plutus.V1.Ledger.Credential" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "PubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "ScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash)))

Value

newtype Value Source #

A cryptocurrency value. This is a map from CurrencySymbols to a quantity of that currency.

Operations on currencies are usually implemented pointwise. That is, we apply the operation to the quantities for each currency in turn. So when we add two Values the resulting Value has, for each currency, the sum of the quantities of that particular currency in the argument Value. The effect of this is that the currencies in the Value are "independent", and are operated on separately.

Whenever we need to get the quantity of a currency in a Value where there is no explicit quantity of that currency in the Value, then the quantity is taken to be zero.

See note [Currencies] for more details.

Instances

Instances details
Eq Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

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

Data Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value Source #

toConstr :: Value -> Constr Source #

dataTypeOf :: Value -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) Source #

gmapT :: (forall b. Data b => b -> b) -> Value -> Value Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

Show Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Generic Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Semigroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Monoid Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

NFData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

rnf :: Value -> () Source #

Pretty Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

pretty :: Value -> Doc ann

prettyList :: [Value] -> Doc ann

FromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Eq Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(==) :: Value -> Value -> Bool

JoinSemiLattice Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(\/) :: Value -> Value -> Value

MeetSemiLattice Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(/\) :: Value -> Value -> Value

Group Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

inv :: Value -> Value

Monoid Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

mempty :: Value

AdditiveGroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(-) :: Value -> Value -> Value

AdditiveMonoid Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

zero :: Value

AdditiveSemigroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(+) :: Value -> Value -> Value

Semigroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(<>) :: Value -> Value -> Value

Lift DefaultUni Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

Module Integer Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

scale :: Integer -> Value -> Value #

Typeable DefaultUni Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

type Rep Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

type Rep Value = D1 ('MetaData "Value" "Plutus.V1.Ledger.Value" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))

newtype CurrencySymbol Source #

Instances

Instances details
Eq CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Data CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CurrencySymbol -> c CurrencySymbol Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CurrencySymbol Source #

toConstr :: CurrencySymbol -> Constr Source #

dataTypeOf :: CurrencySymbol -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CurrencySymbol) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurrencySymbol) Source #

gmapT :: (forall b. Data b => b -> b) -> CurrencySymbol -> CurrencySymbol Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CurrencySymbol -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CurrencySymbol -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CurrencySymbol -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CurrencySymbol -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

Ord CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Show CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

IsString CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Generic CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Associated Types

type Rep CurrencySymbol :: Type -> Type Source #

NFData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

rnf :: CurrencySymbol -> () Source #

Pretty CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

pretty :: CurrencySymbol -> Doc ann

prettyList :: [CurrencySymbol] -> Doc ann

FromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Eq CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Ord CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Lift DefaultUni CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

Typeable DefaultUni CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

type Rep CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

type Rep CurrencySymbol = D1 ('MetaData "CurrencySymbol" "Plutus.V1.Ledger.Value" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "CurrencySymbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCurrencySymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype TokenName Source #

ByteString of a name of a token, shown as UTF-8 string when possible

Constructors

TokenName 

Instances

Instances details
Eq TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Data TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenName -> c TokenName Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenName Source #

toConstr :: TokenName -> Constr Source #

dataTypeOf :: TokenName -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TokenName) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenName) Source #

gmapT :: (forall b. Data b => b -> b) -> TokenName -> TokenName Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenName -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenName -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TokenName -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenName -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

Ord TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Show TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

IsString TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Generic TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Associated Types

type Rep TokenName :: Type -> Type Source #

NFData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

rnf :: TokenName -> () Source #

Pretty TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

pretty :: TokenName -> Doc ann

prettyList :: [TokenName] -> Doc ann

FromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Eq TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(==) :: TokenName -> TokenName -> Bool

Ord TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Lift DefaultUni TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

Typeable DefaultUni TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

type Rep TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

type Rep TokenName = D1 ('MetaData "TokenName" "Plutus.V1.Ledger.Value" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "TokenName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTokenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

singleton :: CurrencySymbol -> TokenName -> Integer -> Value Source #

Make a Value containing only the given quantity of the given currency.

adaSymbol :: CurrencySymbol Source #

The CurrencySymbol of the Ada currency.

adaToken :: TokenName Source #

The TokenName of the Ada currency.

Time

newtype POSIXTime Source #

POSIX time is measured as the number of milliseconds since 1970-01-01T00:00:00Z

Constructors

POSIXTime 

Instances

Instances details
Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Integral POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Num POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Real POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Show POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Generic POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep POSIXTime :: Type -> Type Source #

NFData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

rnf :: POSIXTime -> () Source #

Pretty POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

pretty :: POSIXTime -> Doc ann

prettyList :: [POSIXTime] -> Doc ann

FromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(==) :: POSIXTime -> POSIXTime -> Bool

AdditiveGroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

zero :: POSIXTime

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

type Rep POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "Plutus.V1.Ledger.Time" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Types for representing transactions

data Address Source #

Address with two kinds of credentials, normal and staking.

Instances

Instances details
Eq Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Ord Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Show Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Generic Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Associated Types

type Rep Address :: Type -> Type Source #

NFData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

rnf :: Address -> () Source #

Pretty Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

pretty :: Address -> Doc ann

prettyList :: [Address] -> Doc ann

FromData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

ToData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

UnsafeFromData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Eq Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

(==) :: Address -> Address -> Bool

Lift DefaultUni Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

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

Typeable DefaultUni Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

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

type Rep Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

type Rep Address = D1 ('MetaData "Address" "Plutus.V1.Ledger.Address" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "addressStakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StakingCredential))))

newtype PubKeyHash Source #

The hash of a public key. This is frequently used to identify the public key, rather than the key itself.

Instances

Instances details
Eq PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Ord PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Show PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

IsString PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Generic PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Associated Types

type Rep PubKeyHash :: Type -> Type Source #

NFData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

rnf :: PubKeyHash -> () Source #

Pretty PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

pretty :: PubKeyHash -> Doc ann

prettyList :: [PubKeyHash] -> Doc ann

FromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Eq PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

(==) :: PubKeyHash -> PubKeyHash -> Bool

Ord PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Lift DefaultUni PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

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

Typeable DefaultUni PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

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

type Rep PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

type Rep PubKeyHash = D1 ('MetaData "PubKeyHash" "Plutus.V1.Ledger.Crypto" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "PubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype TxId Source #

A transaction ID, using a SHA256 hash as the transaction id.

Constructors

TxId 

Instances

Instances details
Eq TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

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

Ord TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Show TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

IsString TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Generic TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Associated Types

type Rep TxId :: Type -> Type Source #

Methods

from :: TxId -> Rep TxId x Source #

to :: Rep TxId x -> TxId Source #

NFData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

rnf :: TxId -> () Source #

Pretty TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

FromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

UnsafeFromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Eq TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

Ord TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.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

Lift DefaultUni TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

Typeable DefaultUni TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

type Rep TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

type Rep TxId = D1 ('MetaData "TxId" "Plutus.V1.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data TxInfo Source #

A pending transaction. This is the view as seen by validator scripts, so some details are stripped out.

Constructors

TxInfo 

Fields

Instances

Instances details
Eq TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Show TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Generic TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Associated Types

type Rep TxInfo :: Type -> Type Source #

Pretty TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

FromData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Eq TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

(==) :: TxInfo -> TxInfo -> Bool

Lift DefaultUni TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

type Rep TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txInfoInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :*: (S1 ('MetaSel ('Just "txInfoReferenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :*: S1 ('MetaSel ('Just "txInfoOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]))) :*: (S1 ('MetaSel ('Just "txInfoFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: (S1 ('MetaSel ('Just "txInfoMint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "txInfoDCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DCert])))) :*: ((S1 ('MetaSel ('Just "txInfoWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map StakingCredential Integer)) :*: (S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange) :*: S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]))) :*: (S1 ('MetaSel ('Just "txInfoRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptPurpose Redeemer)) :*: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DatumHash Datum)) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))))

data TxOut Source #

A transaction output, consisting of a target address, a value, optionally a datum/datum hash, and optionally a reference script.

Instances

Instances details
Eq TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

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

Show TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Generic TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Associated Types

type Rep TxOut :: Type -> Type Source #

Methods

from :: TxOut -> Rep TxOut x Source #

to :: Rep TxOut x -> TxOut Source #

NFData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

rnf :: TxOut -> () Source #

Pretty TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

pretty :: TxOut -> Doc ann

prettyList :: [TxOut] -> Doc ann

FromData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

ToData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

UnsafeFromData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Eq TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

Lift DefaultUni TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

Typeable DefaultUni TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

type Rep TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "Plutus.V2.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" '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)))))

data TxOutRef Source #

A reference to a transaction output. This is a pair of a transaction reference, and an index indicating which of the outputs of that transaction we are referring to.

Constructors

TxOutRef 

Fields

Instances

Instances details
Eq TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Ord TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Show TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Generic TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Associated Types

type Rep TxOutRef :: Type -> Type Source #

NFData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

rnf :: TxOutRef -> () Source #

Pretty TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

pretty :: TxOutRef -> Doc ann

prettyList :: [TxOutRef] -> Doc ann

FromData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

UnsafeFromData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Eq TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

Lift DefaultUni TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

Typeable DefaultUni TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

type Rep TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

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

data TxInInfo Source #

An input of a pending transaction.

Instances

Instances details
Eq TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Show TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Generic TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Associated Types

type Rep TxInInfo :: Type -> Type Source #

Pretty TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

pretty :: TxInInfo -> Doc ann

prettyList :: [TxInInfo] -> Doc ann

FromData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Eq TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool

Lift DefaultUni TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

Typeable DefaultUni TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

Methods

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

type Rep TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

data OutputDatum Source #

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

Instances

Instances details
Eq OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Show OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Generic OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Associated Types

type Rep OutputDatum :: Type -> Type Source #

NFData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

rnf :: OutputDatum -> () Source #

Pretty OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

pretty :: OutputDatum -> Doc ann

prettyList :: [OutputDatum] -> Doc ann

FromData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

ToData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

UnsafeFromData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Eq OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Lift DefaultUni OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

Typeable DefaultUni OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

Methods

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

type Rep OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

type Rep OutputDatum = D1 ('MetaData "OutputDatum" "Plutus.V2.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "NoOutputDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)) :+: C1 ('MetaCons "OutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datum))))

Intervals

data Interval a Source #

An interval of as.

The interval may be either closed or open at either end, meaning that the endpoints may or may not be included in the interval.

The interval can also be unbounded on either side.

Constructors

Interval 

Fields

Instances

Instances details
Functor Interval Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> Interval a -> Interval b

(Typeable DefaultUni a, Lift DefaultUni (LowerBound a), Lift DefaultUni (UpperBound a)) => Lift DefaultUni (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Interval a -> Interval a -> Bool Source #

(/=) :: Interval a -> Interval a -> Bool Source #

Ord a => Ord (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (Interval a) :: Type -> Type Source #

Methods

from :: Interval a -> Rep (Interval a) x Source #

to :: Rep (Interval a) x -> Interval a Source #

NFData a => NFData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: Interval a -> () Source #

Pretty a => Pretty (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: Interval a -> Doc ann

prettyList :: [Interval a] -> Doc ann

FromData a => FromData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Eq a => Eq (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Interval a -> Interval a -> Bool

Ord a => BoundedJoinSemiLattice (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

bottom :: Interval a

Ord a => BoundedMeetSemiLattice (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

top :: Interval a

Ord a => JoinSemiLattice (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(\/) :: Interval a -> Interval a -> Interval a

Ord a => MeetSemiLattice (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(/\) :: Interval a -> Interval a -> Interval a

Typeable DefaultUni Interval Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

type Rep (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

type Rep (Interval a) = D1 ('MetaData "Interval" "Plutus.V1.Ledger.Interval" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "Interval" 'PrefixI 'True) (S1 ('MetaSel ('Just "ivFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LowerBound a)) :*: S1 ('MetaSel ('Just "ivTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpperBound a))))

data Extended a Source #

A set extended with a positive and negative infinity.

Constructors

NegInf 
Finite a 
PosInf 

Instances

Instances details
Functor Extended Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> Extended a -> Extended b

(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Extended a -> Extended a -> Bool Source #

(/=) :: Extended a -> Extended a -> Bool Source #

Ord a => Ord (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (Extended a) :: Type -> Type Source #

Methods

from :: Extended a -> Rep (Extended a) x Source #

to :: Rep (Extended a) x -> Extended a Source #

NFData a => NFData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: Extended a -> () Source #

Pretty a => Pretty (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: Extended a -> Doc ann

prettyList :: [Extended a] -> Doc ann

FromData a => FromData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Eq a => Eq (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Extended a -> Extended a -> Bool

Ord a => Ord (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

compare :: Extended a -> Extended a -> Ordering

(<) :: Extended a -> Extended a -> Bool

(<=) :: Extended a -> Extended a -> Bool

(>) :: Extended a -> Extended a -> Bool

(>=) :: Extended a -> Extended a -> Bool

max :: Extended a -> Extended a -> Extended a

min :: Extended a -> Extended a -> Extended a

Typeable DefaultUni Extended Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

type Rep (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

type Rep (Extended a) = D1 ('MetaData "Extended" "Plutus.V1.Ledger.Interval" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "NegInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Finite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "PosInf" 'PrefixI 'False) (U1 :: Type -> Type)))

type Closure = Bool Source #

Whether a bound is inclusive or not.

data UpperBound a Source #

The upper bound of an interval.

Constructors

UpperBound (Extended a) Closure 

Instances

Instances details
Functor UpperBound Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> UpperBound a -> UpperBound b

(Typeable DefaultUni a, Lift DefaultUni (Extended a)) => Lift DefaultUni (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Ord a => Ord (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (UpperBound a) :: Type -> Type Source #

Methods

from :: UpperBound a -> Rep (UpperBound a) x Source #

to :: Rep (UpperBound a) x -> UpperBound a Source #

NFData a => NFData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: UpperBound a -> () Source #

Pretty a => Pretty (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: UpperBound a -> Doc ann

prettyList :: [UpperBound a] -> Doc ann

FromData a => FromData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Eq a => Eq (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: UpperBound a -> UpperBound a -> Bool

Ord a => Ord (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Typeable DefaultUni UpperBound Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

type Rep (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

type Rep (UpperBound a) = D1 ('MetaData "UpperBound" "Plutus.V1.Ledger.Interval" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "UpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))

data LowerBound a Source #

The lower bound of an interval.

Constructors

LowerBound (Extended a) Closure 

Instances

Instances details
Functor LowerBound Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> LowerBound a -> LowerBound b

(Typeable DefaultUni a, Lift DefaultUni (Extended a)) => Lift DefaultUni (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Ord a => Ord (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (LowerBound a) :: Type -> Type Source #

Methods

from :: LowerBound a -> Rep (LowerBound a) x Source #

to :: Rep (LowerBound a) x -> LowerBound a Source #

NFData a => NFData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: LowerBound a -> () Source #

Pretty a => Pretty (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: LowerBound a -> Doc ann

prettyList :: [LowerBound a] -> Doc ann

FromData a => FromData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Eq a => Eq (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: LowerBound a -> LowerBound a -> Bool

Ord a => Ord (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Typeable DefaultUni LowerBound Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

type Rep (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

type Rep (LowerBound a) = D1 ('MetaData "LowerBound" "Plutus.V1.Ledger.Interval" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "LowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))

always :: Interval a Source #

An Interval that covers every slot.

from :: a -> Interval a Source #

from a is an Interval that includes all values that are greater than or equal to a.

to :: a -> Interval a Source #

to a is an Interval that includes all values that are smaller than or equal to a.

Association maps

data Map k v #

Instances

Instances details
Lift DefaultUni [(k, v)] => Lift DefaultUni (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

lift :: Map k v -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Foldable (Map k) 
Instance details

Defined in PlutusTx.AssocMap

Methods

foldMap :: Monoid m => (a -> m) -> Map k a -> m

Functor (Map k) 
Instance details

Defined in PlutusTx.AssocMap

Methods

fmap :: (a -> b) -> Map k a -> Map k b

Traversable (Map k) 
Instance details

Defined in PlutusTx.AssocMap

Methods

traverse :: Applicative f => (a -> f b) -> Map k a -> f (Map k b)

(Eq k, Eq v) => Eq (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

(==) :: Map k v -> Map k v -> Bool Source #

(/=) :: Map k v -> Map k v -> Bool Source #

(Data k, Data v) => Data (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k v -> c (Map k v) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k v) Source #

toConstr :: Map k v -> Constr Source #

dataTypeOf :: Map k v -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k v)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k v)) Source #

gmapT :: (forall b. Data b => b -> b) -> Map k v -> Map k v Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k v -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k v -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Map k v -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k v -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v) Source #

(Show k, Show v) => Show (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

showsPrec :: Int -> Map k v -> ShowS Source #

show :: Map k v -> String Source #

showList :: [Map k v] -> ShowS Source #

Generic (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Associated Types

type Rep (Map k v) :: Type -> Type Source #

Methods

from :: Map k v -> Rep (Map k v) x Source #

to :: Rep (Map k v) x -> Map k v Source #

(NFData k, NFData v) => NFData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

rnf :: Map k v -> () Source #

(Pretty k, Pretty v) => Pretty (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

pretty :: Map k v -> Doc ann

prettyList :: [Map k v] -> Doc ann

(FromData k, FromData v) => FromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

(ToData k, ToData v) => ToData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

toBuiltinData :: Map k v -> BuiltinData #

(UnsafeFromData k, UnsafeFromData v) => UnsafeFromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

(Eq k, Eq v) => Eq (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

(==) :: Map k v -> Map k v -> Bool

(Eq k, Semigroup v) => Monoid (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

mempty :: Map k v

(Ord k, Ord v) => Ord (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

compare :: Map k v -> Map k v -> Ordering

(<) :: Map k v -> Map k v -> Bool

(<=) :: Map k v -> Map k v -> Bool

(>) :: Map k v -> Map k v -> Bool

(>=) :: Map k v -> Map k v -> Bool

max :: Map k v -> Map k v -> Map k v

min :: Map k v -> Map k v -> Map k v

(Eq k, Semigroup v) => Semigroup (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

(<>) :: Map k v -> Map k v -> Map k v

Typeable DefaultUni Map 
Instance details

Defined in PlutusTx.AssocMap

Methods

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

type Rep (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

type Rep (Map k v) = D1 ('MetaData "Map" "PlutusTx.AssocMap" "plutus-tx-1.0.0.0-CTJpb0OSKTj2IwExKen56o" 'True) (C1 ('MetaCons "Map" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(k, v)])))

fromList :: [(k, v)] -> Map k v #

Newtypes for script/datum types and hash types

newtype Validator Source #

Validator is a wrapper around Scripts which are used as validators in transaction outputs.

Constructors

Validator 

Fields

Instances

Instances details
Eq Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Validator :: Type -> Type Source #

NFData Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Validator -> () Source #

Serialise Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

encode :: Validator -> Encoding

decode :: Decoder s Validator

encodeList :: [Validator] -> Encoding

decodeList :: Decoder s [Validator]

Pretty Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Validator -> Doc ann

prettyList :: [Validator] -> Doc ann

type Rep Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Validator = D1 ('MetaData "Validator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype ValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ValidatorHash :: Type -> Type Source #

NFData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ValidatorHash -> () Source #

Pretty ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: ValidatorHash -> Doc ann

prettyList :: [ValidatorHash] -> Doc ann

FromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ValidatorHash = D1 ('MetaData "ValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "ValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype MintingPolicy Source #

MintingPolicy is a wrapper around Scripts which are used as validators for minting constraints.

Constructors

MintingPolicy 

Instances

Instances details
Eq MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicy :: Type -> Type Source #

NFData MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: MintingPolicy -> () Source #

Serialise MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

encode :: MintingPolicy -> Encoding

decode :: Decoder s MintingPolicy

encodeList :: [MintingPolicy] -> Encoding

decodeList :: Decoder s [MintingPolicy]

Pretty MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: MintingPolicy -> Doc ann

prettyList :: [MintingPolicy] -> Doc ann

type Rep MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicy = D1 ('MetaData "MintingPolicy" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicy" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMintingPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype MintingPolicyHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicyHash :: Type -> Type Source #

NFData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: MintingPolicyHash -> () Source #

Pretty MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: MintingPolicyHash -> Doc ann

prettyList :: [MintingPolicyHash] -> Doc ann

FromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicyHash = D1 ('MetaData "MintingPolicyHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype StakeValidator Source #

StakeValidator is a wrapper around Scripts which are used as validators for withdrawals and stake address certificates.

Constructors

StakeValidator 

Instances

Instances details
Eq StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidator :: Type -> Type Source #

NFData StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: StakeValidator -> () Source #

Serialise StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

encode :: StakeValidator -> Encoding

decode :: Decoder s StakeValidator

encodeList :: [StakeValidator] -> Encoding

decodeList :: Decoder s [StakeValidator]

Pretty StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: StakeValidator -> Doc ann

prettyList :: [StakeValidator] -> Doc ann

type Rep StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidator = D1 ('MetaData "StakeValidator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "StakeValidator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStakeValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype StakeValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidatorHash :: Type -> Type Source #

NFData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: StakeValidatorHash -> () Source #

Pretty StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: StakeValidatorHash -> Doc ann

prettyList :: [StakeValidatorHash] -> Doc ann

FromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidatorHash = D1 ('MetaData "StakeValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "StakeValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype Redeemer Source #

Redeemer is a wrapper around Data values that are used as redeemers in transaction inputs.

Constructors

Redeemer 

Instances

Instances details
Eq Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Redeemer :: Type -> Type Source #

NFData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Redeemer -> () Source #

Pretty Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Redeemer -> Doc ann

prettyList :: [Redeemer] -> Doc ann

FromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: Redeemer -> Redeemer -> Bool

Lift DefaultUni Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Redeemer = D1 ('MetaData "Redeemer" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

newtype RedeemerHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep RedeemerHash :: Type -> Type Source #

NFData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: RedeemerHash -> () Source #

Pretty RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: RedeemerHash -> Doc ann

prettyList :: [RedeemerHash] -> Doc ann

FromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype Datum Source #

Datum is a wrapper around Data values which are used as data in transaction outputs.

Constructors

Datum 

Instances

Instances details
Eq Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

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

Ord Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Datum :: Type -> Type Source #

Methods

from :: Datum -> Rep Datum x Source #

to :: Rep Datum x -> Datum Source #

NFData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Datum -> () Source #

Pretty Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Datum -> Doc ann

prettyList :: [Datum] -> Doc ann

FromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: Datum -> Datum -> Bool

Lift DefaultUni Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Datum = D1 ('MetaData "Datum" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

newtype DatumHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep DatumHash :: Type -> Type Source #

NFData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: DatumHash -> () Source #

Pretty DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: DatumHash -> Doc ann

prettyList :: [DatumHash] -> Doc ann

FromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: DatumHash -> DatumHash -> Bool

Ord DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep DatumHash = D1 ('MetaData "DatumHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype ScriptHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ScriptHash :: Type -> Type Source #

NFData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ScriptHash -> () Source #

Pretty ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: ScriptHash -> Doc ann

prettyList :: [ScriptHash] -> Doc ann

FromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: ScriptHash -> ScriptHash -> Bool

Ord ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Data

data Data #

Constructors

Constr Integer [Data] 
Map [(Data, Data)] 
List [Data] 
I Integer 
B ByteString 

Instances

Instances details
Eq Data 
Instance details

Defined in PlutusCore.Data

Methods

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

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

Data Data 
Instance details

Defined in PlutusCore.Data

Methods

gfoldl :: (forall d b. Data0 d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Data -> c Data Source #

gunfold :: (forall b r. Data0 b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Data Source #

toConstr :: Data -> Constr Source #

dataTypeOf :: Data -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data0 d => c (t d)) -> Maybe (c Data) Source #

dataCast2 :: Typeable t => (forall d e. (Data0 d, Data0 e) => c (t d e)) -> Maybe (c Data) Source #

gmapT :: (forall b. Data0 b => b -> b) -> Data -> Data Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data0 d => d -> r') -> Data -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data0 d => d -> r') -> Data -> r Source #

gmapQ :: (forall d. Data0 d => d -> u) -> Data -> [u] Source #

gmapQi :: Int -> (forall d. Data0 d => d -> u) -> Data -> u Source #

gmapM :: Monad m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source #

gmapMp :: MonadPlus m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source #

gmapMo :: MonadPlus m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source #

Ord Data 
Instance details

Defined in PlutusCore.Data

Show Data 
Instance details

Defined in PlutusCore.Data

Generic Data 
Instance details

Defined in PlutusCore.Data

Associated Types

type Rep Data :: Type -> Type Source #

Methods

from :: Data -> Rep Data x Source #

to :: Rep Data x -> Data Source #

NFData Data 
Instance details

Defined in PlutusCore.Data

Methods

rnf :: Data -> () Source #

Serialise Data 
Instance details

Defined in PlutusCore.Data

Methods

encode :: Data -> Encoding

decode :: Decoder s Data

encodeList :: [Data] -> Encoding

decodeList :: Decoder s [Data]

Pretty Data 
Instance details

Defined in PlutusCore.Data

Methods

pretty :: Data -> Doc ann

prettyList :: [Data] -> Doc ann

ExMemoryUsage Data 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy ConstConfig Data 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

prettyBy :: ConstConfig -> Data -> Doc ann

prettyListBy :: ConstConfig -> [Data] -> Doc ann

HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

makeKnown :: Maybe cause -> Data -> MakeKnownM cause term

HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

readKnown :: Maybe cause -> term -> ReadKnownM cause Data

Contains DefaultUni Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

knownUni :: DefaultUni (Esc Data)

KnownBuiltinTypeAst DefaultUni Data => KnownTypeAst DefaultUni Data 
Instance details

Defined in PlutusCore.Default.Universe

Associated Types

type ToHoles Data :: [Hole]

type ToBinds Data :: [Some TyNameRep]

Methods

toTypeAst :: proxy Data -> Type TyName DefaultUni ()

type Rep Data 
Instance details

Defined in PlutusCore.Data

type ToBinds Data 
Instance details

Defined in PlutusCore.Default.Universe

type ToBinds Data = ToBinds (ElaborateBuiltin Data)
type ToHoles Data 
Instance details

Defined in PlutusCore.Default.Universe

type ToHoles Data = ToHoles (ElaborateBuiltin Data)

data BuiltinData #

Constructors

BuiltinData Data 

Instances

Instances details
Eq BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Data BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinData -> c BuiltinData Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinData Source #

toConstr :: BuiltinData -> Constr Source #

dataTypeOf :: BuiltinData -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinData) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinData) Source #

gmapT :: (forall b. Data b => b -> b) -> BuiltinData -> BuiltinData Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BuiltinData -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinData -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

Ord BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Show BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

NFData BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf :: BuiltinData -> () Source #

Pretty BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinData -> Doc ann

prettyList :: [BuiltinData] -> Doc ann

FromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

ToData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Eq BuiltinData 
Instance details

Defined in PlutusTx.Eq

FromBuiltin BuiltinData BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin BuiltinData BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: [(BuiltinData, BuiltinData)] -> BuiltinList (BuiltinPair BuiltinData BuiltinData) #

ToBuiltin [BuiltinData] (BuiltinList BuiltinData) 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: [BuiltinData] -> BuiltinList BuiltinData #

ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) 
Instance details

Defined in PlutusTx.Builtins.Class

class ToData a where #

Methods

toBuiltinData :: a -> BuiltinData #

Instances

Instances details
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => ToData Int 
Instance details

Defined in PlutusTx.IsData.Class

ToData Integer 
Instance details

Defined in PlutusTx.IsData.Class

ToData Void 
Instance details

Defined in PlutusTx.IsData.Class

ToData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

ToData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

toBuiltinData :: Rational -> BuiltinData #

ToData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

ToData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData AssetClass Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

ToData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

ToData TxOut Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

ToData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

ToData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData TxInInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

ToData a => ToData [a] 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: [a] -> BuiltinData #

ToData a => ToData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

ToData a => ToData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

(ToData k, ToData v) => ToData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

toBuiltinData :: Map k v -> BuiltinData #

class FromData a where #

Instances

Instances details
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => FromData Int 
Instance details

Defined in PlutusTx.IsData.Class

FromData Integer 
Instance details

Defined in PlutusTx.IsData.Class

FromData Void 
Instance details

Defined in PlutusTx.IsData.Class

FromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

FromData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

fromBuiltinData :: BuiltinData -> Maybe Rational #

FromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

FromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData AssetClass Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

FromData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

FromData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

FromData TxOut Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

FromData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

FromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

FromData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

FromData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

FromData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData TxInInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

FromData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

FromData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

FromData a => FromData [a] 
Instance details

Defined in PlutusTx.IsData.Class

FromData a => FromData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

FromData a => FromData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

FromData a => FromData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

FromData a => FromData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

(FromData k, FromData v) => FromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

class UnsafeFromData a where #

Instances

Instances details
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => UnsafeFromData Int 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData Integer 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData Void 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

unsafeFromBuiltinData :: BuiltinData -> Rational #

UnsafeFromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

UnsafeFromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData AssetClass Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

UnsafeFromData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

UnsafeFromData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

UnsafeFromData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

UnsafeFromData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

UnsafeFromData TxOut Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

UnsafeFromData TxOutRef Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

UnsafeFromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.Tx

UnsafeFromData TxOut Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

UnsafeFromData OutputDatum Source # 
Instance details

Defined in Plutus.V2.Ledger.Tx

UnsafeFromData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData TxInInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData TxInInfo Source # 
Instance details

Defined in Plutus.V2.Ledger.Contexts

UnsafeFromData a => UnsafeFromData [a] 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData a => UnsafeFromData (LowerBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (UpperBound a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (Extended a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

UnsafeFromData a => UnsafeFromData (Interval a) Source # 
Instance details

Defined in Plutus.V1.Ledger.Interval

(UnsafeFromData k, UnsafeFromData v) => UnsafeFromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

toData :: ToData a => a -> Data #

Errors

data EvaluationError Source #

Errors that can be thrown when evaluating a Plutus script.

Constructors

CekError (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun)

An error from the evaluator itself

DeBruijnError FreeVariableError

An error in the pre-evaluation step of converting from de-Bruijn indices

CodecError DeserialiseFailure

A serialisation error

IncompatibleVersionError (Version ())

An error indicating a version tag that we don't support TODO: make this error more informative when we have more information about what went wrong

CostModelParameterMismatch

An error indicating that the cost model parameters didn't match what we expected

Instances

Instances details
Eq EvaluationError Source # 
Instance details

Defined in Plutus.ApiCommon

Show EvaluationError Source # 
Instance details

Defined in Plutus.ApiCommon

Pretty EvaluationError Source # 
Instance details

Defined in Plutus.ApiCommon

Methods

pretty :: EvaluationError -> Doc ann

prettyList :: [EvaluationError] -> Doc ann