fast-check-io-ts

io-ts codecs mapped to fast-check arbitraries.

Usage

``ts
import * as fc from 'fast-check';
import * as t from 'io-ts';
import { getArbitrary } from 'fast-check-io-ts';

const NonEmptyString = t.brand(
t.string,
(s): s is t.Branded => s.length > 0,
'NonEmptyString'
);
const User = t.type({
name: t.string,
status: t.union([t.literal('active'), t.literal('inactive')]),
handle: NonEmptyString
});

const userArb = getArbitrary(User);

console.log(fc.sample(userArb, 1)[0]); // { name: '', status: 'inactive', handle: 'M.y?>A/' }
`

Known issues

- only supports predefined io-ts codecs, not custom types e.g. DateFromISOString from io-ts-types
- getArbitrary(t.keyof({ ... }))` is currently marked as error by TS, even though the codec is supported in the implementation