It's there in basis but there is no function with which you can construct an instance of 'monad a'. The type class is closed and the only instances are for 'transaction' and 'signal'.
On Sat, Aug 6, 2011 at 2:40 AM, Marc Weber <[email protected]> wrote: > 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 > -- Regards, Austin _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
