10 Sep
2006
10 Sep
'06
4:49 p.m.
On Sun, Sep 10, 2006 at 10:08:22AM +0400, Bulat Ziganshin wrote:
we can improve readability of various declarations by using the same scheme:
class Monad m | Functor m, Monoid m where ...
instance Monad (WriterT m) | Monad m where ...
sequence :: [m a] -> m [a] | Monad m
I am not entirely sure, but I think this syntax for type class context is used in the Concurrent Clean language. Best regards Tomasz