 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Comonad.Coideal  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 





Description 


Synopsis 




Coideal Comonads


class Functor w => ComonadCoideal w where 
 Methods  coidealize :: w a > w (a, w a) 



type Coideal = Ap (,) 

coideal :: (a, f a) > Coideal f a 

buildCoideal :: Coalgebra m a > a > Coideal m a 

Mutual recursion for (co)ideal (co)monad (co)products


newtype Mutual p m n a 
Constructors  Mutual   runMutual :: m (p a (Mutual p n m a))  

 Instances  


Coideal Comonad Product


type :* m n = Mutual' (,) m n 

Produced by Haddock version 2.1.0 