Portability | non-portable (functional-dependencies) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

A more categorical definition of Functor than endofunctors in the category Hask

# Documentation

class (Category r, Category s) => CFunctor f r s | f r -> s, f s -> r whereSource

CFunctor [] Hask Hask | |

CFunctor IO Hask Hask | |

CFunctor Maybe Hask Hask | |

CFunctor Identity Hask Hask | |

CFunctor (Either a) Hask Hask | |

CFunctor ((,) e) Hask Hask | |

CFunctor (Cont e) Hask Hask | |

CFunctor (Writer e) Hask Hask | |

CFunctor (Writer e) Hask Hask | |

CFunctor (State s) Hask Hask | |

CFunctor (State s) Hask Hask | |

Monad m => CFunctor (ListT m) Hask Hask | |

CFunctor (Reader e) Hask Hask | |

Monad m => CFunctor (ContT r m) Hask Hask | |

Monad m => CFunctor (WriterT w m) Hask Hask | |

Monad m => CFunctor (WriterT e m) Hask Hask | |

Monad m => CFunctor (StateT s m) Hask Hask | |

Monad m => CFunctor (StateT e m) Hask Hask | |

Monad m => CFunctor (ReaderT e m) Hask Hask | |

CFunctor (RWS r w s) Hask Hask | |

CFunctor (RWS r w s) Hask Hask | |

Monad m => CFunctor (RWST r w s m) Hask Hask | |

Monad m => CFunctor (RWST r w s m) Hask Hask |