category-extras-0.44.1: 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 (EitherF a b) (Either a b) Representable (EitherF a b) (Either a b)

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.1.0