[Ur] Forms that call rpc instead of redirect

Adam Chlipala adamc at csail.mit.edu
Sun Feb 11 16:20:37 EST 2018


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.




More information about the Ur mailing list