category-extras-0.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
Control.Functor.Transform
Portabilitynon-portable (rank-2 polymorphism, infix type constructors)
Stabilityexperimental
Maintainerdan.doel@gmail.com
Description
Description
Documentation
module Control.Functor
type :> f g = forall a. f a -> g aSource
funcTrans :: (f :> g) -> (f `O` h) :> (g `O` h)Source
transFunc :: Functor k => (f :> g) -> (k `O` f) :> (k `O` g)Source
(.>) :: Functor k => (h :> k) -> (f :> g) -> (h `O` f) :> (k `O` g)Source
Produced by Haddock version 2.3.0