instances

Type Members

1. trait AllInstances extends BigDecimalInstances with BigIntInstances with BitSetInstances with BooleanInstances with ByteInstances with CharInstances with DoubleInstances with FloatInstances with FunctionInstances with IntInstances with ListInstances with LongInstances with MapInstances with OptionInstances with SetInstances with ShortInstances with StreamInstances with StringInstances with TupleInstances with UnitInstances with VectorInstances

   

2. class BigDecimalGroup extends CommutativeGroup[BigDecimal]

   

3. trait BigDecimalInstances extends AnyRef

   

4. class BigDecimalOrder extends Order[BigDecimal]

   

5. class BigIntGroup extends CommutativeGroup[BigInt]

   

6. trait BigIntInstances extends AnyRef

   

7. class BigIntOrder extends Order[BigInt]

   

8. trait BitSetInstances extends AnyRef

   

9. class BitSetPartialOrder extends PartialOrder[BitSet]

   

10. class BitSetSemilattice extends BoundedSemilattice[BitSet]

    

11. trait BooleanInstances extends AnyRef

    

12. class BooleanOrder extends Order[Boolean]

    

13. class ByteGroup extends CommutativeGroup[Byte]

    

14. trait ByteInstances extends AnyRef

    

15. class ByteOrder extends Order[Byte]

    

16. trait CharInstances extends AnyRef

    

17. class CharOrder extends Order[Char]

    

18. class DoubleGroup extends CommutativeGroup[Double]

    

19. trait DoubleInstances extends AnyRef

    

20. class DoubleOrder extends Order[Double]

    

21. trait EitherInstances extends EitherInstances0

    

22. trait EitherInstances0 extends EitherInstances1

    

23. trait EitherInstances1 extends AnyRef

    

24. class FloatGroup extends CommutativeGroup[Float]

    

    This is only approximately associative.

25. trait FloatInstances extends AnyRef

    

26. class FloatOrder extends Order[Float]

    

    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.

27. trait Function0Group[A] extends Function0Monoid[A] with Group[() ⇒ A]

    

28. trait Function0Monoid[A] extends Function0Semigroup[A] with Monoid[() ⇒ A]

    

29. trait Function0Semigroup[A] extends Semigroup[() ⇒ A]

    

30. trait Function1Group[A, B] extends Function1Monoid[A, B] with Group[(A) ⇒ B]

    

31. trait Function1Monoid[A, B] extends Function1Semigroup[A, B] with Monoid[(A) ⇒ B]

    

32. trait Function1Semigroup[A, B] extends Semigroup[(A) ⇒ B]

    

33. trait FunctionInstances extends FunctionInstances0

    

34. trait FunctionInstances0 extends FunctionInstances1

    

35. trait FunctionInstances1 extends FunctionInstances2

    

36. trait FunctionInstances2 extends FunctionInstances3

    

37. trait FunctionInstances3 extends FunctionInstances4

    

38. trait FunctionInstances4 extends AnyRef

    

39. class IntGroup extends CommutativeGroup[Int]

    

40. trait IntInstances extends AnyRef

    

41. class IntOrder extends Order[Int]

    

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

    

43. trait ListInstances extends ListInstances1

    

44. trait ListInstances1 extends ListInstances2

    

45. trait ListInstances2 extends AnyRef

    

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

    

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

    

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

    

49. class LongGroup extends CommutativeGroup[Long]

    

50. trait LongInstances extends AnyRef

    

51. class LongOrder extends Order[Long]

    

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

    

53. trait MapInstances extends AnyRef

    

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

    

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

    

56. trait OptionInstances extends OptionInstances1

    

57. trait OptionInstances0 extends AnyRef

    

58. trait OptionInstances1 extends OptionInstances0

    

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

    

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

    

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

    

62. trait SetInstances extends AnyRef

    

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

    

64. class SetSemilattice[A] extends BoundedSemilattice[Set[A]]

    

65. class ShortGroup extends CommutativeGroup[Short]

    

66. trait ShortInstances extends AnyRef

    

67. class ShortOrder extends Order[Short]

    

68. class StreamEq[A] extends Eq[Stream[A]]

    

69. trait StreamInstances extends StreamInstances1

    

70. trait StreamInstances1 extends StreamInstances2

    

71. trait StreamInstances2 extends AnyRef

    

72. class StreamMonoid[A] extends Monoid[Stream[A]]

    

73. class StreamOrder[A] extends Order[Stream[A]]

    

74. class StreamPartialOrder[A] extends PartialOrder[Stream[A]]

    

75. trait StringInstances extends AnyRef

    

76. class StringMonoid extends Monoid[String]

    

77. class StringOrder extends Order[String]

    

78. trait TupleInstances extends AnyRef

    

79. class UnitAlgebra extends BoundedSemilattice[Unit] with CommutativeGroup[Unit]

    

80. trait UnitInstances extends AnyRef

    

81. class UnitOrder extends Order[Unit]

    

82. class VectorEq[A] extends Eq[Vector[A]]

    

83. trait VectorInstances extends VectorInstances1

    

84. trait VectorInstances1 extends VectorInstances2

    

85. trait VectorInstances2 extends AnyRef

    

86. class VectorMonoid[A] extends Monoid[Vector[A]]

    

87. class VectorOrder[A] extends Order[Vector[A]]

    

88. class VectorPartialOrder[A] extends PartialOrder[Vector[A]]