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

Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward 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

data EitherF a b c Source

Constructors

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

Instances

data Both a Source

Constructors

Both a a