Thank you Ziv and Yartom! Ziv, I'll take some time to see if I can get your example working with what I have. This would be nice to get working.
Yartom, your snapshot function looks very close to what I need. Monad.mapR is a function I should probably start using more. Thanks! On Feb 11, 2018 21:31, "Artyom Shalkhakov" <artyom.shalkha...@gmail.com> wrote: Hello Aistis, 2018-02-12 4:03 GMT+06:00 Aistis Raulinaitis <sheganin...@gmail.com>: > Yes I did get a little demo working with ctextbox, cchecbox, and the like. > However the result is much more verbose and more likely to have runtime > errors over a regular form. > > The way that a form will pack all of its contents into a stuct is a clear > advantage over the source based route. It requires defining possibly many > sources and wiring them all into the right slots, having to call "get" on > each one of them in the onclick handler and then wire all the gotten values > into the handler. > > FWIW, you can define something like this: https://github.com/ashalkhakov/urweb-projects/blob/master/meter/screens.ur# L163 and then use it like this: https://github.com/ashalkhakov/urweb-projects/blob/master/meter/screens.ur# L192 And it's not too bad. > Losing the form submit struct typing mechanism and the added verbosity of > all the sources would be very painful if you are expecting the majority > of your forms to be of this style. Which I am. > > On Feb 11, 2018 13:20, "Adam Chlipala" <ad...@csail.mit.edu> wrote: > >> I think that kind of form has gone out of style, and I personally almost >> always use the Ur/Web tags like <ctextbox> to collect data and then choose >> RPCs programmatically. >> >> On 02/11/2018 04:10 PM, Aistis Raulinaitis wrote: >> >>> The form mechanism is excellent, with the built in type checking, but >>> the submit action function returns a page: state -> transaction page. >>> >>> Is there such a thing such as a version of forms that has a submit >>> action function with a type of: state -> transaction unit. >>> >>> This is so I can call rpc functions there in the submit action and then >>> the current page is updated using responses over a channel from the server. >>> >> >> >> _______________________________________________ >> Ur mailing list >> Ur@impredicative.com >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > > -- Cheers, Artyom Shalkhakov _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
