| ||||||||||||||
| ||||||||||||||
| ||||||||||||||
Description | ||||||||||||||
Synopsis | ||||||||||||||
| ||||||||||||||
Ideal Monads | ||||||||||||||
class Functor m => MonadIdeal m where | ||||||||||||||
| ||||||||||||||
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 | ||||||||||||||
| ||||||||||||||
Ideal Monad Coproduct | ||||||||||||||
type :+ m n = Mutual' Either m n | ||||||||||||||
Produced by Haddock version 2.1.0 |