std

Type Members

1. trait AllInstances extends BigIntInstances with BooleanInstances with ByteInstances with CharInstances with DoubleInstances with FloatInstances with IntInstances with ListInstances with LongInstances with MapInstances with OptionInstances with SetInstances with ShortInstances with StringInstances with TupleInstances with UnitInstances with ArrayInstances

   

2. trait ArrayInstances extends AnyRef

   

3. class BigIntAlgebra extends EuclideanRing[BigInt] with Order[BigInt] with Serializable

   

4. trait BigIntInstances extends AnyRef

   

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

   

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

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

   It uses || for plus, and && for times.

6. trait BooleanInstances extends AnyRef

   

7. class ByteAlgebra extends EuclideanRing[Byte] with Order[Byte] with Serializable

   

8. trait ByteInstances extends AnyRef

   

9. class CharAlgebra extends Order[Char] with Serializable

   

10. trait CharInstances extends AnyRef

    

11. class DoubleAlgebra extends Field[Double] with Order[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.

    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.

    If you would prefer an absolutely lawful fractional value, you'll need to investigate rational numbers or more exotic types.

12. trait DoubleInstances extends AnyRef

    

13. class FloatAlgebra extends Field[Float] with Order[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.

    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.

    If you would prefer an absolutely lawful fractional value, you'll need to investigate rational numbers or more exotic types.

14. trait FloatInstances extends AnyRef

    

15. class IntAlgebra extends EuclideanRing[Int] with Order[Int] with Serializable

    

16. trait IntInstances extends AnyRef

    

17. class ListEq[A] extends Eq[List[A]]

    

18. trait ListInstances extends ListInstances1

    

19. trait ListInstances1 extends ListInstances2

    

20. trait ListInstances2 extends AnyRef

    

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

    

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

    

23. class ListPartialOrder[A] extends PartialOrder[List[A]]

    

24. class LongAlgebra extends EuclideanRing[Long] with Order[Long] with Serializable

    

25. trait LongInstances extends AnyRef

    

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

    

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

    

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

    

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

    

30. trait MapInstances extends MapInstances3

    

31. trait MapInstances0 extends AnyRef

    

32. trait MapInstances1 extends MapInstances0

    

33. trait MapInstances2 extends MapInstances1

    

34. trait MapInstances3 extends MapInstances2

    

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

    

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

    

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

    

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

    

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

    

40. trait OptionInstances extends OptionInstances1

    

41. trait OptionInstances0 extends AnyRef

    

42. trait OptionInstances1 extends OptionInstances0

    

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

    

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

    

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

    

46. class SetBoolRng[A] extends BoolRng[Set[A]]

    

47. trait SetInstances extends AnyRef

    

48. class SetLattice[A] extends GenBool[Set[A]]

    

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

    

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

    

51. class ShortAlgebra extends EuclideanRing[Short] with Order[Short] with Serializable

    

52. trait ShortInstances extends AnyRef

    

53. trait StringInstances extends AnyRef

    

54. class StringMonoid extends Monoid[String]

    

55. class StringOrder extends Order[String]

    

56. class UnitAlgebra extends Order[Unit] with CommutativeRing[Unit] with BoundedSemilattice[Unit]

    

57. trait UnitInstances extends AnyRef