plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Scripts

Synopsis

Plutus API Types

newtype PDatum (s :: S) Source #

Constructors

PDatum (Term s PData) 

Instances

Instances details
PEq PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

PIsData PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

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

DerivePlutusType PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type DPTStrat PDatum Source #

PlutusType PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PInner PDatum :: PType Source #

type PCovariant' PDatum Source #

type PContravariant' PDatum Source #

type PVariant' PDatum Source #

Methods

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

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

PUnsafeLiftDecl PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

PShow PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

Generic (PDatum s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

Methods

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

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

type DPTStrat PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type DPTStrat PDatum = PlutusTypeNewtype
type PContravariant' PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PCovariant' PDatum
type PInner PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PVariant' PDatum
type PLifted PDatum Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PLifted PDatum = Datum
type Rep (PDatum s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type Rep (PDatum s) = D1 ('MetaData "PDatum" "Plutarch.Api.V1.Scripts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

newtype PDatumHash (s :: S) Source #

Constructors

PDatumHash (Term s PByteString) 

Instances

Instances details
PEq PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

POrd PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

PPartialOrd PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

(#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool Source #

PIsData PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

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

DerivePlutusType PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type DPTStrat PDatumHash Source #

PlutusType PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PInner PDatumHash :: PType Source #

type PCovariant' PDatumHash Source #

type PContravariant' PDatumHash Source #

type PVariant' PDatumHash Source #

Methods

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

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

PUnsafeLiftDecl PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

PShow PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

Generic (PDatumHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

Methods

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

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

type DPTStrat PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type DPTStrat PDatumHash = PlutusTypeNewtype
type PContravariant' PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PCovariant' PDatumHash
type PInner PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PVariant' PDatumHash
type PLifted PDatumHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PLifted PDatumHash = DatumHash
type Rep (PDatumHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type Rep (PDatumHash s) = D1 ('MetaData "PDatumHash" "Plutarch.Api.V1.Scripts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

newtype PRedeemer (s :: S) Source #

Constructors

PRedeemer (Term s PData) 

Instances

Instances details
PEq PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

PIsData PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

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

DerivePlutusType PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type DPTStrat PRedeemer Source #

PlutusType PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PInner PRedeemer :: PType Source #

type PCovariant' PRedeemer Source #

type PContravariant' PRedeemer Source #

type PVariant' PRedeemer Source #

Methods

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

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

PUnsafeLiftDecl PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

PShow PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

Generic (PRedeemer s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

Methods

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

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

type DPTStrat PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type DPTStrat PRedeemer = PlutusTypeNewtype
type PContravariant' PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PCovariant' PRedeemer
type PInner PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PVariant' PRedeemer
type PLifted PRedeemer Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PLifted PRedeemer = Redeemer
type Rep (PRedeemer s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type Rep (PRedeemer s) = D1 ('MetaData "PRedeemer" "Plutarch.Api.V1.Scripts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

newtype PRedeemerHash (s :: S) Source #

Constructors

PRedeemerHash (Term s PByteString) 

Instances

Instances details
PEq PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

POrd PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

PPartialOrd PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

(#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool Source #

PIsData PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

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

DerivePlutusType PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type DPTStrat PRedeemerHash Source #

PlutusType PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PInner PRedeemerHash :: PType Source #

type PCovariant' PRedeemerHash Source #

type PContravariant' PRedeemerHash Source #

type PVariant' PRedeemerHash Source #

Methods

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

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

PUnsafeLiftDecl PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

PShow PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

Generic (PRedeemerHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

Methods

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

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

type DPTStrat PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type DPTStrat PRedeemerHash = PlutusTypeNewtype
type PContravariant' PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PCovariant' PRedeemerHash
type PInner PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PVariant' PRedeemerHash
type PLifted PRedeemerHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PLifted PRedeemerHash = RedeemerHash
type Rep (PRedeemerHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type Rep (PRedeemerHash s) = D1 ('MetaData "PRedeemerHash" "Plutarch.Api.V1.Scripts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PRedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

newtype PScriptHash (s :: S) Source #

Constructors

PScriptHash (Term s PByteString) 

Instances

Instances details
PEq PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

POrd PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

PPartialOrd PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

(#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool Source #

PIsData PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

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

DerivePlutusType PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type DPTStrat PScriptHash Source #

PlutusType PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PInner PScriptHash :: PType Source #

type PCovariant' PScriptHash Source #

type PContravariant' PScriptHash Source #

type PVariant' PScriptHash Source #

Methods

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

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

PUnsafeLiftDecl PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

PShow PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Methods

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

PTryFrom PData (PAsData PScriptHash) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PScriptHash) :: PType Source #

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptHash), Reduce (PTryFromExcess PData (PAsData PScriptHash) s)) -> Term s r) -> Term s r Source #

Generic (PScriptHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

Associated Types

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

Methods

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

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

type DPTStrat PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type DPTStrat PScriptHash = PlutusTypeNewtype
type PContravariant' PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PCovariant' PScriptHash
type PInner PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

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

Defined in Plutarch.Api.V1.Scripts

type PVariant' PScriptHash
type PLifted PScriptHash Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PLifted PScriptHash = ScriptHash
type PTryFromExcess PData (PAsData PScriptHash) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type PTryFromExcess PData (PAsData PScriptHash)
type Rep (PScriptHash s) Source # 
Instance details

Defined in Plutarch.Api.V1.Scripts

type Rep (PScriptHash s) = D1 ('MetaData "PScriptHash" "Plutarch.Api.V1.Scripts" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

Orphan instances