Control.Functor.Representable

Documentation

class Functor f => Representable f x where

Methods

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

unrep :: f a -> x -> a

Instances

Representable Identity ()

Representable Both Bool

Representable Identity (Identity ())

Representable ((->) e) e

Representable ((->) e) (e, ())

Representable (Reader e) (Coreader e ())

Representable (EitherF a b) (Either a b)

(Adjunction f1 g1, Adjunction f2 g2) => Representable (CompF g1 g2) (CompF f2 f1 ())

class ContraFunctor f => Corepresentable f x where

Methods

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

uncorep :: f a -> a -> x

data Both a

Constructors

Both a a

Instances

Functor Both

Representable Both Bool

data EitherF a b c

Constructors

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

Instances

Functor (EitherF a b)

Representable (EitherF a b) (Either a b)