These are chat archives for fthomas/refined
scoptmodule, and we do use
scoptquite a bit at work...
Arbitrary[String Refined NonEmpty], the collection bit is less urgent for me since my use case is currently covered)
NonEmptyString? Via the
Gen.suchThat- which is fine for something like
NonEmpty, since it's highly unlikely to ever cause test case generation to fail
Gen.filterbut I guess that is similar to
NonEmptythat discarded values probably won't be a problem in practice.
Arbitraryinstances of other collection predicates, I'm okay with adding them later when they are needed