Layer

laws

prelude AssociativeBothLaws AssociativeEitherLaws AssociativeFlattenLaws AssociativeLaws CommutativeBothLaws CommutativeEitherLaws CommutativeLaws ContravariantLaws CovariantLaws EqualLaws EquivalenceLaws ForEachLaws HashLaws IdempotentLaws IdentityBothLaws IdentityEitherlaws IdentityFlattenLaws IdentityLaws InverseLaws NonEmptyForEachLaws OrdLaws PartialOrdLaws

leftIdentity

EquivalenceLaws

leftIdentityLaw

IdentityBothLaws IdentityEitherlaws IdentityFlattenLaws IdentityLaws

less

AssertionSyntax

lessOrEqual

AssertionSyntax