kernel

Type Members

1. trait Band[A] extends Semigroup[A]

   Bands are semigroups whose operation (i.

2. trait BoundedSemilattice[A] extends Semilattice[A] with CommutativeMonoid[A]

3. trait CommutativeGroup[A] extends Group[A] with CommutativeMonoid[A]

   An commutative group (also known as an abelian group) is a group whose combine operation is commutative.

4. trait CommutativeMonoid[A] extends Monoid[A] with CommutativeSemigroup[A]

   CommutativeMonoid represents a commutative monoid.

5. trait CommutativeSemigroup[A] extends Semigroup[A]

   CommutativeSemigroup represents a commutative semigroup.

6. sealed abstract class Comparison extends Product with Serializable

   ADT encoding the possible results of a comparison

7. trait Eq[A] extends Serializable

   A type class used to determine equality between 2 instances of the same type.

8. abstract class EqFunctions[E[T] <: Eq[T]] extends AnyRef

9. trait EqToEquivConversion extends AnyRef

10. trait Group[A] extends Monoid[A]

    A group is a monoid where each element has an inverse.

11. abstract class GroupFunctions[G[T] <: Group[T]] extends MonoidFunctions[Group]

12. trait Hash[A] extends Eq[A] with Serializable

    A type class used to represent a hashing scheme for objects of a given type.

13. abstract class HashFunctions[H[T] <: Hash[T]] extends EqFunctions[H]

14. trait HashToHashingConversion extends AnyRef

15. trait Monoid[A] extends Semigroup[A]

    A monoid is a semigroup with an identity.

16. abstract class MonoidFunctions[M[T] <: Monoid[T]] extends SemigroupFunctions[M]

17. trait Order[A] extends PartialOrder[A]

    The Order type class is used to define a total ordering on some type A.

18. abstract class OrderFunctions[O[T] <: Order[T]] extends PartialOrderFunctions[O]

19. trait OrderToOrderingConversion extends AnyRef

20. trait PartialOrder[A] extends Eq[A]

    The PartialOrder type class is used to define a partial ordering on some type A.

21. abstract class PartialOrderFunctions[P[T] <: PartialOrder[T]] extends EqFunctions[P]

22. trait PartialOrderToPartialOrderingConversion extends AnyRef

23. trait Semigroup[A] extends Serializable

    A semigroup is any set A with an associative operation (combine).

24. abstract class SemigroupFunctions[S[T] <: Semigroup[T]] extends AnyRef

25. trait Semilattice[A] extends Band[A] with CommutativeSemigroup[A]

    Semilattices are commutative semigroups whose operation (i.

26. abstract class SemilatticeFunctions[S[T] <: Semilattice[T]] extends SemigroupFunctions[S]