[Ur] Maybe Monad ( option monad) or list monad in Ur

[austin seipp]

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 <marco-oweber at gmx.de> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>



-- 
Regards,
Austin