Portability | non-portable (class-associated types) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class Functor f => Representable f x whereSource
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 whereSource