type_class

type_class copied to clipboard

## Summary This PR adds implementation of stream property generator The motivation is to allow an implementation of TypeClasses for Witchcraft and other libs ## Test plan (required) Run the...

florius0

Espec tests: TypeClassSpec.MoreProps.Proto is not a behaviour

2

I ran the espec test on my setup (elixir 1.11), and, mostly as a way to slowly understand the code, I would like to address one of the warnings I...

asmodehn

Improve compile performance

1

WIP Moving checks from compile time to test time

expede

Clarification regarding generators

1

Oddly enough, both generators in the documentations and the generator I've seen in [Maybe](https://github.com/witchcrafters/algae/blob/main/lib/algae/maybe.ex#L1) are ignoring their argument and use `Enum.random()`. This seems to be an anti-pattern in property-based testing...

cognivore

Better Prop Check Failure Reporting

3

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

expede

custom generator getting all kind of datatypes

1

This is an error similar to what I encountered while trying to implement a linearspace typeclass on top of `Witchcraft.Monoid`. Here is a minimal example to reproduce the issue: ```elixir...

asmodehn

Property tests during compilation are getting in the way...

2

Hi everyone, here is some feedback... After using `type_class` for a while, I reached the conclusion that running property tests during compilation doesn't match the "usual elixir developer" expectations. Well,...

asmodehn

`equal?` as protocol to implement ?

1

I recently had an issue where floats where embedded into a struct, and checking with `equal?` on the whole struct didn't round the float (as it does on one float)....

asmodehn