Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class (forall i j. Endofunctor s (m i j)) => Monad s m where Source #
class (forall i j. Endofunctor s (ɯ i j)) => Comonad s ɯ where Source #
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
class (forall i j. Endofunctor s (m i j)) => Monad s m where Source #
class (forall i j. Endofunctor s (ɯ i j)) => Comonad s ɯ where Source #