StatefulSummerLaws
algebird
SuccessibleLaws
algebird
satisfiesTriangleInequality
MetricProperties
scalacheck
algebird
semigroupLaws
BaseProperties
semigroupLawsEq
BaseProperties
semigroupLawsEquiv
BaseProperties
semigroupSumWorks
BaseProperties
semiringLaws
BaseProperties
semiringLawsEquiv
BaseProperties
seqA
MonadLaws
sequenceLaw
ApplicativeLaws
someA
MonadLaws
sorted
NonEmptyVector
stringSpaceSaverArb
arbitrary
successibleLaws
SuccessibleLaws
sumIsPreserved
StatefulSummerLaws