laws

Type Members

1. class MinimalPartialOrderedSetProxy[F[_]] extends PartiallyOrderedSet[F]

   

   We test all default methods against this proxy so overrides can never change semantics

2. trait PartiallyOrderedSetLaws[F[_]] extends UnorderedFoldableLaws[F]