Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Api.V1

Contents

Contexts

Synopsis

newtype PScriptContext (s :: S) = PScriptContext (Term s (PDataRecord '["txInfo" := PTxInfo, "purpose" := PScriptPurpose]))
newtype PTxInfo (s :: S) = 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]))
data PScriptPurpose (s :: S)
- = PMinting (Term s (PDataRecord '["_0" := PCurrencySymbol]))
- | PSpending (Term s (PDataRecord '["_0" := PTxOutRef]))
- | PRewarding (Term s (PDataRecord '["_0" := PStakingCredential]))
- | PCertifying (Term s (PDataRecord '["_0" := PDCert]))
newtype PDatum (s :: S) = PDatum (Term s PData)
newtype PDatumHash (s :: S) = PDatumHash (Term s PByteString)
newtype PRedeemer (s :: S) = PRedeemer (Term s PData)
newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s PByteString)
scriptHash :: Script -> ScriptHash
datumHash :: Datum -> DatumHash
redeemerHash :: Redeemer -> RedeemerHash
dataHash :: ToData a => a -> BuiltinByteString
type PValidator = PData :--> (PData :--> (PScriptContext :--> POpaque))
type PStakeValidator = PData :--> (PScriptContext :--> POpaque)
type PMintingPolicy = PData :--> (PScriptContext :--> POpaque)
newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) = PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))
newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s PByteString)
newtype PTokenName (s :: S) = PTokenName (Term s PByteString)
data KeyGuarantees
- = Sorted
- | Unsorted
data AmountGuarantees
- = NoGuarantees
- | NonZero
- | Positive
newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s PByteString)
pubKeyHash :: PubKey -> PubKeyHash
data PDCert (s :: S)
- = PDCertDelegRegKey (Term s (PDataRecord '["_0" := PStakingCredential]))
- | PDCertDelegDeRegKey (Term s (PDataRecord '["_0" := PStakingCredential]))
- | PDCertDelegDelegate (Term s (PDataRecord '["_0" := PStakingCredential, "_1" := PPubKeyHash]))
- | PDCertPoolRegister (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PPubKeyHash]))
- | PDCertPoolRetire (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PInteger]))
- | PDCertGenesis (Term s (PDataRecord '[]))
- | PDCertMir (Term s (PDataRecord '[]))
data PPOSIXTime (s :: S)
type PPOSIXTimeRange = PInterval PPOSIXTime
newtype PInterval a (s :: S) = PInterval (Term s (PDataRecord '["from" := PLowerBound a, "to" := PUpperBound a]))
newtype PLowerBound a (s :: S) = PLowerBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure]))
newtype PUpperBound a (s :: S) = PUpperBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure]))
data PExtended a (s :: S)
- = PNegInf (Term s (PDataRecord '[]))
- | PFinite (Term s (PDataRecord '["_0" := a]))
- | PPosInf (Term s (PDataRecord '[]))
type PClosure = PBool
data PCredential (s :: S)
- = PPubKeyCredential (Term s (PDataRecord '["_0" := PPubKeyHash]))
- | PScriptCredential (Term s (PDataRecord '["_0" := PScriptHash]))
data PStakingCredential (s :: S)
- = PStakingHash (Term s (PDataRecord '["_0" := PCredential]))
- | PStakingPtr (Term s (PDataRecord '["_0" := PInteger, "_1" := PInteger, "_2" := PInteger]))
newtype PAddress (s :: S) = PAddress (Term s (PDataRecord '["credential" := PCredential, "stakingCredential" := PMaybeData PStakingCredential]))
newtype PTxOutRef (s :: S) = PTxOutRef (Term s (PDataRecord '["id" := PTxId, "idx" := PInteger]))
newtype PTxOut (s :: S) = PTxOut (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash]))
newtype PTxId (s :: S) = PTxId (Term s (PDataRecord '["_0" := PByteString]))
newtype PTxInInfo (s :: S) = PTxInInfo (Term s (PDataRecord '["outRef" := PTxOutRef, "resolved" := PTxOut]))
newtype PMap (keysort :: KeyGuarantees) (k :: PType) (v :: PType) (s :: S) = PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
data PMaybeData a (s :: S)
- = PDJust (Term s (PDataRecord '["_0" := a]))
- | PDNothing (Term s (PDataRecord '[]))
type PTuple a b = PDataSum '['["_0" := a, "_1" := b]]
ptuple :: Term s (PAsData a :--> (PAsData b :--> PTuple a b))

Contexts

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

Script

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

Script Utils

scriptHash :: Script -> ScriptHash Source #

Hash a Script, with the correct prefix for Plutus V1

datumHash :: Datum -> DatumHash Source #

Hash a Datum.

redeemerHash :: Redeemer -> RedeemerHash Source #

Hash a Redeemer.

dataHash :: ToData a => a -> BuiltinByteString Source #

Hash the data encoded representation of given argument.

type PValidator = PData :--> (PData :--> (PScriptContext :--> POpaque)) Source #

a Validator Term

type PStakeValidator = PData :--> (PScriptContext :--> POpaque) Source #

a StakeValidator Term

type PMintingPolicy = PData :--> (PScriptContext :--> POpaque) Source #

a MintingPolicy Term

Value

newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) Source #

Constructors

PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))

Instances

Instances details

PTryFrom PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PValue 'Sorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'NonZero)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PValue 'Sorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'Positive)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PValue 'Unsorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'NonZero)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PValue 'Unsorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'Positive)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) s)) -> Term s r) -> Term s r Source #
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods mempty :: Term s (PValue 'Sorted normalization) Source # mappend :: Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) Source # mconcat :: [Term s (PValue 'Sorted normalization)] -> Term s (PValue 'Sorted normalization) Source #
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NoGuarantees)) -> Term s (PValue 'Sorted 'NoGuarantees) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source #
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NonZero)) -> Term s (PValue 'Sorted 'NonZero) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #
Semigroup (Term s (PValue 'Sorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'Positive)) -> Term s (PValue 'Sorted 'Positive) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source #
PEq (PValue 'Sorted 'NoGuarantees) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s PBool Source #
PEq (PValue 'Sorted 'NonZero) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source #
PEq (PValue 'Sorted 'Positive) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source #
PPartialOrd (PValue 'Sorted 'NonZero) Source #	Partial ordering implementation for sorted `PValue` with `NonZero` amounts. Use `pcheckBinRel` if `AmountGuarantees` is `NoGuarantees`.
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool Source #
PPartialOrd (PValue 'Sorted 'Positive) Source #	Partial ordering implementation for sorted `PValue` with `Positive` amounts. Use `pcheckBinRel` if `AmountGuarantees` is `NoGuarantees`.
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool Source #
PIsData (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PValue keys amounts)) -> Term s (PValue keys amounts) Source # pdataImpl :: forall (s :: S). Term s (PValue keys amounts) -> Term s PData Source #
DerivePlutusType (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type DPTStrat (PValue keys amounts) Source #
PlutusType (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PInner (PValue keys amounts) :: PType Source # type PCovariant' (PValue keys amounts) Source # type PContravariant' (PValue keys amounts) Source # type PVariant' (PValue keys amounts) Source # Methods pcon' :: forall (s :: S). PValue keys amounts s -> Term s (PInner (PValue keys amounts)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PValue keys amounts)) -> (PValue keys amounts s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl (PValue 'Unsorted 'NonZero) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PLifted (PValue 'Unsorted 'NonZero) = (r :: Type) Source #
PShow (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s (PValue keys amounts) -> Term s PString Source #
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) => Group (Term s (PValue 'Sorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods inv :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source #
Semigroup (Term s (PValue 'Sorted 'NonZero)) => Group (Term s (PValue 'Sorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods inv :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods mempty :: Term s (PValue 'Sorted normalization) Source #
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source #
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #
Semigroup (Term s (PValue 'Sorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source #
Generic (PValue keys amounts s) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type Rep (PValue keys amounts s) :: Type -> Type Source # Methods from :: PValue keys amounts s -> Rep (PValue keys amounts s) x Source # to :: Rep (PValue keys amounts s) x -> PValue keys amounts s Source #
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Sorted 'NoGuarantees)))
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero))
type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive))
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Unsorted 'NoGuarantees)))
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero))
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive))
type DPTStrat (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value type DPTStrat (PValue keys amounts) = PlutusTypeNewtype
type PContravariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value type PContravariant' (PValue keys amounts)
type PCovariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value type PCovariant' (PValue keys amounts)
type PInner (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value type PInner (PValue keys amounts) = DerivedPInner (DPTStrat (PValue keys amounts)) (PValue keys amounts)
type PVariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value type PVariant' (PValue keys amounts)
type PLifted (PValue 'Unsorted 'NonZero) Source #
Instance details Defined in Plutarch.Api.V1.Value type PLifted (PValue 'Unsorted 'NonZero) = Value
type Rep (PValue keys amounts s) Source #
Instance details Defined in Plutarch.Api.V1.Value type Rep (PValue keys amounts s) = D1 ('MetaData "PValue" "Plutarch.Api.V1.Value" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger))))))

newtype PCurrencySymbol (s :: S) Source #

Constructors

PCurrencySymbol (Term s PByteString)

Instances

Instances details

PEq PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source #
POrd PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value
PPartialOrd PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source # (#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool Source #
PIsData PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol Source # pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData Source #
DerivePlutusType PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type DPTStrat PCurrencySymbol Source #
PlutusType PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PInner PCurrencySymbol :: PType Source # type PCovariant' PCurrencySymbol Source # type PContravariant' PCurrencySymbol Source # type PVariant' PCurrencySymbol Source # Methods pcon' :: forall (s :: S). PCurrencySymbol s -> Term s (PInner PCurrencySymbol) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCurrencySymbol) -> (PCurrencySymbol s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PLifted PCurrencySymbol = (r :: Type) Source #
PShow PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString Source #
PTryFrom PData (PAsData PCurrencySymbol) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData PCurrencySymbol) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCurrencySymbol), Reduce (PTryFromExcess PData (PAsData PCurrencySymbol) s)) -> Term s r) -> Term s r Source #
Generic (PCurrencySymbol s) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type Rep (PCurrencySymbol s) :: Type -> Type Source # Methods from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) x Source # to :: Rep (PCurrencySymbol s) x -> PCurrencySymbol s Source #
type DPTStrat PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type DPTStrat PCurrencySymbol = PlutusTypeNewtype
type PContravariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type PContravariant' PCurrencySymbol
type PCovariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type PCovariant' PCurrencySymbol
type PInner PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type PInner PCurrencySymbol = DerivedPInner (DPTStrat PCurrencySymbol) PCurrencySymbol
type PVariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type PVariant' PCurrencySymbol
type PLifted PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value type PLifted PCurrencySymbol = CurrencySymbol
type PTryFromExcess PData (PAsData PCurrencySymbol) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData PCurrencySymbol)
type Rep (PCurrencySymbol s) Source #
Instance details Defined in Plutarch.Api.V1.Value type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.Api.V1.Value" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

newtype PTokenName (s :: S) Source #

Constructors

PTokenName (Term s PByteString)

Instances

Instances details

PEq PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source #
POrd PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value
PPartialOrd PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods (#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool Source #
PIsData PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName Source # pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData Source #
DerivePlutusType PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type DPTStrat PTokenName Source #
PlutusType PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PInner PTokenName :: PType Source # type PCovariant' PTokenName Source # type PContravariant' PTokenName Source # type PVariant' PTokenName Source # Methods pcon' :: forall (s :: S). PTokenName s -> Term s (PInner PTokenName) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTokenName) -> (PTokenName s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PLifted PTokenName = (r :: Type) Source #
PShow PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString Source #
PTryFrom PData (PAsData PTokenName) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type PTryFromExcess PData (PAsData PTokenName) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTokenName), Reduce (PTryFromExcess PData (PAsData PTokenName) s)) -> Term s r) -> Term s r Source #
Generic (PTokenName s) Source #
Instance details Defined in Plutarch.Api.V1.Value Associated Types type Rep (PTokenName s) :: Type -> Type Source # Methods from :: PTokenName s -> Rep (PTokenName s) x Source # to :: Rep (PTokenName s) x -> PTokenName s Source #
type DPTStrat PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type DPTStrat PTokenName = PlutusTypeNewtype
type PContravariant' PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type PContravariant' PTokenName
type PCovariant' PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type PCovariant' PTokenName
type PInner PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type PInner PTokenName = DerivedPInner (DPTStrat PTokenName) PTokenName
type PVariant' PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type PVariant' PTokenName
type PLifted PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value type PLifted PTokenName = TokenName
type PTryFromExcess PData (PAsData PTokenName) Source #
Instance details Defined in Plutarch.Api.V1.Value type PTryFromExcess PData (PAsData PTokenName)
type Rep (PTokenName s) Source #
Instance details Defined in Plutarch.Api.V1.Value type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.Api.V1.Value" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

data KeyGuarantees Source #

Constructors

Sorted
Unsorted

data AmountGuarantees Source #

Constructors

NoGuarantees
NonZero
Positive

Crypto

newtype PPubKeyHash (s :: S) Source #

Constructors

PPubKeyHash (Term s PByteString)

Instances

Instances details

PEq PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source #
POrd PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto
PPartialOrd PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods (#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source # (#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool Source #
PIsData PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash Source # pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData Source #
DerivePlutusType PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Associated Types type DPTStrat PPubKeyHash Source #
PlutusType PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Associated Types type PInner PPubKeyHash :: PType Source # type PCovariant' PPubKeyHash Source # type PContravariant' PPubKeyHash Source # type PVariant' PPubKeyHash Source # Methods pcon' :: forall (s :: S). PPubKeyHash s -> Term s (PInner PPubKeyHash) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPubKeyHash) -> (PPubKeyHash s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Associated Types type PLifted PPubKeyHash = (r :: Type) Source #
PShow PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString Source #
PTryFrom PData (PAsData PPubKeyHash) Source #
Instance details Defined in Plutarch.Api.V1.Crypto Associated Types type PTryFromExcess PData (PAsData PPubKeyHash) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPubKeyHash), Reduce (PTryFromExcess PData (PAsData PPubKeyHash) s)) -> Term s r) -> Term s r Source #
Generic (PPubKeyHash s) Source #
Instance details Defined in Plutarch.Api.V1.Crypto Associated Types type Rep (PPubKeyHash s) :: Type -> Type Source # Methods from :: PPubKeyHash s -> Rep (PPubKeyHash s) x Source # to :: Rep (PPubKeyHash s) x -> PPubKeyHash s Source #
type DPTStrat PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type DPTStrat PPubKeyHash = PlutusTypeNewtype
type PContravariant' PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PContravariant' PPubKeyHash
type PCovariant' PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PCovariant' PPubKeyHash
type PInner PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PInner PPubKeyHash = DerivedPInner (DPTStrat PPubKeyHash) PPubKeyHash
type PVariant' PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PVariant' PPubKeyHash
type PLifted PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PLifted PPubKeyHash = PubKeyHash
type PTryFromExcess PData (PAsData PPubKeyHash) Source #
Instance details Defined in Plutarch.Api.V1.Crypto type PTryFromExcess PData (PAsData PPubKeyHash)
type Rep (PPubKeyHash s) Source #
Instance details Defined in Plutarch.Api.V1.Crypto type Rep (PPubKeyHash s) = D1 ('MetaData "PPubKeyHash" "Plutarch.Api.V1.Crypto" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))

pubKeyHash :: PubKey -> PubKeyHash Source #

DCert

data PDCert (s :: S) Source #

Constructors

PDCertDelegRegKey (Term s (PDataRecord '["_0" := PStakingCredential]))
PDCertDelegDeRegKey (Term s (PDataRecord '["_0" := PStakingCredential]))
PDCertDelegDelegate (Term s (PDataRecord '["_0" := PStakingCredential, "_1" := PPubKeyHash]))
PDCertPoolRegister (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PPubKeyHash]))
PDCertPoolRetire (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PInteger]))
PDCertGenesis (Term s (PDataRecord '[]))
PDCertMir (Term s (PDataRecord '[]))

Instances

Instances details

PEq PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods (#==) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source #
POrd PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert
PPartialOrd PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods (#<=) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source # (#<) :: forall (s :: S). Term s PDCert -> Term s PDCert -> Term s PBool Source #
PIsData PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDCert) -> Term s PDCert Source # pdataImpl :: forall (s :: S). Term s PDCert -> Term s PData Source #
DerivePlutusType PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Associated Types type DPTStrat PDCert Source #
PlutusType PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Associated Types type PInner PDCert :: PType Source # type PCovariant' PDCert Source # type PContravariant' PDCert Source # type PVariant' PDCert Source # Methods pcon' :: forall (s :: S). PDCert s -> Term s (PInner PDCert) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDCert) -> (PDCert s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Associated Types type PLifted PDCert = (r :: Type) Source #
PShow PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods pshow' :: forall (s :: S). Bool -> Term s PDCert -> Term s PString Source #
Generic (PDCert s) Source #
Instance details Defined in Plutarch.Api.V1.DCert Associated Types type Rep (PDCert s) :: Type -> Type Source # Methods from :: PDCert s -> Rep (PDCert s) x Source # to :: Rep (PDCert s) x -> PDCert s Source #
type DPTStrat PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type DPTStrat PDCert = PlutusTypeData
type PContravariant' PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type PContravariant' PDCert
type PCovariant' PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type PCovariant' PDCert
type PInner PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type PInner PDCert = DerivedPInner (DPTStrat PDCert) PDCert
type PVariant' PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type PVariant' PDCert
type PLifted PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert type PLifted PDCert = DCert
type Rep (PDCert s) Source #
Instance details Defined in Plutarch.Api.V1.DCert type Rep (PDCert s) = D1 ('MetaData "PDCert" "Plutarch.Api.V1.DCert" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) ((C1 ('MetaCons "PDCertDelegRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PStakingCredential])))) :+: (C1 ('MetaCons "PDCertDelegDeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PStakingCredential])))) :+: C1 ('MetaCons "PDCertDelegDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PStakingCredential, "_1" := PPubKeyHash])))))) :+: ((C1 ('MetaCons "PDCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PPubKeyHash])))) :+: C1 ('MetaCons "PDCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PPubKeyHash, "_1" := PInteger]))))) :+: (C1 ('MetaCons "PDCertGenesis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PDCertMir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))))

Time

data PPOSIXTime (s :: S) Source #

Instances

Instances details

PEq PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods (#==) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source #
POrd PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time
PPartialOrd PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods (#<=) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source # (#<) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PBool Source #
PIsData PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPOSIXTime) -> Term s PPOSIXTime Source # pdataImpl :: forall (s :: S). Term s PPOSIXTime -> Term s PData Source #
PIntegral PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods pdiv :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # pmod :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # pquot :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # prem :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #
DerivePlutusType PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Associated Types type DPTStrat PPOSIXTime Source #
PlutusType PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Associated Types type PInner PPOSIXTime :: PType Source # type PCovariant' PPOSIXTime Source # type PContravariant' PPOSIXTime Source # type PVariant' PPOSIXTime Source # Methods pcon' :: forall (s :: S). PPOSIXTime s -> Term s (PInner PPOSIXTime) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPOSIXTime) -> (PPOSIXTime s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Associated Types type PLifted PPOSIXTime = (r :: Type) Source #
PNum PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods (#+) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source # (#-) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source # (#*) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source # pnegate :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source # pabs :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source # psignum :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source # pfromInteger :: forall (s :: S). Integer -> Term s PPOSIXTime Source #
PShow PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods pshow' :: forall (s :: S). Bool -> Term s PPOSIXTime -> Term s PString Source #
PTryFrom PData (PAsData PPOSIXTime) Source #
Instance details Defined in Plutarch.Api.V1.Time Associated Types type PTryFromExcess PData (PAsData PPOSIXTime) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPOSIXTime), Reduce (PTryFromExcess PData (PAsData PPOSIXTime) s)) -> Term s r) -> Term s r Source #
Generic (PPOSIXTime s) Source #
Instance details Defined in Plutarch.Api.V1.Time Associated Types type Rep (PPOSIXTime s) :: Type -> Type Source # Methods from :: PPOSIXTime s -> Rep (PPOSIXTime s) x Source # to :: Rep (PPOSIXTime s) x -> PPOSIXTime s Source #
type DPTStrat PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type DPTStrat PPOSIXTime = PlutusTypeNewtype
type PContravariant' PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type PContravariant' PPOSIXTime
type PCovariant' PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type PCovariant' PPOSIXTime
type PInner PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type PInner PPOSIXTime = DerivedPInner (DPTStrat PPOSIXTime) PPOSIXTime
type PVariant' PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type PVariant' PPOSIXTime
type PLifted PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time type PLifted PPOSIXTime = POSIXTime
type PTryFromExcess PData (PAsData PPOSIXTime) Source #
Instance details Defined in Plutarch.Api.V1.Time type PTryFromExcess PData (PAsData PPOSIXTime)
type Rep (PPOSIXTime s) Source #
Instance details Defined in Plutarch.Api.V1.Time type Rep (PPOSIXTime s) = D1 ('MetaData "PPOSIXTime" "Plutarch.Api.V1.Time" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PPOSIXTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger))))

type PPOSIXTimeRange = PInterval PPOSIXTime Source #

Interval

newtype PInterval a (s :: S) Source #

Constructors

PInterval (Term s (PDataRecord '["from" := PLowerBound a, "to" := PUpperBound a]))

Instances

Instances details

PEq (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #
(POrd a, PIsData a) => POrd (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => PPartialOrd (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #
PIsData (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) Source # pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData Source #
PDataFields (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PFields (PInterval a) :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s (PInterval a) -> Term s (PDataRecord (PFields (PInterval a))) Source #
DerivePlutusType (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type DPTStrat (PInterval a) Source #
PlutusType (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PInner (PInterval a) :: PType Source # type PCovariant' (PInterval a) Source # type PContravariant' (PInterval a) Source # type PVariant' (PInterval a) Source # Methods pcon' :: forall (s :: S). PInterval a s -> Term s (PInner (PInterval a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PInterval a)) -> (PInterval a s -> Term s b) -> Term s b Source #
PLiftData a => PUnsafeLiftDecl (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PLifted (PInterval a) = (r :: Type) Source #
(PIsData a, PShow a) => PShow (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString Source #
Generic (PInterval a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type Rep (PInterval a s) :: Type -> Type Source # Methods from :: PInterval a s -> Rep (PInterval a s) x Source # to :: Rep (PInterval a s) x -> PInterval a s Source #
type PFields (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PFields (PInterval a)
type DPTStrat (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type DPTStrat (PInterval a) = PlutusTypeData
type PContravariant' (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PContravariant' (PInterval a)
type PCovariant' (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PCovariant' (PInterval a)
type PInner (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PInner (PInterval a) = DerivedPInner (DPTStrat (PInterval a)) (PInterval a)
type PVariant' (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PVariant' (PInterval a)
type PLifted (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PLifted (PInterval a) = Interval (PLifted a)
type Rep (PInterval a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["from" := PLowerBound a, "to" := PUpperBound a])))))

newtype PLowerBound a (s :: S) Source #

Constructors

PLowerBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure]))

Instances

Instances details

PEq (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #
(POrd a, PIsData a) => POrd (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => PPartialOrd (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #
PIsData (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) Source # pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData Source #
PDataFields (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PFields (PLowerBound a) :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s (PLowerBound a) -> Term s (PDataRecord (PFields (PLowerBound a))) Source #
DerivePlutusType (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type DPTStrat (PLowerBound a) Source #
PlutusType (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PInner (PLowerBound a) :: PType Source # type PCovariant' (PLowerBound a) Source # type PContravariant' (PLowerBound a) Source # type PVariant' (PLowerBound a) Source # Methods pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b Source #
PLiftData a => PUnsafeLiftDecl (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PLifted (PLowerBound a) = (r :: Type) Source #
(PIsData a, PShow a) => PShow (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString Source #
Generic (PLowerBound a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type Rep (PLowerBound a s) :: Type -> Type Source # Methods from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source #
type PFields (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PFields (PLowerBound a)
type DPTStrat (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type DPTStrat (PLowerBound a) = PlutusTypeData
type PContravariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PContravariant' (PLowerBound a)
type PCovariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PCovariant' (PLowerBound a)
type PInner (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PInner (PLowerBound a) = DerivedPInner (DPTStrat (PLowerBound a)) (PLowerBound a)
type PVariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PVariant' (PLowerBound a)
type PLifted (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PLifted (PLowerBound a) = LowerBound (PLifted a)
type Rep (PLowerBound a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])))))

newtype PUpperBound a (s :: S) Source #

Constructors

PUpperBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure]))

Instances

Instances details

PEq (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #
(POrd a, PIsData a) => POrd (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => PPartialOrd (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #
PIsData (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) Source # pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData Source #
PDataFields (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PFields (PUpperBound a) :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s (PUpperBound a) -> Term s (PDataRecord (PFields (PUpperBound a))) Source #
DerivePlutusType (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type DPTStrat (PUpperBound a) Source #
PlutusType (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PInner (PUpperBound a) :: PType Source # type PCovariant' (PUpperBound a) Source # type PContravariant' (PUpperBound a) Source # type PVariant' (PUpperBound a) Source # Methods pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b Source #
PLiftData a => PUnsafeLiftDecl (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PLifted (PUpperBound a) = (r :: Type) Source #
(PIsData a, PShow a) => PShow (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString Source #
Generic (PUpperBound a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type Rep (PUpperBound a s) :: Type -> Type Source # Methods from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source #
type PFields (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PFields (PUpperBound a)
type DPTStrat (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type DPTStrat (PUpperBound a) = PlutusTypeData
type PContravariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PContravariant' (PUpperBound a)
type PCovariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PCovariant' (PUpperBound a)
type PInner (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PInner (PUpperBound a) = DerivedPInner (DPTStrat (PUpperBound a)) (PUpperBound a)
type PVariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PVariant' (PUpperBound a)
type PLifted (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PLifted (PUpperBound a) = UpperBound (PLifted a)
type Rep (PUpperBound a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])))))

data PExtended a (s :: S) Source #

Constructors

PNegInf (Term s (PDataRecord '[]))
PFinite (Term s (PDataRecord '["_0" := a]))
PPosInf (Term s (PDataRecord '[]))

Instances

Instances details

PEq (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #
(POrd a, PIsData a) => POrd (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval
(POrd a, PIsData a) => PPartialOrd (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #
PIsData (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) Source # pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData Source #
DerivePlutusType (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type DPTStrat (PExtended a) Source #
PlutusType (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type PInner (PExtended a) :: PType Source # type PCovariant' (PExtended a) Source # type PContravariant' (PExtended a) Source # type PVariant' (PExtended a) Source # Methods pcon' :: forall (s :: S). PExtended a s -> Term s (PInner (PExtended a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PExtended a)) -> (PExtended a s -> Term s b) -> Term s b Source #
(PIsData a, PShow a) => PShow (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString Source #
Generic (PExtended a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval Associated Types type Rep (PExtended a s) :: Type -> Type Source # Methods from :: PExtended a s -> Rep (PExtended a s) x Source # to :: Rep (PExtended a s) x -> PExtended a s Source #
type DPTStrat (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type DPTStrat (PExtended a) = PlutusTypeData
type PContravariant' (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PContravariant' (PExtended a)
type PCovariant' (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PCovariant' (PExtended a)
type PInner (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PInner (PExtended a) = DerivedPInner (DPTStrat (PExtended a)) (PExtended a)
type PVariant' (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval type PVariant' (PExtended a)
type Rep (PExtended a s) Source #
Instance details Defined in Plutarch.Api.V1.Interval type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := a])))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType])))))))

type PClosure = PBool Source #

Address

data PCredential (s :: S) Source #

Constructors

PPubKeyCredential (Term s (PDataRecord '["_0" := PPubKeyHash]))
PScriptCredential (Term s (PDataRecord '["_0" := PScriptHash]))

Instances

Instances details

PEq PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source #
POrd PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address
PPartialOrd PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source # (#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool Source #
PIsData PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential Source # pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData Source #
DerivePlutusType PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type DPTStrat PCredential Source #
PlutusType PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PInner PCredential :: PType Source # type PCovariant' PCredential Source # type PContravariant' PCredential Source # type PVariant' PCredential Source # Methods pcon' :: forall (s :: S). PCredential s -> Term s (PInner PCredential) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCredential) -> (PCredential s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PLifted PCredential = (r :: Type) Source #
PShow PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString Source #
PTryFrom PData PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData PCredential :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCredential, Reduce (PTryFromExcess PData PCredential s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PCredential) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData (PAsData PCredential) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCredential), Reduce (PTryFromExcess PData (PAsData PCredential) s)) -> Term s r) -> Term s r Source #
Generic (PCredential s) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type Rep (PCredential s) :: Type -> Type Source # Methods from :: PCredential s -> Rep (PCredential s) x Source # to :: Rep (PCredential s) x -> PCredential s Source #
type DPTStrat PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type DPTStrat PCredential = PlutusTypeData
type PContravariant' PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PContravariant' PCredential
type PCovariant' PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PCovariant' PCredential
type PInner PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PInner PCredential = DerivedPInner (DPTStrat PCredential) PCredential
type PVariant' PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PVariant' PCredential
type PLifted PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PLifted PCredential = Credential
type PTryFromExcess PData PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData PCredential = PTryFromExcess PData (PInner PCredential)
type PTryFromExcess PData (PAsData PCredential) Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData (PAsData PCredential) = PTryFromExcess PData (PInner (PAsData PCredential))
type Rep (PCredential s) Source #
Instance details Defined in Plutarch.Api.V1.Address type Rep (PCredential s) = D1 ('MetaData "PCredential" "Plutarch.Api.V1.Address" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PPubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PPubKeyHash])))) :+: C1 ('MetaCons "PScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PScriptHash])))))

data PStakingCredential (s :: S) Source #

Constructors

PStakingHash (Term s (PDataRecord '["_0" := PCredential]))
PStakingPtr (Term s (PDataRecord '["_0" := PInteger, "_1" := PInteger, "_2" := PInteger]))

Instances

Instances details

PEq PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source #
POrd PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address
PPartialOrd PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source # (#<) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool Source #
PIsData PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PStakingCredential) -> Term s PStakingCredential Source # pdataImpl :: forall (s :: S). Term s PStakingCredential -> Term s PData Source #
DerivePlutusType PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type DPTStrat PStakingCredential Source #
PlutusType PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PInner PStakingCredential :: PType Source # type PCovariant' PStakingCredential Source # type PContravariant' PStakingCredential Source # type PVariant' PStakingCredential Source # Methods pcon' :: forall (s :: S). PStakingCredential s -> Term s (PInner PStakingCredential) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PStakingCredential) -> (PStakingCredential s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PLifted PStakingCredential = (r :: Type) Source #
PShow PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PStakingCredential -> Term s PString Source #
PTryFrom PData PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData PStakingCredential :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PStakingCredential, Reduce (PTryFromExcess PData PStakingCredential s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PStakingCredential) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData (PAsData PStakingCredential) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PStakingCredential), Reduce (PTryFromExcess PData (PAsData PStakingCredential) s)) -> Term s r) -> Term s r Source #
Generic (PStakingCredential s) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type Rep (PStakingCredential s) :: Type -> Type Source # Methods from :: PStakingCredential s -> Rep (PStakingCredential s) x Source # to :: Rep (PStakingCredential s) x -> PStakingCredential s Source #
type DPTStrat PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type DPTStrat PStakingCredential = PlutusTypeData
type PContravariant' PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PContravariant' PStakingCredential
type PCovariant' PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PCovariant' PStakingCredential
type PInner PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PInner PStakingCredential = DerivedPInner (DPTStrat PStakingCredential) PStakingCredential
type PVariant' PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PVariant' PStakingCredential
type PLifted PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PLifted PStakingCredential = StakingCredential
type PTryFromExcess PData PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData PStakingCredential = PTryFromExcess PData (PInner PStakingCredential)
type PTryFromExcess PData (PAsData PStakingCredential) Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData (PAsData PStakingCredential) = PTryFromExcess PData (PInner (PAsData PStakingCredential))
type Rep (PStakingCredential s) Source #
Instance details Defined in Plutarch.Api.V1.Address type Rep (PStakingCredential s) = D1 ('MetaData "PStakingCredential" "Plutarch.Api.V1.Address" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PStakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PCredential])))) :+: C1 ('MetaCons "PStakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PInteger, "_1" := PInteger, "_2" := PInteger])))))

newtype PAddress (s :: S) Source #

Constructors

PAddress (Term s (PDataRecord '["credential" := PCredential, "stakingCredential" := PMaybeData PStakingCredential]))

Instances

Instances details

PEq PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#==) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source #
POrd PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address
PPartialOrd PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods (#<=) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source # (#<) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool Source #
PIsData PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress Source # pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData Source #
PDataFields PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PFields PAddress :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PAddress -> Term s (PDataRecord (PFields PAddress)) Source #
DerivePlutusType PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type DPTStrat PAddress Source #
PlutusType PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PInner PAddress :: PType Source # type PCovariant' PAddress Source # type PContravariant' PAddress Source # type PVariant' PAddress Source # Methods pcon' :: forall (s :: S). PAddress s -> Term s (PInner PAddress) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PAddress) -> (PAddress s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PLifted PAddress = (r :: Type) Source #
PShow PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PAddress -> Term s PString Source #
PTryFrom PData PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData PAddress :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PAddress, Reduce (PTryFromExcess PData PAddress s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PAddress) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type PTryFromExcess PData (PAsData PAddress) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PAddress), Reduce (PTryFromExcess PData (PAsData PAddress) s)) -> Term s r) -> Term s r Source #
Generic (PAddress s) Source #
Instance details Defined in Plutarch.Api.V1.Address Associated Types type Rep (PAddress s) :: Type -> Type Source # Methods from :: PAddress s -> Rep (PAddress s) x Source # to :: Rep (PAddress s) x -> PAddress s Source #
type PFields PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PFields PAddress
type DPTStrat PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type DPTStrat PAddress = PlutusTypeData
type PContravariant' PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PContravariant' PAddress
type PCovariant' PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PCovariant' PAddress
type PInner PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PInner PAddress = DerivedPInner (DPTStrat PAddress) PAddress
type PVariant' PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PVariant' PAddress
type PLifted PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PLifted PAddress = Address
type PTryFromExcess PData PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData PAddress = PTryFromExcess PData (PInner PAddress)
type PTryFromExcess PData (PAsData PAddress) Source #
Instance details Defined in Plutarch.Api.V1.Address type PTryFromExcess PData (PAsData PAddress) = PTryFromExcess PData (PInner (PAsData PAddress))
type Rep (PAddress s) Source #
Instance details Defined in Plutarch.Api.V1.Address type Rep (PAddress s) = D1 ('MetaData "PAddress" "Plutarch.Api.V1.Address" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["credential" := PCredential, "stakingCredential" := PMaybeData PStakingCredential])))))

Tx

newtype PTxOutRef (s :: S) Source #

Reference to a transaction output with a index referencing which of the outputs is being referred to.

Constructors

PTxOutRef (Term s (PDataRecord '["id" := PTxId, "idx" := PInteger]))

Instances

Instances details

PEq PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
POrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx
PPartialOrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
PIsData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef Source # pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData Source #
PDataFields PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxOutRef :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxOutRef -> Term s (PDataRecord (PFields PTxOutRef)) Source #
DerivePlutusType PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxOutRef Source #
PlutusType PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxOutRef :: PType Source # type PCovariant' PTxOutRef Source # type PContravariant' PTxOutRef Source # type PVariant' PTxOutRef Source # Methods pcon' :: forall (s :: S). PTxOutRef s -> Term s (PInner PTxOutRef) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOutRef) -> (PTxOutRef s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxOutRef = (r :: Type) Source #
PShow PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOutRef -> Term s PString Source #
PTryFrom PData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData PTxOutRef :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxOutRef, Reduce (PTryFromExcess PData PTxOutRef s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PTxOutRef) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData (PAsData PTxOutRef) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxOutRef), Reduce (PTryFromExcess PData (PAsData PTxOutRef) s)) -> Term s r) -> Term s r Source #
Generic (PTxOutRef s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxOutRef s) :: Type -> Type Source # Methods from :: PTxOutRef s -> Rep (PTxOutRef s) x Source # to :: Rep (PTxOutRef s) x -> PTxOutRef s Source #
type PFields PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxOutRef
type DPTStrat PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxOutRef = PlutusTypeData
type PContravariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxOutRef
type PCovariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxOutRef
type PInner PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxOutRef = DerivedPInner (DPTStrat PTxOutRef) PTxOutRef
type PVariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxOutRef
type PLifted PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxOutRef = TxOutRef
type PTryFromExcess PData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData PTxOutRef = PTryFromExcess PData (PInner PTxOutRef)
type PTryFromExcess PData (PAsData PTxOutRef) Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData (PAsData PTxOutRef) = PTryFromExcess PData (PInner (PAsData PTxOutRef))
type Rep (PTxOutRef s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxOutRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["id" := PTxId, "idx" := PInteger])))))

newtype PTxOut (s :: S) Source #

A transaction output. This consists of a target address, value and maybe a datum hash

Constructors

PTxOut (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash]))

Instances

Instances details

PEq PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool Source #
PIsData PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut Source # pdataImpl :: forall (s :: S). Term s PTxOut -> Term s PData Source #
PDataFields PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxOut :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxOut -> Term s (PDataRecord (PFields PTxOut)) Source #
DerivePlutusType PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxOut Source #
PlutusType PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxOut :: PType Source # type PCovariant' PTxOut Source # type PContravariant' PTxOut Source # type PVariant' PTxOut Source # Methods pcon' :: forall (s :: S). PTxOut s -> Term s (PInner PTxOut) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOut) -> (PTxOut s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxOut = (r :: Type) Source #
PShow PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString Source #
Generic (PTxOut s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxOut s) :: Type -> Type Source # Methods from :: PTxOut s -> Rep (PTxOut s) x Source # to :: Rep (PTxOut s) x -> PTxOut s Source #
type PFields PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxOut
type DPTStrat PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxOut = PlutusTypeData
type PContravariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxOut
type PCovariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxOut
type PInner PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxOut = DerivedPInner (DPTStrat PTxOut) PTxOut
type PVariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxOut
type PLifted PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxOut = TxOut
type Rep (PTxOut s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash])))))

newtype PTxId (s :: S) Source #

Constructors

PTxId (Term s (PDataRecord '["_0" := PByteString]))

Instances

Instances details

PEq PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
POrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx
PPartialOrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
PIsData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId Source # pdataImpl :: forall (s :: S). Term s PTxId -> Term s PData Source #
PDataFields PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxId :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxId -> Term s (PDataRecord (PFields PTxId)) Source #
DerivePlutusType PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxId Source #
PlutusType PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxId :: PType Source # type PCovariant' PTxId Source # type PContravariant' PTxId Source # type PVariant' PTxId Source # Methods pcon' :: forall (s :: S). PTxId s -> Term s (PInner PTxId) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxId) -> (PTxId s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxId = (r :: Type) Source #
PShow PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxId -> Term s PString Source #
PTryFrom PData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData PTxId :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxId, Reduce (PTryFromExcess PData PTxId s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PTxId) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData (PAsData PTxId) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxId), Reduce (PTryFromExcess PData (PAsData PTxId) s)) -> Term s r) -> Term s r Source #
Generic (PTxId s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxId s) :: Type -> Type Source # Methods from :: PTxId s -> Rep (PTxId s) x Source # to :: Rep (PTxId s) x -> PTxId s Source #
type PFields PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxId
type DPTStrat PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxId = PlutusTypeData
type PContravariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxId
type PCovariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxId
type PInner PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxId = DerivedPInner (DPTStrat PTxId) PTxId
type PVariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxId
type PLifted PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxId = TxId
type PTryFromExcess PData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData PTxId
type PTryFromExcess PData (PAsData PTxId) Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData (PAsData PTxId)
type Rep (PTxId s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PByteString])))))

newtype PTxInInfo (s :: S) Source #

A input of the pending transaction.

Constructors

PTxInInfo (Term s (PDataRecord '["outRef" := PTxOutRef, "resolved" := PTxOut]))

Instances

Instances details

PEq PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool Source #
PIsData PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo Source # pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData Source #
PDataFields PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxInInfo :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxInInfo -> Term s (PDataRecord (PFields PTxInInfo)) Source #
DerivePlutusType PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxInInfo Source #
PlutusType PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxInInfo :: PType Source # type PCovariant' PTxInInfo Source # type PContravariant' PTxInInfo Source # type PVariant' PTxInInfo Source # Methods pcon' :: forall (s :: S). PTxInInfo s -> Term s (PInner PTxInInfo) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInInfo) -> (PTxInInfo s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxInInfo = (r :: Type) Source #
PShow PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString Source #
Generic (PTxInInfo s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxInInfo s) :: Type -> Type Source # Methods from :: PTxInInfo s -> Rep (PTxInInfo s) x Source # to :: Rep (PTxInInfo s) x -> PTxInInfo s Source #
type PFields PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxInInfo
type DPTStrat PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxInInfo = PlutusTypeData
type PContravariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxInInfo
type PCovariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxInInfo
type PInner PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxInInfo = DerivedPInner (DPTStrat PTxInInfo) PTxInInfo
type PVariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxInInfo
type PLifted PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxInInfo = TxInInfo
type Rep (PTxInInfo s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outRef" := PTxOutRef, "resolved" := PTxOut])))))

AssocMap

newtype PMap (keysort :: KeyGuarantees) (k :: PType) (v :: PType) (s :: S) Source #

Constructors

PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))

Instances

Instances details

(POrd k, PIsData k, PIsData v, PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMap 'Sorted k v)), Reduce (PTryFromExcess PData (PAsData (PMap 'Sorted k v)) s)) -> Term s r) -> Term s r Source #
(PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Unsorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMap 'Unsorted k v)), Reduce (PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) s)) -> Term s r) -> Term s r Source #
(POrd k, PIsData k, PIsData v, Semigroup (Term s v)) => Monoid (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods mempty :: Term s (PMap 'Sorted k v) Source # mappend :: Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) Source # mconcat :: [Term s (PMap 'Sorted k v)] -> Term s (PMap 'Sorted k v) Source #
(POrd k, PIsData k, PIsData v, Semigroup (Term s v)) => Semigroup (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods (<>) :: Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) Source # sconcat :: NonEmpty (Term s (PMap 'Sorted k v)) -> Term s (PMap 'Sorted k v) Source # stimes :: Integral b => b -> Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) Source #
(PIsData k, PIsData v, POrd k) => IsList (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type Item (Term s (PMap 'Sorted k v)) Source # Methods fromList :: [Item (Term s (PMap 'Sorted k v))] -> Term s (PMap 'Sorted k v) Source # fromListN :: Int -> [Item (Term s (PMap 'Sorted k v))] -> Term s (PMap 'Sorted k v) Source # toList :: Term s (PMap 'Sorted k v) -> [Item (Term s (PMap 'Sorted k v))] Source #
(PIsData k, PIsData v, POrd k) => IsList (Term s (PMap 'Unsorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type Item (Term s (PMap 'Unsorted k v)) Source # Methods fromList :: [Item (Term s (PMap 'Unsorted k v))] -> Term s (PMap 'Unsorted k v) Source # fromListN :: Int -> [Item (Term s (PMap 'Unsorted k v))] -> Term s (PMap 'Unsorted k v) Source # toList :: Term s (PMap 'Unsorted k v) -> [Item (Term s (PMap 'Unsorted k v))] Source #
(POrd k, PIsData k, PIsData v, Group (Term s v)) => Group (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods inv :: Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) Source #
(POrd k, PIsData k, PIsData v, Semigroup (Term s v)) => Monoid (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods mempty :: Term s (PMap 'Sorted k v) Source #
(POrd k, PIsData k, PIsData v, Semigroup (Term s v)) => Semigroup (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods (<>) :: Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) Source #
PEq (PMap 'Sorted k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods (#==) :: forall (s :: S). Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s PBool Source #
PIsData (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PMap keysort k v)) -> Term s (PMap keysort k v) Source # pdataImpl :: forall (s :: S). Term s (PMap keysort k v) -> Term s PData Source #
DerivePlutusType (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type DPTStrat (PMap keysort k v) Source #
PlutusType (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type PInner (PMap keysort k v) :: PType Source # type PCovariant' (PMap keysort k v) Source # type PContravariant' (PMap keysort k v) Source # type PVariant' (PMap keysort k v) Source # Methods pcon' :: forall (s :: S). PMap keysort k v s -> Term s (PInner (PMap keysort k v)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMap keysort k v)) -> (PMap keysort k v s -> Term s b) -> Term s b Source #
(PLiftData k, PLiftData v, Ord (PLifted k)) => PUnsafeLiftDecl (PMap 'Unsorted k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type PLifted (PMap 'Unsorted k v) = (r :: Type) Source #
(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods pshow' :: forall (s :: S). Bool -> Term s (PMap keysort k v) -> Term s PString Source #
Generic (PMap keysort k v s) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Associated Types type Rep (PMap keysort k v s) :: Type -> Type Source # Methods from :: PMap keysort k v s -> Rep (PMap keysort k v s) x Source # to :: Rep (PMap keysort k v s) x -> PMap keysort k v s Source #
type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PTryFromExcess PData (PAsData (PMap 'Sorted k v))
type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PTryFromExcess PData (PAsData (PMap 'Unsorted k v))
type Item (Term s (PMap 'Sorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type Item (Term s (PMap 'Sorted k v)) = (Term s k, Term s v)
type Item (Term s (PMap 'Unsorted k v)) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type Item (Term s (PMap 'Unsorted k v)) = (Term s k, Term s v)
type DPTStrat (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type DPTStrat (PMap keysort k v) = PlutusTypeNewtype
type PContravariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PContravariant' (PMap keysort k v)
type PCovariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PCovariant' (PMap keysort k v)
type PInner (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PInner (PMap keysort k v) = DerivedPInner (DPTStrat (PMap keysort k v)) (PMap keysort k v)
type PVariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PVariant' (PMap keysort k v)
type PLifted (PMap 'Unsorted k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type PLifted (PMap 'Unsorted k v) = Map (PLifted k) (PLifted v)
type Rep (PMap keysort k v s) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap type Rep (PMap keysort k v s) = D1 ('MetaData "PMap" "Plutarch.Api.V1.AssocMap" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v)))))))

Others

data PMaybeData a (s :: S) Source #

Data encoded Maybe type. Used in various ledger api types.

Constructors

PDJust (Term s (PDataRecord '["_0" := a]))
PDNothing (Term s (PDataRecord '[]))

Instances

Instances details

PTryFrom PData a => PTryFrom PData (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type PTryFromExcess PData (PMaybeData a) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PMaybeData a), Reduce (PTryFromExcess PData (PMaybeData a) s)) -> Term s r) -> Term s r Source #
PTryFrom PData a => PTryFrom PData (PAsData (PMaybeData a)) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type PTryFromExcess PData (PAsData (PMaybeData a)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMaybeData a)), Reduce (PTryFromExcess PData (PAsData (PMaybeData a)) s)) -> Term s r) -> Term s r Source #
PEq (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source #
(PIsData a, POrd a) => POrd (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe
(PIsData a, POrd a) => PPartialOrd (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods (#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool Source #
PIsData (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a) Source # pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData Source #
DerivePlutusType (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type DPTStrat (PMaybeData a) Source #
PlutusType (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type PInner (PMaybeData a) :: PType Source # type PCovariant' (PMaybeData a) Source # type PContravariant' (PMaybeData a) Source # type PVariant' (PMaybeData a) Source # Methods pcon' :: forall (s :: S). PMaybeData a s -> Term s (PInner (PMaybeData a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybeData a)) -> (PMaybeData a s -> Term s b) -> Term s b Source #
PLiftData a => PUnsafeLiftDecl (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type PLifted (PMaybeData a) = (r :: Type) Source #
(PIsData a, PShow a) => PShow (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString Source #
Generic (PMaybeData a s) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Associated Types type Rep (PMaybeData a s) :: Type -> Type Source # Methods from :: PMaybeData a s -> Rep (PMaybeData a s) x Source # to :: Rep (PMaybeData a s) x -> PMaybeData a s Source #
type PTryFromExcess PData (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PTryFromExcess PData (PMaybeData a) = PTryFromExcess PData (PInner (PMaybeData a))
type PTryFromExcess PData (PAsData (PMaybeData a)) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PTryFromExcess PData (PAsData (PMaybeData a)) = PTryFromExcess PData (PInner (PAsData (PMaybeData a)))
type DPTStrat (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type DPTStrat (PMaybeData a) = PlutusTypeData
type PContravariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PContravariant' (PMaybeData a)
type PCovariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PCovariant' (PMaybeData a)
type PInner (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PInner (PMaybeData a) = DerivedPInner (DPTStrat (PMaybeData a)) (PMaybeData a)
type PVariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PVariant' (PMaybeData a)
type PLifted (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type PLifted (PMaybeData a) = Maybe (PLifted a)
type Rep (PMaybeData a s) Source #
Instance details Defined in Plutarch.Api.V1.Maybe type Rep (PMaybeData a s) = D1 ('MetaData "PMaybeData" "Plutarch.Api.V1.Maybe" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PDJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := a])))) :+: C1 ('MetaCons "PDNothing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))

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

Utility functions

ptuple :: Term s (PAsData a :--> (PAsData b :--> PTuple a b)) Source #