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.
Similar to Int
, but with a much smaller domain.
Similar to Int
, but with a much smaller domain. The exact range of MiniInt may be tuned from time to time, so
consumers of this type should avoid depending on its exact range.
MiniInt
has integer overflow characteristics similar to Int
(but with a smaller radix), meaning that its addition
and multiplication are commutative and associative.
Arbitrary instances for cats.data
Arbitrary instances for cats.data
(Since version 2.0) These instances are questionable and can lead to false positives. For the sake of compatibility, they haven't been removed, but they should be considered to be deprecated, and we put them in a lower implicit scope priority.