Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Builtin

Synopsis

newtype PDataNewtype (a :: S -> Type) (s :: S) = PDataNewtype (Term s (PAsData a))

Documentation

newtype PDataNewtype (a :: S -> Type) (s :: S) Source #

Since: 1.7.0

Constructors

PDataNewtype (Term s (PAsData a))

Instances

Instances details

(PIsData a, PTryFrom PData (PAsData a)) => PTryFrom PData (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Associated Types type PTryFromExcess PData (PDataNewtype a) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PDataNewtype a), Reduce (PTryFromExcess PData (PDataNewtype a) s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData (PDataNewtype a)) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Associated Types type PTryFromExcess PData (PAsData (PDataNewtype a)) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PDataNewtype a)), Reduce (PTryFromExcess PData (PAsData (PDataNewtype a)) s)) -> Term s r) -> Term s r Source #
PEq (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s PBool Source #
PIsData (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataNewtype a)) -> Term s (PDataNewtype a) Source # pdataImpl :: forall (s :: S). Term s (PDataNewtype a) -> Term s PData Source #
(PIsData a, POrd a) => POrd (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods (#<=) :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s PBool Source # pmax :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s (PDataNewtype a) Source # pmin :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s (PDataNewtype a) Source #
PlutusType (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Associated Types type PInner (PDataNewtype a) :: PType Source # type PCovariant' (PDataNewtype a) Source # type PContravariant' (PDataNewtype a) Source # type PVariant' (PDataNewtype a) Source # Methods pcon' :: forall (s :: S). PDataNewtype a s -> Term s (PInner (PDataNewtype a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataNewtype a)) -> (PDataNewtype a s -> Term s b) -> Term s b Source #
(PIsData a, PShow a) => PShow (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s (PDataNewtype a) -> Term s PString Source #
Generic (PDataNewtype a s) Source #
Instance details Defined in Plutarch.Builtin Associated Types type Rep (PDataNewtype a s) :: Type -> Type Source # Methods from :: PDataNewtype a s -> Rep (PDataNewtype a s) x Source # to :: Rep (PDataNewtype a s) x -> PDataNewtype a s Source #
type PTryFromExcess PData (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PTryFromExcess PData (PDataNewtype a) = PTryFromExcess PData (PInner (PDataNewtype a))
type PTryFromExcess PData (PAsData (PDataNewtype a)) Source #
Instance details Defined in Plutarch.Builtin type PTryFromExcess PData (PAsData (PDataNewtype a)) = PTryFromExcess PData (PInner (PAsData (PDataNewtype a)))
type PContravariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PDataNewtype a) = All2 PContravariant'' (PCode (PDataNewtype a))
type PCovariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PDataNewtype a) = All2 PCovariant'' (PCode (PDataNewtype a))
type PInner (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PInner (PDataNewtype a) = PData
type PVariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PDataNewtype a) = All2 PVariant'' (PCode (PDataNewtype a))
type Rep (PDataNewtype a s) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin type Rep (PDataNewtype a s) = D1 ('MetaData "PDataNewtype" "Plutarch.Builtin" "plutarch-1.9.0-FtN0mhIoM9oEvz7Q98pjWP" 'True) (C1 ('MetaCons "PDataNewtype" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))))