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

Control.Functor.Representable

Description

class Functor f => Representable f x whereSource

Methods

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

unrep :: f a -> x -> aSource

Instances

data EitherF a b c Source

Constructors