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

Control.Monad.Ideal  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 





Description 


Synopsis 




Ideal Monads


class Functor m => MonadIdeal m where 
 Methods  idealize :: m (Either a (m a)) > m a 



type Ideal = Ap Either 

ideal :: Either a (f a) > Ideal f a 

destroyIdeal :: Algebra m a > Ideal m a > 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  


Ideal Monad Coproduct


type :+ m n = Mutual' Either m n 

Produced by Haddock version 2.1.0 