Semigroup

cats

SemigroupKLaws

laws

SemigroupKTests

discipline

SemigroupalLaws

laws

SemigroupalTests

discipline

SerializableTests

discipline

StrongLaws

laws

StrongTests

discipline

sampledEq

eq

semigroupK

SemigroupKTests

semigroupKAssociative

SemigroupKLaws

semigroupal

SemigroupalTests

semigroupalAssociativity

SemigroupalLaws

sequenceConsistent

ReducibleLaws

sequentialRoundTrip

NonEmptyParallelLaws

sizeConsistent

ReducibleLaws

splitConsistentWithAndThen

ArrowLaws

stackUnsafeMonad

MonadTests

strong

StrongTests

strongFirstDistributivity

StrongLaws

strongSecondDistributivity

StrongLaws

sumAssoc

ArrowChoiceLaws