StatefulSummerLaws

algebird

SuccessibleLaws

algebird

semigroupLaws

BaseProperties

semigroupLawsEq

BaseProperties

semigroupLawsEquiv

BaseProperties

semigroupSumWorks

BaseProperties

semiringLaws

BaseProperties

seqA

MonadLaws

sequenceLaw

ApplicativeLaws

someA

MonadLaws

successibleLaws

SuccessibleLaws

sumIsPreserved

StatefulSummerLaws