category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Functor.Pointed
Portability
portable
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
class
Functor
f =>
Pointed
f
where
Source
Methods
point
:: a -> f a
Source
Instances
Pointed
[]
Pointed
Maybe
Pointed
Identity
Pointed
(
Either
a)
(
Bifunctor
f
Hask
Hask
Hask
,
PPointed
f) =>
Pointed
(
Fix
f)
Pointed
f =>
Pointed
(
CoYoneda
f)
Pointed
f =>
Pointed
(
Yoneda
f)
Pointed
(
Codensity
f)
Functor
f =>
Pointed
(
Ideal
f)
(
HPointed
h,
Pointed
f) =>
Pointed
(
LowerH
h f)
(
Pointed
f,
Pointed
g) =>
Pointed
(f
:*:
g)
Pointed
(
IxCont
i i)
Pointed
f =>
Pointed
(
EitherT
a f)
(
Pointed
f,
Pointed
g) =>
Pointed
(
DistCompF
f g)
(
Pointed
f,
Pointed
mw) =>
Pointed
(
PreCompF
f mw)
(
Pointed
mw,
Pointed
f) =>
Pointed
(
PostCompF
mw f)
(
Pointed
f,
Pointed
g) =>
Pointed
(
PointedCompF
f g)
Adjunction
f g =>
Pointed
(
ACompF
g f)
Monoid
t =>
Pointed
(
Const2
t a)
Monad
m =>
Pointed
(
IxContT
m i i)
(
Pointed
f,
Pointed
(p a)) =>
Pointed
(
Of
f p a)
class
Functor
f =>
Copointed
f
where
Source
Methods
extract
:: f a -> a
Source
Instances
Copointed
Identity
Copointed
Supply
Monoid
m =>
Copointed
((->) m)
Copointed
(
(,)
e)
Copointed
(
Context
s)
Monoid
m =>
Copointed
(
Exp
m)
Ix
i =>
Copointed
(
Pointer
i)
Copointed
(
Coreader
r)
(
Bifunctor
f
Hask
Hask
Hask
,
PCopointed
f) =>
Copointed
(
Fix
f)
Copointed
(
Density
f)
Copointed
w =>
Copointed
(
CoYoneda
w)
Copointed
f =>
Copointed
(
Yoneda
f)
Functor
f =>
Copointed
(
Coideal
f)
Copointed
(
ContextT
b w)
Copointed
w =>
Copointed
(
CoreaderT
w b)
(
HCopointed
h,
Copointed
f) =>
Copointed
(
LowerH
h f)
(
Copointed
f,
Copointed
g) =>
Copointed
(f
:+:
g)
(
Copointed
f,
Copointed
g) =>
Copointed
(
DistCompF
f g)
(
Copointed
f,
Copointed
mw) =>
Copointed
(
PreCompF
f mw)
(
Copointed
mw,
Copointed
f) =>
Copointed
(
PostCompF
mw f)
(
Copointed
f,
Copointed
g) =>
Copointed
(
PointedCompF
f g)
Adjunction
f g =>
Copointed
(
ACompF
f g)
(
Copointed
f,
Copointed
(p a)) =>
Copointed
(
Of
f p a)
class
PFunctor
f
Hask
Hask
=>
PPointed
f
where
Source
Methods
preturn
:: a -> f a c
Source
Instances
FunctorPlus
f =>
PPointed
(
PCofree
f)
Functor
f =>
PPointed
(
PFree
f)
ContraFunctor
h =>
PPointed
(
PHyper
h)
Monoid
t =>
PPointed
(
Const2
t)
(
Pointed
f,
PPointed
p) =>
PPointed
(
Of
f p)
class
PFunctor
f
Hask
Hask
=>
PCopointed
f
where
Source
Methods
pextract
:: f a c -> a
Source
Instances
Functor
f =>
PCopointed
(
PCofree
f)
(
Copointed
f,
PCopointed
p) =>
PCopointed
(
Of
f p)
Produced by
Haddock
version 2.4.2