Re: [Ur] Struggling to figure out mapping of record

2018-08-18 Thread Adam Chlipala
On 08/18/2018 08:43 AM, Simon Van Casteren wrote: {Age: option float, FirstName: string} [...] {Age: option float -> either string int, FirstName: string -> either string string} [...] Output should be of the type: {Age: either string int, FirstName: either string string} I feel Ur should

[Ur] Struggling to figure out mapping of record

2018-08-18 Thread Simon Van Casteren
Hi everybody, I'm struggling to get my validation functions the way I really like them. What I would like to do is start from a record of input fields that have a certain type, eg: {Age: option float, FirstName: string} I then have a function that will validate the values of this record, and