plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Contexts

Synopsis

Documentation

type PTuple a b = PDataSum '['["_0" := a, "_1" := b]] Source #

newtype PScriptContext (s :: S) Source #

Script context consists of the script purpose and the pending transaction info.

Constructors

PScriptContext (Term s (PDataRecord '["txInfo" := PTxInfo, "purpose" := PScriptPurpose])) 

Instances

Instances details
PEq PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool Source #

PIsData PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext Source #

pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData Source #

PDataFields PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PFields PScriptContext :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s PScriptContext -> Term s (PDataRecord (PFields PScriptContext)) Source #

DerivePlutusType PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type DPTStrat PScriptContext Source #

PlutusType PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PInner PScriptContext :: PType Source #

type PCovariant' PScriptContext Source #

type PContravariant' PScriptContext Source #

type PVariant' PScriptContext Source #

Methods

pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b Source #

PUnsafeLiftDecl PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PLifted PScriptContext = (r :: Type) Source #

PShow PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString Source #

Generic (PScriptContext s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type Rep (PScriptContext s) :: Type -> Type Source #

Methods

from :: PScriptContext s -> Rep (PScriptContext s) x Source #

to :: Rep (PScriptContext s) x -> PScriptContext s Source #

type PFields PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PFields PScriptContext
type DPTStrat PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type DPTStrat PScriptContext = PlutusTypeData
type PContravariant' PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PContravariant' PScriptContext
type PCovariant' PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PCovariant' PScriptContext
type PInner PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PInner PScriptContext = DerivedPInner (DPTStrat PScriptContext) PScriptContext
type PVariant' PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PVariant' PScriptContext
type PLifted PScriptContext Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PLifted PScriptContext = ScriptContext
type Rep (PScriptContext s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.Api.V1.Contexts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PScriptContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["txInfo" := PTxInfo, "purpose" := PScriptPurpose])))))

newtype PTxInfo (s :: S) Source #

A pending transaction. This is the view as seen by the validator script.

Constructors

PTxInfo (Term s (PDataRecord '["inputs" := PBuiltinList PTxInInfo, "outputs" := PBuiltinList PTxOut, "fee" := PValue 'Sorted 'Positive, "mint" := PValue 'Sorted 'NoGuarantees, "dcert" := PBuiltinList PDCert, "wdrl" := PBuiltinList (PAsData (PTuple PStakingCredential PInteger)), "validRange" := PPOSIXTimeRange, "signatories" := PBuiltinList (PAsData PPubKeyHash), "datums" := PBuiltinList (PAsData (PTuple PDatumHash PDatum)), "id" := PTxId])) 

Instances

Instances details
PEq PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool Source #

PIsData PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo Source #

pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData Source #

PDataFields PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PFields PTxInfo :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s PTxInfo -> Term s (PDataRecord (PFields PTxInfo)) Source #

DerivePlutusType PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type DPTStrat PTxInfo Source #

PlutusType PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PInner PTxInfo :: PType Source #

type PCovariant' PTxInfo Source #

type PContravariant' PTxInfo Source #

type PVariant' PTxInfo Source #

Methods

pcon' :: forall (s :: S). PTxInfo s -> Term s (PInner PTxInfo) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInfo) -> (PTxInfo s -> Term s b) -> Term s b Source #

PUnsafeLiftDecl PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PLifted PTxInfo = (r :: Type) Source #

PShow PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString Source #

Generic (PTxInfo s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type Rep (PTxInfo s) :: Type -> Type Source #

Methods

from :: PTxInfo s -> Rep (PTxInfo s) x Source #

to :: Rep (PTxInfo s) x -> PTxInfo s Source #

type PFields PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PFields PTxInfo
type DPTStrat PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type DPTStrat PTxInfo = PlutusTypeData
type PContravariant' PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PContravariant' PTxInfo
type PCovariant' PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PCovariant' PTxInfo
type PInner PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PInner PTxInfo = DerivedPInner (DPTStrat PTxInfo) PTxInfo
type PVariant' PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PVariant' PTxInfo
type PLifted PTxInfo Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PLifted PTxInfo = TxInfo
type Rep (PTxInfo s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.Api.V1.Contexts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["inputs" := PBuiltinList PTxInInfo, "outputs" := PBuiltinList PTxOut, "fee" := PValue 'Sorted 'Positive, "mint" := PValue 'Sorted 'NoGuarantees, "dcert" := PBuiltinList PDCert, "wdrl" := PBuiltinList (PAsData (PTuple PStakingCredential PInteger)), "validRange" := PPOSIXTimeRange, "signatories" := PBuiltinList (PAsData PPubKeyHash), "datums" := PBuiltinList (PAsData (PTuple PDatumHash PDatum)), "id" := PTxId])))))

data PScriptPurpose (s :: S) Source #

The purpose of the script that is currently running

Constructors

PMinting (Term s (PDataRecord '["_0" := PCurrencySymbol])) 
PSpending (Term s (PDataRecord '["_0" := PTxOutRef])) 
PRewarding (Term s (PDataRecord '["_0" := PStakingCredential])) 
PCertifying (Term s (PDataRecord '["_0" := PDCert])) 

Instances

Instances details
PEq PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool Source #

PIsData PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose Source #

pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData Source #

DerivePlutusType PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type DPTStrat PScriptPurpose Source #

PlutusType PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PInner PScriptPurpose :: PType Source #

type PCovariant' PScriptPurpose Source #

type PContravariant' PScriptPurpose Source #

type PVariant' PScriptPurpose Source #

Methods

pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b Source #

PUnsafeLiftDecl PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type PLifted PScriptPurpose = (r :: Type) Source #

PShow PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString Source #

Generic (PScriptPurpose s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

Associated Types

type Rep (PScriptPurpose s) :: Type -> Type Source #

Methods

from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source #

to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source #

type DPTStrat PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type DPTStrat PScriptPurpose = PlutusTypeData
type PContravariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PContravariant' PScriptPurpose
type PCovariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PCovariant' PScriptPurpose
type PInner PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PInner PScriptPurpose = DerivedPInner (DPTStrat PScriptPurpose) PScriptPurpose
type PVariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PVariant' PScriptPurpose
type PLifted PScriptPurpose Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type PLifted PScriptPurpose = ScriptPurpose
type Rep (PScriptPurpose s) Source # 
Instance details

Defined in Plutarch.Api.V1.Contexts

type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.Api.V1.Contexts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PCurrencySymbol])))) :+: C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PTxOutRef]))))) :+: (C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PStakingCredential])))) :+: C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PDCert]))))))

Orphan instances