| category-extras-0.53.6: 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 | |
|
|
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 |