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

Control.Functor.Transform Portability non-portable (rank-2 polymorphism, infix type constructors) Stability experimental Maintainer [email protected]

Description

Description

Documentation

module Control.Functor

type :> f g = forall a. f a -> g a Source

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