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>
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:
and then use it like this:
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 mailing list
Ur mailing list
Ur mailing list