std

Type Members

1. class BigIntAlgebra extends EuclideanRing[BigInt] with Order[BigInt] with Signed[BigInt] with IsIntegral[BigInt] with Serializable

2. trait BigIntInstances extends AnyRef

3. class BooleanAlgebra extends Bool[Boolean] with Order[Boolean] with CommutativeRig[Boolean]

   This commutative rig is different than the one obtained from GF(2).

4. trait BooleanInstances extends AnyRef

5. class ByteAlgebra extends EuclideanRing[Byte] with Order[Byte] with Signed[Byte] with IsIntegral[Byte] with Serializable

6. trait ByteInstances extends AnyRef

7. class CharAlgebra extends Order[Char] with Serializable

8. trait CharInstances extends AnyRef

9. class DoubleAlgebra extends ring.Field[Double] with NRoot[Double] with Order[Double] with Signed[Double] with IsReal[Double] with Serializable

   Due to the way floating-point equality works, this instance is not lawful under equality, but is correct when taken as an approximation of an exact value.

10. trait DoubleInstances extends AnyRef

11. class FloatAlgebra extends ring.Field[Float] with NRoot[Float] with Order[Float] with Signed[Float] with IsReal[Float] with Serializable

    Due to the way floating-point equality works, this instance is not lawful under equality, but is correct when taken as an approximation of an exact value.

12. trait FloatInstances extends AnyRef

13. class IntAlgebra extends EuclideanRing[Int] with Order[Int] with Signed[Int] with IsIntegral[Int] with Serializable

14. trait IntInstances extends AnyRef

15. trait ListInstances extends AnyRef

16. class ListMonoid[A] extends Monoid[List[A]]

17. class ListOrder[A] extends Order[List[A]]

18. class LongAlgebra extends EuclideanRing[Long] with Order[Long] with Signed[Long] with IsIntegral[Long] with Serializable

19. trait LongInstances extends AnyRef

20. class MapAdditiveGroup[K, V] extends MapAdditiveMonoid[K, V] with AdditiveGroup[Map[K, V]]

21. class MapAdditiveMonoid[K, V] extends AdditiveMonoid[Map[K, V]]

22. class MapEq[K, V] extends Eq[Map[K, V]]

23. class MapGroup[K, V] extends MapMonoid[K, V] with Group[Map[K, V]]

24. trait MapInstances extends MapInstances3

25. trait MapInstances0 extends AnyRef

26. trait MapInstances1 extends MapInstances0

27. trait MapInstances2 extends MapInstances1

28. trait MapInstances3 extends MapInstances2

29. class MapMonoid[K, V] extends Monoid[Map[K, V]]

30. class MapRng[K, V] extends MapSemiring[K, V] with Rng[Map[K, V]]

31. class MapSemiring[K, V] extends MapAdditiveMonoid[K, V] with Semiring[Map[K, V]]

32. class MapVectorEq[K, V] extends Eq[Map[K, V]]

33. class OptionEq[A] extends Eq[Option[A]]

34. trait OptionInstances extends OptionInstances1

35. trait OptionInstances0 extends AnyRef

36. trait OptionInstances1 extends OptionInstances0

37. class OptionMonoid[A] extends Monoid[Option[A]]

38. class OptionOrder[A] extends Order[Option[A]]

39. class OptionPartialOrder[A] extends PartialOrder[Option[A]]

40. class Rat extends Serializable

41. class RatAlgebra extends ring.Field[Rat] with Order[Rat] with Signed[Rat] with IsReal[Rat] with Serializable

42. trait SetInstances extends AnyRef

43. class SetLattice[A] extends Lattice[Set[A]]

44. class SetPartialOrder[A] extends PartialOrder[Set[A]]

45. class SetSemiring[A] extends Semiring[Set[A]]

46. class ShortAlgebra extends EuclideanRing[Short] with Order[Short] with Signed[Short] with IsIntegral[Short] with Serializable

47. trait ShortInstances extends AnyRef

48. trait StringInstances extends AnyRef

49. class StringMonoid extends Monoid[String]

50. class StringOrder extends Order[String]