Changes between Version 13 and Version 14 of TypeFunctions/ClassFamilies

Timestamp:

07/19/07 02:44:12 (6 years ago)

Author:

toms

Comment:

--

TypeFunctions/ClassFamilies

@@ -289 +289 @@
 }}}
 
+====Restricted Monads====
+
+'''Tom''': This way we can also make Set an instance of (C)Monad. I believe lots of people
+have been asking for this.
+
+{{{
+
+class CMonad m where
+  class Condition m :: * -> Class
+  (>>=) :: (Condition a, Condition b) => m a -> (a -> m b) -> m b
+  (>>)  :: (Condition a, Condition b) => m a -> m b -> m b
+  return :: Condition a => a -> m a
+  fail :: Condition a => String -> m a
+
+instance CMonad [] where
+  class Condition [] a
+  ...
+
+instance CMonad Set where
+  class Eq a => Condition Set a
+  ...
+
+}}}
+
 === Type checking ===