Control.Monad.Ideal

Contents

• Ideal Monads
• Mutual recursion for (co)ideal (co)monad (co)products
• Ideal Monad Coproduct

Description

Synopsis

• class Functor m => MonadIdeal m where
  • 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
• newtype Mutual p m n a = Mutual {
  • runMutual :: m (p a (Mutual p n m a))
  }
• type :+ m n = Mutual' Either m n

Ideal Monads

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

Ideal Monad Coproduct