Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Identity

Synopsis

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

Documentation

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

Just a value of type a.

Since: 1.0.0

Constructors

PIdentity (Term s a)

Instances

Instances details

PApplicative PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods ppure :: forall (a :: S -> Type) (s :: S). PSubcategory PIdentity a => Term s (a :--> PIdentity a) Source #
PApply PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pliftA2 :: forall (a :: S -> Type) (b :: S -> Type) (c :: S -> Type) (s :: S). (PSubcategory PIdentity a, PSubcategory PIdentity b, PSubcategory PIdentity c) => Term s ((a :--> (b :--> c)) :--> (PIdentity a :--> (PIdentity b :--> PIdentity c))) Source #
PBind PIdentity Source #	Since: 3.0.1
Instance details Defined in Plutarch.Extra.Identity Methods (#>>=) :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). (PSubcategory PIdentity a, PSubcategory PIdentity b) => Term s (PIdentity a) -> Term s (a :--> PIdentity b) -> Term s (PIdentity b) Source #
PComonad PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pextract :: forall (a :: S -> Type) (s :: S). PSubcategory PIdentity a => Term s (PIdentity a :--> a) Source #
PExtend PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pextend :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). (PSubcategory PIdentity a, PSubcategory PIdentity b) => Term s ((PIdentity a :--> b) :--> (PIdentity a :--> PIdentity b)) Source #
PFunctor PIdentity Source #	Since: 3.1.0
Instance details Defined in Plutarch.Extra.Identity Associated Types type PSubcategory PIdentity :: (S -> Type) -> Constraint Source # Methods pfmap :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). (PSubcategory PIdentity a, PSubcategory PIdentity b) => Term s ((a :--> b) :--> (PIdentity a :--> PIdentity b)) Source # pfconst :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). (PSubcategory PIdentity a, PSubcategory PIdentity b) => Term s (a :--> (PIdentity b :--> PIdentity a)) Source #
PSemiTraversable PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Traversable Methods psemitraverse :: forall (f :: (S -> Type) -> S -> Type) (a :: S -> Type) (b :: S -> Type) (s :: S). (PApply f, PSubcategory f a, PSubcategory f b, PSubcategory f (PIdentity b)) => Term s ((a :--> f b) :--> (PIdentity a :--> f (PIdentity b))) Source # psemitraverse_ :: forall (b :: S -> Type) (f :: (S -> Type) -> S -> Type) (a :: S -> Type) (s :: S). (PApply f, PSubcategory f b, PBoring b, PSubcategory PIdentity a) => Term s ((a :--> f b) :--> (PIdentity a :--> f b)) Source #
PTraversable PIdentity Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Traversable Methods ptraverse :: forall (f :: (S -> Type) -> S -> Type) (a :: S -> Type) (b :: S -> Type) (s :: S). (PApplicative f, PSubcategory f a, PSubcategory f b, PSubcategory f (PIdentity b), PSubcategory PIdentity a, PSubcategory PIdentity b) => Term s ((a :--> f b) :--> (PIdentity a :--> f (PIdentity b))) Source # ptraverse_ :: forall (b :: S -> Type) (f :: (S -> Type) -> S -> Type) (a :: S -> Type) (s :: S). (PApplicative f, PSubcategory f b, PBoring b, PSubcategory PIdentity a) => Term s ((a :--> f b) :--> (PIdentity a :--> f b)) Source #
PBoring a => PBoring (PIdentity a) Source #	Since: 1.2.0
Instance details Defined in Plutarch.Extra.Identity Methods pboring :: forall (s :: S). Term s (PIdentity a) Source #
PEq a => PEq (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods (#==) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s PBool Source #
POrd a => POrd (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity
POrd a => PPartialOrd (PIdentity a) Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Identity Methods (#<=) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s PBool Source #
PIsData a => PIsData (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PIdentity a)) -> Term s (PIdentity a) Source # pdataImpl :: forall (s :: S). Term s (PIdentity a) -> Term s PData Source #
PIntegral a => PIntegral (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pdiv :: forall (s :: S). Term s (PIdentity a :--> (PIdentity a :--> PIdentity a)) Source # pmod :: forall (s :: S). Term s (PIdentity a :--> (PIdentity a :--> PIdentity a)) Source # pquot :: forall (s :: S). Term s (PIdentity a :--> (PIdentity a :--> PIdentity a)) Source # prem :: forall (s :: S). Term s (PIdentity a :--> (PIdentity a :--> PIdentity a)) Source #
DerivePlutusType (PIdentity a) Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Identity Associated Types type DPTStrat (PIdentity a) Source #
PlutusType (PIdentity a) Source #
Instance details Defined in Plutarch.Extra.Identity Associated Types type PInner (PIdentity a) :: PType Source # type PCovariant' (PIdentity a) Source # type PContravariant' (PIdentity a) Source # type PVariant' (PIdentity a) Source # Methods pcon' :: forall (s :: S). PIdentity a s -> Term s (PInner (PIdentity a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PIdentity a)) -> (PIdentity a s -> Term s b) -> Term s b Source #
PNum a => PNum (PIdentity a) Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Identity Methods (#+) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s (PIdentity a) Source # (#-) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s (PIdentity a) Source # (#*) :: forall (s :: S). Term s (PIdentity a) -> Term s (PIdentity a) -> Term s (PIdentity a) Source # pnegate :: forall (s :: S). Term s (PIdentity a :--> PIdentity a) Source # pabs :: forall (s :: S). Term s (PIdentity a :--> PIdentity a) Source # psignum :: forall (s :: S). Term s (PIdentity a :--> PIdentity a) Source # pfromInteger :: forall (s :: S). Integer -> Term s (PIdentity a) Source #
PShow a => PShow (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity Methods pshow' :: forall (s :: S). Bool -> Term s (PIdentity a) -> Term s PString Source #
Generic (PIdentity a s) Source #
Instance details Defined in Plutarch.Extra.Identity Associated Types type Rep (PIdentity a s) :: Type -> Type Source # Methods from :: PIdentity a s -> Rep (PIdentity a s) x Source # to :: Rep (PIdentity a s) x -> PIdentity a s Source #
type PSubcategory PIdentity Source #
Instance details Defined in Plutarch.Extra.Identity type PSubcategory PIdentity = Plut
type DPTStrat (PIdentity a) Source #
Instance details Defined in Plutarch.Extra.Identity type DPTStrat (PIdentity a) = PlutusTypeNewtype
type PContravariant' (PIdentity a) Source #
Instance details Defined in Plutarch.Extra.Identity type PContravariant' (PIdentity a) = All2 PContravariant'' (PCode (PIdentity a))
type PCovariant' (PIdentity a) Source #
Instance details Defined in Plutarch.Extra.Identity type PCovariant' (PIdentity a) = All2 PCovariant'' (PCode (PIdentity a))
type PInner (PIdentity a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity type PInner (PIdentity a) = DerivedPInner (DPTStrat (PIdentity a)) (PIdentity a)
type PVariant' (PIdentity a) Source #
Instance details Defined in Plutarch.Extra.Identity type PVariant' (PIdentity a) = All2 PVariant'' (PCode (PIdentity a))
type Rep (PIdentity a s) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Extra.Identity type Rep (PIdentity a s) = D1 ('MetaData "PIdentity" "Plutarch.Extra.Identity" "liqwid-plutarch-extra-3.21.1-KPadsMN5oqEA2Ctxwq6qig" 'True) (C1 ('MetaCons "PIdentity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))