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 SymbolInstances with TupleInstances with UnitInstances with UUIDInstances 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.

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 SymbolInstances extends AnyRef

79. class SymbolOrder extends Order[Symbol]

80. trait TupleInstances extends AnyRef

81. trait UUIDInstances extends AnyRef

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

83. trait UnitInstances extends AnyRef

84. class UnitOrder extends Order[Unit]

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

86. trait VectorInstances extends VectorInstances1

87. trait VectorInstances1 extends VectorInstances2

88. trait VectorInstances2 extends AnyRef

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

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

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