plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Address

Documentation

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

Orphan instances