typelevel / discipline
Flexible law checking for Scala
☆328Updated this week
Related projects ⓘ
Alternatives and complementary repositories for discipline
- better implicit errors for scala☆370Updated last month
- cats transformer type classes.☆308Updated this week
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless