category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Functor.Combinators.Of
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
newtype Of f p a b
Constructors
Of
runOf :: f (p a b)
show/hide Instances
(Functor f, Symmetric Hask p) => Symmetric Hask (Of f p)
(Functor f, Braided Hask p) => Braided Hask (Of f p)
(Copointed f, PCopointed p) => PCopointed (Of f p)
(Pointed f, PPointed p) => PPointed (Of f p)
(Functor f, QFunctor p Hask Hask) => QFunctor (Of f p) Hask Hask
(Functor f, PFunctor p Hask Hask) => PFunctor (Of f p) Hask Hask
(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask
(Functor f, Functor (p a)) => Functor (Of f p a)
(Pointed f, Pointed (p a)) => Pointed (Of f p a)
(Copointed f, Copointed (p a)) => Copointed (Of f p a)
liftOf :: Functor f => (p a b -> p c d) -> Of f p a b -> Of f p c d
Produced by Haddock version 2.1.0