Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Maybe

Synopsis

data PMaybe (a :: PType) (s :: S)
- = PJust (Term s a)
- | PNothing
pfromJust :: Term s (PMaybe a :--> a)

Documentation

data PMaybe (a :: PType) (s :: S) Source #

Plutus Maybe type, with Scott-encoded repr

Constructors

PJust (Term s a)
PNothing

Instances

Instances details

PEq a => PEq (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybe a) -> Term s (PMaybe a) -> Term s PBool Source #
DerivePlutusType (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Associated Types type DPTStrat (PMaybe a) Source #
PlutusType (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Associated Types type PInner (PMaybe a) :: PType Source # type PCovariant' (PMaybe a) Source # type PContravariant' (PMaybe a) Source # type PVariant' (PMaybe a) Source # Methods pcon' :: forall (s :: S). PMaybe a s -> Term s (PInner (PMaybe a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybe a)) -> (PMaybe a s -> Term s b) -> Term s b Source #
PShow a => PShow (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybe a) -> Term s PString Source #
Generic (PMaybe a s) Source #
Instance details Defined in Plutarch.Maybe Associated Types type Rep (PMaybe a s) :: Type -> Type Source # Methods from :: PMaybe a s -> Rep (PMaybe a s) x Source # to :: Rep (PMaybe a s) x -> PMaybe a s Source #
type DPTStrat (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type DPTStrat (PMaybe a) = PlutusTypeScott
type PContravariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PContravariant' (PMaybe a)
type PCovariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PCovariant' (PMaybe a)
type PInner (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PInner (PMaybe a) = DerivedPInner (DPTStrat (PMaybe a)) (PMaybe a)
type PVariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PVariant' (PMaybe a)
type Rep (PMaybe a s) Source #
Instance details Defined in Plutarch.Maybe type Rep (PMaybe a s) = D1 ('MetaData "PMaybe" "Plutarch.Maybe" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))) :+: C1 ('MetaCons "PNothing" 'PrefixI 'False) (U1 :: Type -> Type))

pfromJust :: Term s (PMaybe a :--> a) Source #

fallible unwrapping from PMaybe