category-extras-0.53.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Representable Portability non-portable (class-associated types) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class Functor f => Representable f x where Source

Methods rep :: (x -> a) -> f a Source unrep :: f a -> x -> a Source Instances Representable Identity () Representable Identity () Representable Both Bool Representable Both Bool Representable Identity (Identity ()) Representable ((->) e) e Representable ((->) e) ((,) e ()) Representable ((->) e) ((,) e ()) Representable (Reader e) (Coreader e ()) Representable (Reader e) (Coreader e ()) Representable (EitherF a b) (Either a b) Representable (EitherF a b) (Either a b) (Adjunction f1 g1, Adjunction f2 g2) => Representable (CompF g1 g2) (CompF f2 f1 ())

rep :: Representable f x => (x -> a) -> f a Source

unrep :: Representable f x => f a -> x -> a Source

class ContraFunctor f => Corepresentable f x where Source

Methods corep :: (a -> x) -> f a Source uncorep :: f a -> a -> x Source

corep :: Corepresentable f x => (a -> x) -> f a Source

uncorep :: Corepresentable f x => f a -> a -> x Source

data Both a Source

Constructors Both a a Instances Functor Both Representable Both Bool

data EitherF a b c Source

Constructors EitherF (a -> c) (b -> c) Instances Functor (EitherF a b) Representable (EitherF a b) (Either a b)

Produced by Haddock version 2.3.0