Excerpts from hao deng's message of Sat Aug 06 08:40:55 +0200 2011: > or Ur's Monad is just for side effect? Current usage has been introduced for side effects mainly AFAIK.
The manual section 8.1 says literally: "The Ur Basis defines the monad constructor class from Haskell." The new tutorial on impredicative.com should give you some ideas about how to define class instances. Probably I'm going to try this myself later. Maybe you're faster? Looking at Haskell's implementation this should be trivial to implement. Adam C, if this is wrong correct me, please. Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
