gcanti / io-ts-types

A collection of codecs and combinators for use with io-ts
https://gcanti.github.io/io-ts-types/
MIT License
311 stars 40 forks source link

Add tags and properties to "generic" types #102

Open holvonixAdvay opened 5 years ago

holvonixAdvay commented 5 years ago

I'd like to add tags and a type[s] property to the interface of: nonEmptyArray, optionFromNullable, setFromArray.

Purpose: I've built an io-ts-based fuzzer here: https://github.com/holvonix-open/io-ts-fuzzer It can generate pseudorandom examples of all the io-ts built-in types and most io-ts-types and their compositions. For generic types built on other types, the tag and property is needed to identify them and properly fuzz their constituent elements.

Alessandro-maker commented 2 years ago

Any news on this issue? Is io-ts going a different way?