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