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