Consequently, the following validator const dict = idtlt.dictionary(idtlt.union('Foo', 'Bar'), string) will return no information about the key type 'Foo' | 'Bar' so I can't convert it correctly to fast-check arbitrary.
Do you mind if you can expose more details in the meta data ?
As a maintainer of https://github.com/nielk/idonttrustlikethat-fast-check I got troubles to figure out how to convert idtlt dictionary into fast-check Arbitrary.
The main reason is that
idtlt.dictionary(union('Foo', 'Bar'), number)
returns only meta value with number type:I would expect meta data with union type described, something like:
Consequently, the following validator
const dict = idtlt.dictionary(idtlt.union('Foo', 'Bar'), string)
will return no information about the key type'Foo' | 'Bar'
so I can't convert it correctly to fast-check arbitrary.Do you mind if you can expose more details in the meta data ?
Here is a complete exemple: playground