Reporter needs to be parameterized

Question

Reporter needs to be parameterized

justinwoo opened this issue 7 years ago · 3 comments

I'm trying to use reporter here: https://github.com/OliverJAsh/io-ts-reporters/blob/d6faa5b95f451974d59981b3f4d188e5b1b119db/src/index.ts#L35

But this doesn't correctly let me use this with any type as I get a mismatch against the empty object. Could you change this to use a parameter instead, or is there something preventing this from working?

Answer 1 · 2018-02-05T11:30:12.000Z

Will https://github.com/OliverJAsh/io-ts-reporters/pull/9/files#diff-f41e9d04a45c83f3b6f6e630f10117feR35 help here?

Answer 2 · 2018-02-05T11:55:18.000Z

Does that prevent losing the type information about what the type of the validation result is? I guess it would be fine if so.

Answer 3 · 2018-02-05T12:18:34.000Z

I don't think it would prevent that—we would need a generic.