category-extras-0.52.0: 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 Identity ()
Representable Both Bool
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)

data Both a Source

Constructors

Both a a

Instances

Functor Both
Representable Both Bool