| ||||||||||||||
| ||||||||||||||
| ||||||||||||||
Description | ||||||||||||||
Synopsis | ||||||||||||||
| ||||||||||||||
Coideal Comonads | ||||||||||||||
class Functor w => ComonadCoideal w where | ||||||||||||||
| ||||||||||||||
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 | ||||||||||||||
| ||||||||||||||
Coideal Comonad Product | ||||||||||||||
type :* m n = Mutual' (,) m n | ||||||||||||||
Produced by Haddock version 2.1.0 |