package instances

  1. Alphabetic
  1. Public
  2. All

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. class BigDecimalGroup extends CommutativeGroup[BigDecimal]
  3. trait BigDecimalInstances extends AnyRef
  4. class BigDecimalOrder extends Order[BigDecimal] with Hash[BigDecimal]
  5. class BigIntGroup extends CommutativeGroup[BigInt]
  6. trait BigIntInstances extends AnyRef
  7. class BigIntOrder extends Order[BigInt] with Hash[BigInt]
  8. trait BitSetInstances extends AnyRef
  9. class BitSetPartialOrder extends PartialOrder[BitSet] with Hash[BitSet]
  10. class BitSetSemilattice extends BoundedSemilattice[BitSet]
  11. trait BooleanBounded extends LowerBounded[Boolean] with UpperBounded[Boolean]
  12. trait BooleanInstances extends AnyRef
  13. class BooleanOrder extends Order[Boolean] with Hash[Boolean] with BooleanBounded
  14. trait ByteBounded extends LowerBounded[Byte] with UpperBounded[Byte]
  15. class ByteGroup extends CommutativeGroup[Byte]
  16. trait ByteInstances extends AnyRef
  17. class ByteOrder extends Order[Byte] with Hash[Byte] with ByteBounded
  18. trait CharBounded extends LowerBounded[Char] with UpperBounded[Char]
  19. trait CharInstances extends AnyRef
  20. class CharOrder extends Order[Char] with Hash[Char] with CharBounded
  21. class DoubleGroup extends CommutativeGroup[Double]
  22. trait DoubleInstances extends AnyRef
  23. class DoubleOrder extends Order[Double] with Hash[Double]
  24. trait DurationBounded extends LowerBounded[Duration] with UpperBounded[Duration]
  25. 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
  26. trait DurationInstances extends AnyRef
  27. 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.

  28. class EitherEq[A, B] extends Eq[Either[A, B]]
  29. class EitherHash[A, B] extends EitherEq[A, B] with Hash[Either[A, B]]
  30. trait EitherInstances extends EitherInstances0
  31. trait EqInstances extends EqToEquivConversion
  32. trait FiniteDurationBounded extends LowerBounded[FiniteDuration] with UpperBounded[FiniteDuration]
  33. class FiniteDurationGroup extends CommutativeGroup[FiniteDuration]
  34. trait FiniteDurationInstances extends AnyRef
  35. class FiniteDurationOrder extends Order[FiniteDuration] with Hash[FiniteDuration] with FiniteDurationBounded
  36. class FloatGroup extends CommutativeGroup[Float]

    This is only approximately associative.

  37. trait FloatInstances extends AnyRef
  38. 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.

  39. trait Function0Group[A] extends Function0Monoid[A] with Group[() ⇒ A]
  40. trait Function0Monoid[A] extends Function0Semigroup[A] with Monoid[() ⇒ A]
  41. trait Function0Semigroup[A] extends Semigroup[() ⇒ A]
  42. trait Function1Group[A, B] extends Function1Monoid[A, B] with Group[(A) ⇒ B]
  43. trait Function1Monoid[A, B] extends Function1Semigroup[A, B] with Monoid[(A) ⇒ B]
  44. trait Function1Semigroup[A, B] extends Semigroup[(A) ⇒ B]
  45. trait FunctionInstances extends FunctionInstances0
  46. trait HashInstances extends HashToHashingConversion
  47. trait IntBounded extends LowerBounded[Int] with UpperBounded[Int]
  48. class IntGroup extends CommutativeGroup[Int]
  49. trait IntInstances extends AnyRef
  50. class IntOrder extends Order[Int] with Hash[Int] with IntBounded
  51. class ListEq[A] extends Eq[List[A]]
  52. class ListHash[A] extends ListEq[A] with Hash[List[A]]
  53. trait ListInstances extends ListInstances1
  54. class ListMonoid[A] extends Monoid[List[A]]
  55. class ListOrder[A] extends Order[List[A]]
  56. class ListPartialOrder[A] extends PartialOrder[List[A]]
  57. trait LongBounded extends LowerBounded[Long] with UpperBounded[Long]
  58. class LongGroup extends CommutativeGroup[Long]
  59. trait LongInstances extends AnyRef
  60. class LongOrder extends Order[Long] with Hash[Long] with LongBounded
  61. class MapEq[K, V] extends Eq[Map[K, V]]
  62. class MapHash[K, V] extends MapEq[K, V] with Hash[Map[K, V]]
  63. trait MapInstances extends MapInstances1
  64. class MapMonoid[K, V] extends Monoid[Map[K, V]]
  65. class OptionEq[A] extends Eq[Option[A]]
  66. class OptionHash[A] extends OptionEq[A] with Hash[Option[A]]
  67. trait OptionInstances extends OptionInstances0
  68. class OptionMonoid[A] extends Monoid[Option[A]]
  69. class OptionOrder[A] extends Order[Option[A]]
  70. class OptionPartialOrder[A] extends PartialOrder[Option[A]]
  71. trait OrderInstances extends OrderToOrderingConversion
  72. trait PartialOrderInstances extends PartialOrderToPartialOrderingConversion
  73. class QueueEq[A] extends Eq[Queue[A]]
  74. class QueueHash[A] extends QueueEq[A] with Hash[Queue[A]]
  75. trait QueueInstances extends QueueInstances1
  76. class QueueMonoid[A] extends Monoid[Queue[A]]
  77. class QueueOrder[A] extends Order[Queue[A]]
  78. class QueuePartialOrder[A] extends PartialOrder[Queue[A]]
  79. class SetHash[A] extends Hash[Set[A]]
  80. trait SetInstances extends SetInstances1
  81. class SetPartialOrder[A] extends PartialOrder[Set[A]]
  82. class SetSemilattice[A] extends BoundedSemilattice[Set[A]]
  83. trait ShortBounded extends LowerBounded[Short] with UpperBounded[Short]
  84. class ShortGroup extends CommutativeGroup[Short]
  85. trait ShortInstances extends AnyRef
  86. class ShortOrder extends Order[Short] with Hash[Short] with ShortBounded
  87. class SortedMapCommutativeMonoid[K, V] extends SortedMapMonoid[K, V] with CommutativeMonoid[SortedMap[K, V]]
  88. class SortedMapEq[K, V] extends Eq[SortedMap[K, V]]
  89. class SortedMapHash[K, V] extends SortedMapEq[K, V] with Hash[SortedMap[K, V]]
  90. trait SortedMapInstances extends SortedMapInstances2
  91. class SortedMapMonoid[K, V] extends Monoid[SortedMap[K, V]]
  92. class SortedSetHash[A] extends Hash[SortedSet[A]]
  93. trait SortedSetInstances extends SortedSetInstances1
  94. class SortedSetOrder[A] extends Order[SortedSet[A]]
  95. class SortedSetSemilattice[A] extends BoundedSemilattice[SortedSet[A]]
  96. class StreamEq[A] extends Eq[Stream[A]]
  97. class StreamHash[A] extends StreamEq[A] with Hash[Stream[A]]
  98. trait StreamInstances extends StreamInstances1
  99. class StreamMonoid[A] extends Monoid[Stream[A]]
  100. class StreamOrder[A] extends Order[Stream[A]]
  101. class StreamPartialOrder[A] extends PartialOrder[Stream[A]]
  102. trait StringInstances extends AnyRef
  103. trait StringLowerBounded extends LowerBounded[String]
  104. class StringMonoid extends Monoid[String]
  105. class StringOrder extends Order[String] with Hash[String] with StringLowerBounded
  106. trait SymbolInstances extends AnyRef
  107. trait SymbolLowerBounded extends LowerBounded[Symbol]
  108. class SymbolOrder extends Order[Symbol] with Hash[Symbol] with SymbolLowerBounded
  109. trait TupleInstances extends TupleInstances1
  110. trait UUIDBounded extends LowerBounded[UUID] with UpperBounded[UUID]
  111. trait UUIDInstances extends AnyRef
  112. class UnitAlgebra extends BoundedSemilattice[Unit] with CommutativeGroup[Unit]
  113. trait UnitBounded extends LowerBounded[Unit] with UpperBounded[Unit]
  114. trait UnitInstances extends AnyRef
  115. class UnitOrder extends Order[Unit] with Hash[Unit] with UnitBounded
  116. class VectorEq[A] extends Eq[Vector[A]]
  117. class VectorHash[A] extends VectorEq[A] with Hash[Vector[A]]
  118. trait VectorInstances extends VectorInstances1
  119. class VectorMonoid[A] extends Monoid[Vector[A]]
  120. class VectorOrder[A] extends Order[Vector[A]]
  121. class VectorPartialOrder[A] extends PartialOrder[Vector[A]]

Value Members

  1. object StaticMethods extends HashCompat
  2. object eq extends EqInstances
  3. object hash extends HashInstances
  4. object order extends OrderInstances
  5. object partialOrder extends PartialOrderInstances