category-extras-0.51.3: Various modules and constructs inspired by category theory

Portability	non-portable (class-associated types)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Functor.Representable

Description

Documentation

class Functor f => Representable f x whereSource

Methods

rep :: (x -> a) -> f aSource

unrep :: f a -> x -> aSource

Instances

Representable (EitherF a b) (Either a b)

data EitherF a b c Source

Constructors

EitherF (a -> c) (b -> c)

Instances

Functor (EitherF a b)
Representable (EitherF a b) (Either a b)