identityLaw

FunctorLaws

identityOne

BaseVectorSpaceProperties

indexedSeqA

MonadLaws

isAssociative

BaseProperties BaseVectorSpaceProperties

isAssociativeDifferentTypes

BaseProperties

isAssociativeEq

BaseProperties

isCommutative

BaseProperties

isCommutativeEq

BaseProperties

isDistributive

BaseProperties

isDistributiveDifferentTypes

BaseProperties

isEqualIfZero

BaseVectorSpaceProperties

isFlushedIsConsistent

StatefulSummerLaws

isNonZero

BaseProperties

isNonZeroWorksMonoid

BaseProperties

isNonZeroWorksRing

BaseProperties

iterateNextIncreases

SuccessibleLaws

iteratePrevDecreases

PredecessibleLaws