category-extras-0.52.1: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Combinators.Of Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

newtype Of f p a b Source

Constructors Of runOf :: f (p a b) 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) (Copointed f, Copointed (p a)) => Copointed (Of f p a) (Pointed f, Pointed (p a)) => Pointed (Of f p a)

liftOf :: Functor f => (p a b -> p c d) -> Of f p a b -> Of f p c d Source

Produced by Haddock version 2.3.0