Thank you. The reasons you provided make sense. I will have to do a bit of "refactoring".
I had also been thinking that monadic versions of folders might be helpful - and I had forgotten that this was already available using Monad.foldR. Thanks! #### On Mon, Aug 31, 2015 at 2:02 PM, Ziv Scully <[email protected]> wrote: > I see two problems at least: > > 1) The type signatures (e.g. [colMeta] in the .urs file) haven't been > updated to reflect the fact that the widget field will be a transaction. > > 2) The accumulating function passed to [foldR] doesn't treat its arguments > like transactions. > > A completely different approach might use something like Monad.exec or > Monad.foldR. ). > >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
