Hi! Without pretending to answer your question completely, could you please take a look at https://github.com/grwlf/urweb-monad-pack (error.ur) ?
Regards, Sergey 2016-04-04 5:24 GMT+03:00 <[email protected]>: > Hi all, > > How do I handle application errors in Ur? Is there a preferred method which > allows to check whether all errors have their handlers or not? > > I am looking for maybe something similar to the below: > http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
