 | category-extras-0.50.3: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Representable | Portability | non-portable (class-associated 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 | |
|
|
data EitherF a b c |
Constructors | EitherF (a -> c) (b -> c) | |
| Instances | |
|
|
Produced by Haddock version 2.1.0 |