Type Members

1.  trait BinoidLaws[A] extends MonoidLaws[A]
2.  trait BinoidTests[A] extends MonoidTests[A]
3.  trait CommutativeBinoidLaws[A] extends BinoidLaws[A] with CommutativeMonoidLaws[A]
4.  trait CommutativeBinoidTests[A] extends CommutativeMonoidTests[A] with BinoidTests[A]
5.  trait CommutativeGroup0Laws[A] extends Group0Laws[A] with CommutativeBinoidLaws[A]
6.  trait CommutativeGroup0Tests[A] extends Group0Tests[A] with CommutativeBinoidTests[A]
7.  trait Group0Laws[A] extends GroupLaws[A] with BinoidLaws[A]
8.  trait Group0Tests[A] extends GroupTests[A] with BinoidTests[A]
9.  type Random[S, A] = RandomT[Id, S, A]