category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Functor.Representable
Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class Functor f => Representable f x where
Methods
rep :: (x -> a) -> f a
unrep :: f a -> (x -> a)
show/hide Instances
Representable (EitherF a b) (Either a b)
data EitherF a b c
Constructors
EitherF (a -> c) (b -> c)
show/hide Instances
Functor (EitherF a b)
Representable (EitherF a b) (Either a b)
Produced by Haddock version 2.1.0