category-extras-0.44.4: Various modules and constructs inspired by category theory
Control.Functor.Representable
Description
class Functor f => Representable f x whereSource
Methods
rep :: (x -> a) -> f aSource
unrep :: f a -> x -> aSource
Instances
data EitherF a b c Source
Constructors