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

Instances

class ContraFunctor f => Corepresentable f x whereSource

Methods

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

uncorep :: f a -> a -> xSource

data Both a Source

Constructors

Both a a 

data EitherF a b c Source

Constructors

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

Instances