Closed laughedelic closed 6 years ago
I'd like to add some of the abstract properties that can't be encoded using types as scalacheck's properties, so that when you define new categories/functors/etc, you can easily write some value generators and have tests.
@eparejatobes WDYT?
I'd like to add some of the abstract properties that can't be encoded using types as scalacheck's properties, so that when you define new categories/functors/etc, you can easily write some value generators and have tests.
@eparejatobes WDYT?