instances

Type Members

1. trait AllInstances extends BigDecimalInstances with BigIntInstances with BitSetInstances with BooleanInstances with ByteInstances with CharInstances with DoubleInstances with EqInstances with EitherInstances with DurationInstances with FloatInstances with FunctionInstances with HashInstances with IntInstances with ListInstances with LongInstances with MapInstances with OptionInstances with OrderInstances with PartialOrderInstances with QueueInstances with SetInstances with ShortInstances with StreamInstances with StringInstances with SymbolInstances with TupleInstances with UnitInstances with UUIDInstances with VectorInstances

   

2. trait AllInstancesBinCompat0 extends FiniteDurationInstances

   

3. class BigDecimalGroup extends CommutativeGroup[BigDecimal]

   

4. trait BigDecimalInstances extends AnyRef

   

5. class BigDecimalOrder extends Order[BigDecimal] with Hash[BigDecimal]

   

6. class BigIntGroup extends CommutativeGroup[BigInt]

   

7. trait BigIntInstances extends AnyRef

   

8. class BigIntOrder extends Order[BigInt] with Hash[BigInt]

   

9. trait BitSetInstances extends AnyRef

   

10. class BitSetPartialOrder extends PartialOrder[BitSet] with Hash[BitSet]

    

11. class BitSetSemilattice extends BoundedSemilattice[BitSet]

    

12. trait BooleanBounded extends LowerBounded[Boolean] with UpperBounded[Boolean]

    

13. trait BooleanInstances extends AnyRef

    

14. class BooleanOrder extends Order[Boolean] with Hash[Boolean] with BooleanBounded

    

15. trait ByteBounded extends LowerBounded[Byte] with UpperBounded[Byte]

    

16. class ByteGroup extends CommutativeGroup[Byte]

    

17. trait ByteInstances extends AnyRef

    

18. class ByteOrder extends Order[Byte] with Hash[Byte] with ByteBounded

    

19. trait CharBounded extends LowerBounded[Char] with UpperBounded[Char]

    

20. trait CharInstances extends AnyRef

    

21. class CharOrder extends Order[Char] with Hash[Char] with CharBounded

    

22. class DoubleGroup extends CommutativeGroup[Double]

    

23. trait DoubleInstances extends AnyRef

    

24. class DoubleOrder extends Order[Double] with Hash[Double]

    

25. trait DurationBounded extends LowerBounded[Duration] with UpperBounded[Duration]

    

26. class DurationGroup extends CommutativeGroup[Duration]

    

    This group models addition, but has a few problematic edge cases.

    This group models addition, but has a few problematic edge cases.

    1. finite values can overflow, throwing an exception 2. inf + (-inf) = undefined, not zero 3. undefined + zero = undefined

27. trait DurationInstances extends AnyRef

    

28. class DurationOrder extends Order[Duration] with Hash[Duration] with DurationBounded

    

    This ordering is valid for all defined durations.

    This ordering is valid for all defined durations.

    The value Duration.Undefined breaks our laws, because undefined values are not equal to themselves.

29. class EitherEq[A, B] extends Eq[Either[A, B]]

    

30. class EitherHash[A, B] extends EitherEq[A, B] with Hash[Either[A, B]]

    

31. trait EitherInstances extends EitherInstances0

    

32. trait EitherInstances0 extends EitherInstances1

    

33. trait EitherInstances1 extends AnyRef

    

34. trait EqInstances extends EqToEquivConversion

    

35. trait FiniteDurationBounded extends LowerBounded[FiniteDuration] with UpperBounded[FiniteDuration]

    

36. class FiniteDurationGroup extends CommutativeGroup[FiniteDuration]

    

37. trait FiniteDurationInstances extends AnyRef

    

38. class FiniteDurationOrder extends Order[FiniteDuration] with Hash[FiniteDuration] with FiniteDurationBounded

    

39. class FloatGroup extends CommutativeGroup[Float]

    

    This is only approximately associative.

40. trait FloatInstances extends AnyRef

    

41. class FloatOrder extends Order[Float] with Hash[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.

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

    

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

    

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

    

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

    

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

    

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

    

48. trait FunctionInstances extends FunctionInstances0

    

49. trait FunctionInstances0 extends FunctionInstances1

    

50. trait FunctionInstances1 extends FunctionInstances2

    

51. trait FunctionInstances2 extends FunctionInstances3

    

52. trait FunctionInstances3 extends FunctionInstances4

    

53. trait FunctionInstances4 extends AnyRef

    

54. trait HashInstances extends HashToHashingConversion

    

55. trait IntBounded extends LowerBounded[Int] with UpperBounded[Int]

    

56. class IntGroup extends CommutativeGroup[Int]

    

57. trait IntInstances extends AnyRef

    

58. class IntOrder extends Order[Int] with Hash[Int] with IntBounded

    

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

    

60. class ListHash[A] extends ListEq[A] with Hash[List[A]]

    

61. trait ListInstances extends ListInstances1

    

    Annotations

    @suppressUnusedImportWarningForScalaVersionSpecific()

62. trait ListInstances1 extends ListInstances2

    

63. trait ListInstances2 extends AnyRef

    

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

    

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

    

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

    

67. trait LongBounded extends LowerBounded[Long] with UpperBounded[Long]

    

68. class LongGroup extends CommutativeGroup[Long]

    

69. trait LongInstances extends AnyRef

    

70. class LongOrder extends Order[Long] with Hash[Long] with LongBounded

    

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

    

72. class MapHash[K, V] extends MapEq[K, V] with Hash[Map[K, V]]

    

73. trait MapInstances extends MapInstances1

    

    Annotations

    @suppressUnusedImportWarningForScalaVersionSpecific()

74. trait MapInstances1 extends AnyRef

    

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

    

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

    

77. class OptionHash[A] extends OptionEq[A] with Hash[Option[A]]

    

78. trait OptionInstances extends OptionInstances0

    

79. trait OptionInstances0 extends OptionInstances1

    

80. trait OptionInstances1 extends OptionInstances2

    

81. trait OptionInstances2 extends AnyRef

    

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

    

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

    

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

    

85. trait OrderInstances extends OrderToOrderingConversion

    

86. trait PartialOrderInstances extends PartialOrderToPartialOrderingConversion

    

87. class QueueEq[A] extends Eq[Queue[A]]

    

88. class QueueHash[A] extends QueueEq[A] with Hash[Queue[A]]

    

89. trait QueueInstances extends QueueInstances1

    

    Annotations

    @suppressUnusedImportWarningForScalaVersionSpecific()

90. trait QueueInstances1 extends QueueInstances2

    

91. trait QueueInstances2 extends AnyRef

    

92. class QueueMonoid[A] extends Monoid[Queue[A]]

    

93. class QueueOrder[A] extends Order[Queue[A]]

    

94. class QueuePartialOrder[A] extends PartialOrder[Queue[A]]

    

95. class SetHash[A] extends Hash[Set[A]]

    

96. trait SetInstances extends SetInstances1

    

97. trait SetInstances1 extends AnyRef

    

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

    

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

    

100. trait ShortBounded extends LowerBounded[Short] with UpperBounded[Short]

     

101. class ShortGroup extends CommutativeGroup[Short]

     

102. trait ShortInstances extends AnyRef

     

103. class ShortOrder extends Order[Short] with Hash[Short] with ShortBounded

     

104. class StreamEq[A] extends Eq[LazyList[A]]

     

105. class StreamHash[A] extends StreamEq[A] with Hash[LazyList[A]]

     

106. trait StreamInstances extends StreamInstances1

     

     Annotations

     @suppressUnusedImportWarningForScalaVersionSpecific()

107. trait StreamInstances1 extends StreamInstances2

     

108. trait StreamInstances2 extends AnyRef

     

109. class StreamMonoid[A] extends Monoid[LazyList[A]]

     

110. class StreamOrder[A] extends Order[LazyList[A]]

     

111. class StreamPartialOrder[A] extends PartialOrder[LazyList[A]]

     

112. trait StringInstances extends AnyRef

     

     Annotations

     @suppressUnusedImportWarningForScalaVersionSpecific()

113. trait StringLowerBounded extends LowerBounded[String]

     

114. class StringMonoid extends Monoid[String]

     

115. class StringOrder extends Order[String] with Hash[String] with StringLowerBounded

     

116. trait SymbolInstances extends AnyRef

     

117. trait SymbolLowerBounded extends LowerBounded[Symbol]

     

118. class SymbolOrder extends Order[Symbol] with Hash[Symbol] with SymbolLowerBounded

     

119. trait TupleInstances extends TupleInstances1

     

120. trait TupleInstances1 extends TupleInstances2

     

121. trait TupleInstances2 extends TupleInstances3

     

122. trait TupleInstances3 extends AnyRef

     

123. trait UUIDBounded extends LowerBounded[UUID] with UpperBounded[UUID]

     

124. trait UUIDInstances extends AnyRef

     

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

     

126. trait UnitBounded extends LowerBounded[Unit] with UpperBounded[Unit]

     

127. trait UnitInstances extends AnyRef

     

     Annotations

     @suppressUnusedImportWarningForScalaVersionSpecific()

128. class UnitOrder extends Order[Unit] with Hash[Unit] with UnitBounded

     

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

     

130. class VectorHash[A] extends VectorEq[A] with Hash[Vector[A]]

     

131. trait VectorInstances extends VectorInstances1

     

     Annotations

     @suppressUnusedImportWarningForScalaVersionSpecific()

132. trait VectorInstances1 extends VectorInstances2

     

133. trait VectorInstances2 extends AnyRef

     

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

     

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

     

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