Semigroup
cats
SemigroupKLaws
laws
SemigroupKTests
discipline
SerializableLaws
laws
SerializableTests
discipline
SplitLaws
laws
SplitTests
discipline
StrongLaws
laws
StrongTests
discipline
semigroupEq
eq
semigroupK
SemigroupKTests
semigroupKAssociative
SemigroupKLaws
serializable
SerializableLaws
SerializableTests
set
ArbitraryK
EqK
split
SplitTests
splitInterchange
SplitLaws
stream
ArbitraryK
EqK
streamT
ArbitraryK
EqK
streaming
ArbitraryK
EqK
streamingArbitrary
arbitrary
streamingTArbitrary
arbitrary
strong
StrongTests
strongFirstDistributivity
StrongLaws
strongSecondDistributivity
StrongLaws
synthesize
ArbitraryK
EqK