category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Representable
Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class Functor f => Representable f x whereSource
Methods
rep :: (x -> a) -> f aSource
unrep :: f a -> x -> aSource
show/hide Instances
class ContraFunctor f => Corepresentable f x whereSource
Methods
corep :: (a -> x) -> f aSource
uncorep :: f a -> a -> xSource
data Both a Source
Constructors
Both a a
show/hide Instances
data EitherF a b c Source
Constructors
EitherF (a -> c) (b -> c)
show/hide Instances
Produced by Haddock version 2.4.2