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

split

SplitTests

splitInterchange

SplitLaws

streamingArbitrary

arbitrary

streamingTArbitrary

arbitrary

strong

StrongTests

strongFirstDistributivity

StrongLaws

strongSecondDistributivity

StrongLaws