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 |

class CFunctor w ~> ~> => CCopointed w (~>) whereSource

class CFunctor w ~> ~> => CExtend w (~>) whereSource

cduplicate :: w a ~> w (w a)Source

class (CFunctor f ~> ~>, CFunctor g ~> ~>) => CDistributes f g (~>) whereSource

class (CCopointed m ~>, CExtend m ~>) => CComonad m (~>) Source

(CCopointed m ~>, CExtend m ~>) => CComonad m ~> |