Semigroup

cats

SemigroupKLaws

laws

SemigroupKTests

discipline

SerializableLaws

laws

SerializableTests

discipline

SplitLaws

laws

SplitTests

discipline

StrongLaws

laws

StrongTests

discipline

semigroupK

SemigroupKTests

semigroupKAssociative

SemigroupKLaws

sequenceConsistent

ReducibleLaws

serializable

SerializableLaws SerializableTests

split

SplitTests

splitInterchange

SplitLaws

strong

StrongTests

strongFirstDistributivity

StrongLaws

strongSecondDistributivity

StrongLaws