| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Description | ||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||
| ||||||||||||||||||||||
Ideal Monads | ||||||||||||||||||||||
class Functor m => MonadIdeal m where | ||||||||||||||||||||||
| ||||||||||||||||||||||
type Ideal = Ap Either | ||||||||||||||||||||||
ideal :: Either a (f a) -> Ideal f a | ||||||||||||||||||||||
Coideal Comonads | ||||||||||||||||||||||
class Functor w => ComonadCoideal w where | ||||||||||||||||||||||
| ||||||||||||||||||||||
type Coideal = Ap (,) | ||||||||||||||||||||||
coideal :: (a, f a) -> Coideal f a | ||||||||||||||||||||||
Mutual recursion for (co)ideal (co)monad (co)products | ||||||||||||||||||||||
newtype Mutual p m n a | ||||||||||||||||||||||
| ||||||||||||||||||||||
Coideal Comonad Product | ||||||||||||||||||||||
type :* m n = Mutual' (,) m n | ||||||||||||||||||||||
Ideal Monad Coproduct | ||||||||||||||||||||||
type :+ m n = Mutual' Either m n | ||||||||||||||||||||||
Produced by Haddock version 2.1.0 |