<div dir="auto">Artyom. Not Yartom. I appologize. Thats what happens when you don't double check your names!</div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 12, 2018 17:57, <a href="mailto:sheganinans@gmail.com">sheganinans@gmail.com</a> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Thank you Ziv and Yartom!<div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">Yartom, your snapshot function looks very close to what I need. Monad.mapR is a function I should probably start using more. Thanks!</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 11, 2018 21:31, "Artyom Shalkhakov" <<a href="mailto:artyom.shalkhakov@gmail.com">artyom.shalkhakov@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello Aistis,<br><div><div class="gmail_extra"><br><div class="gmail_quote"><div class="quoted-text">2018-02-12 4:03 GMT+06:00 Aistis Raulinaitis <span dir="ltr"><<a href="mailto:sheganinans@gmail.com" target="_blank">sheganinans@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">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.<div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div></div></blockquote><div><br></div></div><div>FWIW, you can define something like this:<br><br><a href="https://github.com/ashalkhakov/urweb-projects/blob/master/meter/screens.ur#L163" target="_blank">https://github.com/<wbr>ashalkhakov/urweb-projects/<wbr>blob/master/meter/screens.ur#<wbr>L163</a><br><br></div><div>and then use it like this:<br><br><a href="https://github.com/ashalkhakov/urweb-projects/blob/master/meter/screens.ur#L192" target="_blank">https://github.com/<wbr>ashalkhakov/urweb-projects/<wbr>blob/master/meter/screens.ur#<wbr>L192</a><br><br></div><div>And it's not too bad.<br></div><div class="quoted-text"><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="auto"></div><div dir="auto">Losing the form submit struct typing mechanism and the added verbosity of all the sources would be very painful if <span style="font-family:sans-serif">you are expecting the majority of your forms to be of this style. Which I am.</span></div></div><div class="m_5737887057445147567gmail-HOEnZb"><div class="m_5737887057445147567gmail-h5"><div class="gmail_extra"><br><div class="gmail_quote">On Feb 11, 2018 13:20, "Adam Chlipala" <<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">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.<br>
<br>
On 02/11/2018 04:10 PM, Aistis Raulinaitis wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
The form mechanism is excellent, with the built in type checking, but the submit action function returns a page: state -> transaction page.<br>
<br>
Is there such a thing such as a version of forms that has a submit action function with a type of: state -> transaction unit.<br>
<br>
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.<br>
</blockquote>
<br>
<br>
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/c<wbr>gi-bin/mailman/listinfo/ur</a><br>
</blockquote></div></div>
</div></div><br>______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/c<wbr>gi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div></div><font color="#888888"><br><br clear="all"><br>-- <br><div class="m_5737887057445147567gmail_signature">Cheers,<br>Artyom Shalkhakov<br></div>
</font></div></div></div>
<br>______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br></div></blockquote></div><br></div>