 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Functor.Representable  Portability  nonportable (classassociated types)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 



Documentation 

class Functor f => Representable f x where 
 Methods  rep :: (x > a) > f a   unrep :: f a > (x > a) 
  Instances  


rep :: Representable f x => (x > a) > f a 

unrep :: Representable f x => f a > (x > a) 

class ContraFunctor f => Corepresentable f x where 
 Methods  corep :: (a > x) > f a   uncorep :: f a > (a > x) 



corep :: Corepresentable f x => (a > x) > f a 

uncorep :: Corepresentable f x => f a > (a > x) 

data Both a 
Constructors   Instances  


data EitherF a b c 
Constructors  EitherF (a > c) (b > c)  
 Instances  


Produced by Haddock version 2.1.0 