plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.DCert

Documentation

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

Orphan instances