plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Maybe

Synopsis

Documentation

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

Orphan instances