cats.laws.discipline
An ExhuastiveCheck[A] instance can be used similarly to a ScalaCheck Gen[A] instance, but differs in that it generates a Stream of the entire domain of values as opposed to generating a random sampling of values.
ExhuastiveCheck[A]
Gen[A]
Stream
An
ExhuastiveCheck[A]
instance can be used similarly to a ScalaCheckGen[A]
instance, but differs in that it generates aStream
of the entire domain of values as opposed to generating a random sampling of values.