type_class Better Prop Check Failure Reporting

Currently, prop checks fail with minimal context. It would be good to have more context on which specific values were the cause.

Jul 02 '18 21:07 expede

@paulruescher, you've expressed interest in doing some work on the Witchcraft suite. Would you like to give this a look? Totally happy to walk you through how the library works 👍

Jul 02 '18 21:07 expede

Since StreamData has come out by one of the primary Elixir Devs (and thus being used by some of the biggest Elixir projects) have you thought about using it as the property testing library here? It would be a more unified interface for defining types. It's not as powerful as PropEr or so, but it is simple and fast with good error reporting and decent reduction. :-)

Jul 02 '18 21:07 OvermindDL1

you've expressed interest in doing some work on the Witchcraft suite. Would you like to give this a look

Yeah, I'd be down to tackle this. Not sure when though 😎I'm definitely outta commish this week, but I'll see what I can do next week.

Jul 09 '18 22:07 paulruescher