Portability | portable |
---|---|

Stability | experimental |

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

# Coideal Comonads

class Functor w => ComonadCoideal w whereSource

coidealize :: w a -> w (a, w a)Source

buildCoideal :: Coalgebra m a -> a -> Coideal m aSource

Portability | portable |
---|---|

Stability | experimental |

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

class Functor w => ComonadCoideal w whereSource

coidealize :: w a -> w (a, w a)Source

buildCoideal :: Coalgebra m a -> a -> Coideal m aSource