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

Plutus.V1.Ledger.Api

Description

The interface to Plutus V1 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 # 
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 #

ToJSON Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

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

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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

validateScript :: SerializedScript -> Bool Source #

Check if a Script is "valid". At the moment this just means "deserialises correctly", which in particular implies that it is (almost certainly) an encoded script and cannot be interpreted as some other kind of encoded data.

Running scripts

evaluateScriptRestricting Source #

Arguments

:: VerboseMode

Whether to produce log output

-> CostModelParams

The cost model to use

-> 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

:: VerboseMode

Whether to produce log output

-> CostModelParams

The cost model to use

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

Verbose mode and log output

data VerboseMode Source #

Constructors

Verbose 
Quiet 

Instances

Instances details
Eq VerboseMode Source # 
Instance details

Defined in Plutus.V1.Ledger.Api

Costing-related types

data ExBudget Source #

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

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

FromJSON 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 Source #

prettyList :: [ExBudget] -> Doc ann Source #

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 Source #

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

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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 Source #

Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.

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

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON 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 Source #

prettyList :: [ExCPU] -> Doc ann Source #

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 Source #

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

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

newtype ExMemory Source #

Counts size in machine words.

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

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExMemory -> () Source #

ExMemoryUsage ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann Source #

prettyList :: [ExMemory] -> Doc ann Source #

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 Source #

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

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

data SatInt Source #

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

In the Num instance, we plug in our own addition, multiplication and subtraction function that perform overflow-checking.

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 #

ToJSON SatInt 
Instance details

Defined in Data.SatInt

FromJSON SatInt 
Instance details

Defined in Data.SatInt

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 #

FromField SatInt 
Instance details

Defined in Data.SatInt

Prim SatInt 
Instance details

Defined in Data.SatInt

ExMemoryUsage SatInt 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Cost model

defaultCostModelParams :: Maybe CostModelParams Source #

The default cost model data. This is exposed to the ledger, so let's not confuse anybody by mentioning the CEK machine

Context types

data ScriptContext Source #

Instances

Instances details
Eq ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Show ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep ScriptContext :: Type -> Type Source #

Pretty ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

ToData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Eq ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep ScriptContext Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "Plutus.V1.Ledger.Contexts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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

ToData ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData 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

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep ScriptPurpose Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Supporting types used in the context types

ByteStrings

data BuiltinByteString Source #

An opaque type representing Plutus Core ByteStrings.

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

Generic BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Associated Types

type Rep BuiltinByteString :: Type -> Type Source #

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Hashable BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

ToJSON BuiltinByteString Source # 
Instance details

Defined in Plutus.V1.Ledger.Orphans

FromJSON BuiltinByteString Source # 
Instance details

Defined in Plutus.V1.Ledger.Orphans

NFData BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf :: BuiltinByteString -> () Source #

ByteArray BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

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

ByteArrayAccess BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Monoid

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Semigroup

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Ord

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Eq

Serialise BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

FromBuiltin BuiltinByteString ByteString 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin ByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Class

type Rep BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

type Rep BuiltinByteString = D1 ('MetaData "BuiltinByteString" "PlutusTx.Builtins.Internal" "plutus-tx-0.1.0.0-M6gHRgnICdCVQPLsnC794" 'True) (C1 ('MetaCons "BuiltinByteString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

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

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

Bytes

newtype LedgerBytes Source #

'Bultins.SizedByteString 32' with various useful JSON and servant instances for the Playground, and a convenient bridge type for PureScript.

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 #

ToJSON LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

ToJSONKey LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

FromJSON LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

FromJSONKey LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

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

ToData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

FromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Ord LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Eq LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Serialise LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Lift DefaultUni LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

Typeable DefaultUni LedgerBytes Source # 
Instance details

Defined in Plutus.V1.Ledger.Bytes

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "LedgerBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

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 #

Hashable DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

ToJSON DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

FromJSON DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

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 Source #

prettyList :: [DCert] -> Doc ann Source #

ToData DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

FromData 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 Source #

Serialise DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Lift DefaultUni DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

Typeable DefaultUni DCert Source # 
Instance details

Defined in Plutus.V1.Ledger.DCert

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 #

Hashable StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToJSON StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromJSON StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

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

ToData StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromData 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

Serialise StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Lift DefaultUni StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Typeable DefaultUni StakingCredential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

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 #

Hashable Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

ToJSON Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromJSON Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

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

ToData Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

FromData 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

Serialise Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Lift DefaultUni Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

Typeable DefaultUni Credential Source # 
Instance details

Defined in Plutus.V1.Ledger.Credential

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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

Hashable Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSON Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromJSON 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 Source #

prettyList :: [Value] -> Doc ann Source #

ToData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

JoinSemiLattice Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

MeetSemiLattice Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

AdditiveSemigroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(+) :: Value -> Value -> Value Source #

AdditiveMonoid Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

zero :: Value Source #

AdditiveGroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

Monoid Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

mempty :: Value Source #

Group Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

inv :: Value -> Value Source #

Semigroup Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

(<>) :: Value -> Value -> Value Source #

Eq Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

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

Serialise Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Module Integer Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Methods

scale :: Integer -> Value -> Value Source #

Lift DefaultUni Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Typeable DefaultUni Value Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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 #

Hashable CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSON CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSONKey CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromJSON CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromJSONKey CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

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

ToData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Ord CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Eq CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Serialise CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Lift DefaultUni CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Typeable DefaultUni CurrencySymbol Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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 #

Hashable TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSON TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromJSON TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

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 Source #

prettyList :: [TokenName] -> Doc ann Source #

ToData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

FromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

UnsafeFromData TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Ord TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Eq TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Serialise TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Lift DefaultUni TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

Typeable DefaultUni TokenName Source # 
Instance details

Defined in Plutus.V1.Ledger.Value

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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.

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 #

Hashable POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToJSON POSIXTime Source #

Custom ToJSON instance which allows to simply convert a POSIXTime value to a JSON number.

Instance details

Defined in Plutus.V1.Ledger.Time

ToJSONKey POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromJSON POSIXTime Source #

Custom FromJSON instance which allows to parse a JSON number to a POSIXTime value. The parsed JSON value MUST be an Integer or else the parsing fails.

Instance details

Defined in Plutus.V1.Ledger.Time

FromJSONKey POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

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 Source #

prettyList :: [POSIXTime] -> Doc ann Source #

Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveGroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Serialise POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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 #

Hashable Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

ToJSON Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

ToJSONKey Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

FromJSON Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

FromJSONKey Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

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 Source #

prettyList :: [Address] -> Doc ann Source #

ToData Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

FromData 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 Source #

Serialise Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Lift DefaultUni Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

Typeable DefaultUni Address Source # 
Instance details

Defined in Plutus.V1.Ledger.Address

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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 #

Hashable PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToJSON PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToJSONKey PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

FromJSON PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

FromJSONKey PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

NFData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

rnf :: PubKeyHash -> () Source #

Newtype PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Associated Types

type O PubKeyHash Source #

Pretty PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

FromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Ord PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Eq PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Serialise PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Lift DefaultUni PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Typeable DefaultUni PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "PubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type O PubKeyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Crypto

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.TxId

Methods

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

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

Ord TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Show TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

IsString TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Generic TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Associated Types

type Rep TxId :: Type -> Type Source #

Methods

from :: TxId -> Rep TxId x Source #

to :: Rep TxId x -> TxId Source #

ToJSON TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

ToJSONKey TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

FromJSON TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

FromJSONKey TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

NFData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Methods

rnf :: TxId -> () Source #

Pretty TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Methods

pretty :: TxId -> Doc ann Source #

prettyList :: [TxId] -> Doc ann Source #

ToData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

FromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

UnsafeFromData TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Ord TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Eq TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Methods

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

Serialise TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Lift DefaultUni TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

Typeable DefaultUni TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

type Rep TxId Source # 
Instance details

Defined in Plutus.V1.Ledger.TxId

type Rep TxId = D1 ('MetaData "TxId" "Plutus.V1.Ledger.TxId" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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.V1.Ledger.Contexts

Show TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep TxInfo :: Type -> Type Source #

Pretty TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: TxInfo -> Doc ann Source #

prettyList :: [TxInfo] -> Doc ann Source #

ToData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

FromData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Eq TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Lift DefaultUni TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep TxInfo Source # 
Instance details

Defined in Plutus.V1.Ledger.Contexts

data TxOut Source #

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

Constructors