giacomociti / antanixml Goto Github PK

need to introduce the concept of size for the xml generators in order to shrink samples

The public API design should be finalized. For now public functions in modules are not really considered part of it, we have only an OO friendly type XmlElementGenerator.
But it feels like a leaky abstraction on FsCheck stuff. Hence a good option may be to get rid of it and explicitly expose FsCheck types (Gen and Arb have C# friendly extensions).

Elements are generated also for abstract type definitions, yielding invalid documents.
We should look for concrete implementations in the schema and generate elements according to those.

Cyclic elements and type definitions are not supported. It would be nice to support them.
Currently they are detected and an exception is thrown (avoiding infinite loops or stack overflow).

for unsupported datatypes (like Id, Entity ...) instead of throwing an exception we may simply generate some invalid value, maybe including a warning like "consider providing a custom generator for this unsupported stuff"