package instances
- Alphabetic
- Public
- Protected
Type Members
- trait AllInstances extends ArraySeqInstances with 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 LazyListInstances with ListInstances with LongInstances with MapInstances with OptionInstances with OrderInstances with PartialOrderInstances with QueueInstances with SetInstances with SeqInstances with ShortInstances with StreamInstances with StringInstances with SymbolInstances with TupleInstances with UnitInstances with UUIDInstances with VectorInstances
- trait ArraySeqInstances extends ArraySeqInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class BigDecimalGroup extends CommutativeGroup[BigDecimal]
Note that combining, removing, and inverting
BigDecimal
values will use unlimited precision operations.Note that combining, removing, and inverting
BigDecimal
values will use unlimited precision operations.This matches the behavior of Scala 2.12 and earlier versions, but not Scala 2.13, which means that
+
and|+|
(orsum
andcombineAll
) may not agree if you are working with values with limited-precisionMathContext
s. - trait BigDecimalInstances extends AnyRef
- class BigDecimalOrder extends Order[BigDecimal] with Hash[BigDecimal]
- class BigIntGroup extends CommutativeGroup[BigInt]
- trait BigIntInstances extends AnyRef
- class BigIntOrder extends Order[BigInt] with Hash[BigInt] with BigIntUnboundedEnum
- trait BigIntUnboundedEnum extends UnboundedEnumerable[BigInt]
- trait BitSetInstances extends AnyRef
- class BitSetPartialOrder extends PartialOrder[BitSet] with Hash[BitSet]
- class BitSetSemilattice extends BoundedSemilattice[BitSet]
- trait BooleanBounded extends LowerBounded[Boolean] with UpperBounded[Boolean]
- trait BooleanEnumerable extends BoundedEnumerable[Boolean]
- trait BooleanInstances extends AnyRef
- class BooleanOrder extends Order[Boolean] with Hash[Boolean] with BooleanBounded with BooleanEnumerable
- trait ByteBounded extends LowerBounded[Byte] with UpperBounded[Byte]
- trait ByteEnumerable extends BoundedEnumerable[Byte]
- class ByteGroup extends CommutativeGroup[Byte]
- trait ByteInstances extends AnyRef
- class ByteOrder extends Order[Byte] with Hash[Byte] with ByteBounded with ByteEnumerable
- trait CharBounded extends LowerBounded[Char] with UpperBounded[Char]
- trait CharEnumerable extends BoundedEnumerable[Char]
- trait CharInstances extends AnyRef
- class CharOrder extends Order[Char] with Hash[Char] with CharBounded with CharEnumerable
- trait DeadlineBounded extends LowerBounded[Deadline] with UpperBounded[Deadline]
- trait DeadlineInstances extends AnyRef
- class DeadlineOrder extends Order[Deadline] with Hash[Deadline] with DeadlineBounded
- class DoubleGroup extends CommutativeGroup[Double]
- trait DoubleInstances extends AnyRef
- class DoubleOrder extends Order[Double] with Hash[Double]
- trait DurationBounded extends LowerBounded[Duration] with UpperBounded[Duration]
- 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.
- finite values can overflow, throwing an exception 2. inf + (-inf) = undefined, not zero 3. undefined + zero = undefined
- trait DurationInstances extends AnyRef
- 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.
- class EitherEq[A, B] extends Eq[Either[A, B]]
- class EitherHash[A, B] extends EitherEq[A, B] with Hash[Either[A, B]]
- trait EitherInstances extends EitherInstances0
- trait EqInstances extends EqToEquivConversion
- trait FiniteDurationBounded extends LowerBounded[FiniteDuration] with UpperBounded[FiniteDuration]
- class FiniteDurationGroup extends CommutativeGroup[FiniteDuration]
- trait FiniteDurationInstances extends AnyRef
- class FiniteDurationOrder extends Order[FiniteDuration] with Hash[FiniteDuration] with FiniteDurationBounded
- class FloatGroup extends CommutativeGroup[Float]
This is only approximately associative.
- trait FloatInstances extends AnyRef
- 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.
- trait Function0Group[A] extends Function0Monoid[A] with Group[() => A]
- trait Function0Monoid[A] extends Function0Semigroup[A] with Monoid[() => A]
- trait Function0Semigroup[A] extends Semigroup[() => A]
- trait Function1Group[A, B] extends Function1Monoid[A, B] with Group[(A) => B]
- trait Function1Monoid[A, B] extends Function1Semigroup[A, B] with Monoid[(A) => B]
- trait Function1Semigroup[A, B] extends Semigroup[(A) => B]
- trait FunctionInstances extends FunctionInstances0
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- trait HashInstances extends HashToHashingConversion
- trait IntBounded extends LowerBounded[Int] with UpperBounded[Int]
- trait IntEnumerable extends BoundedEnumerable[Int]
- class IntGroup extends CommutativeGroup[Int]
- trait IntInstances extends AnyRef
- class IntOrder extends Order[Int] with Hash[Int] with IntBounded with IntEnumerable
- class LazyListEq[A] extends Eq[LazyList[A]]
- class LazyListHash[A] extends LazyListEq[A] with Hash[LazyList[A]]
- trait LazyListInstances extends LazyListInstances1
- class LazyListOrder[A] extends Order[LazyList[A]]
- class LazyListPartialOrder[A] extends PartialOrder[LazyList[A]]
- class ListEq[A] extends Eq[List[A]]
- class ListHash[A] extends ListEq[A] with Hash[List[A]]
- trait ListInstances extends ListInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class ListOrder[A] extends Order[List[A]]
- class ListPartialOrder[A] extends PartialOrder[List[A]]
- trait LongBounded extends UpperBounded[Long] with LowerBounded[Long]
- trait LongEnumerable extends BoundedEnumerable[Long]
- class LongGroup extends CommutativeGroup[Long]
- trait LongInstances extends AnyRef
- class LongOrder extends Order[Long] with Hash[Long] with LongBounded with LongEnumerable
- class MapEq[K, V] extends Eq[Map[K, V]]
- class MapHash[K, V] extends MapEq[K, V] with Hash[Map[K, V]]
- trait MapInstances extends MapInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class MapMonoid[K, V] extends Monoid[Map[K, V]]
- class OptionEq[A] extends Eq[Option[A]]
- class OptionHash[A] extends OptionEq[A] with Hash[Option[A]]
- trait OptionInstances extends OptionInstances0
- class OptionMonoid[A] extends Monoid[Option[A]]
- class OptionOrder[A] extends Order[Option[A]]
- class OptionPartialOrder[A] extends PartialOrder[Option[A]]
- trait OrderInstances extends OrderToOrderingConversion
- trait PartialOrderInstances extends PartialOrderToPartialOrderingConversion
- class QueueEq[A] extends Eq[Queue[A]]
- class QueueHash[A] extends QueueEq[A] with Hash[Queue[A]]
- trait QueueInstances extends QueueInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class QueueOrder[A] extends Order[Queue[A]]
- class QueuePartialOrder[A] extends PartialOrder[Queue[A]]
- class SeqEq[A] extends Eq[Seq[A]]
- class SeqHash[A] extends SeqEq[A] with Hash[Seq[A]]
- trait SeqInstances extends SeqInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class SeqOrder[A] extends Order[Seq[A]]
- class SeqPartialOrder[A] extends PartialOrder[Seq[A]]
- class SetHash[A] extends Hash[Set[A]]
- trait SetInstances extends SetInstances1
- class SetPartialOrder[A] extends PartialOrder[Set[A]]
- class SetSemilattice[A] extends BoundedSemilattice[Set[A]]
- trait ShortBounded extends LowerBounded[Short] with UpperBounded[Short]
- trait ShortEnumerable extends BoundedEnumerable[Short]
- class ShortGroup extends CommutativeGroup[Short]
- trait ShortInstances extends AnyRef
- class ShortOrder extends Order[Short] with Hash[Short] with ShortBounded with ShortEnumerable
- class SortedMapCommutativeMonoid[K, V] extends SortedMapMonoid[K, V] with CommutativeMonoid[SortedMap[K, V]]
- class SortedMapCommutativeSemigroup[K, V] extends SortedMapSemigroup[K, V] with CommutativeSemigroup[SortedMap[K, V]]
- class SortedMapEq[K, V] extends Eq[SortedMap[K, V]]
- class SortedMapHash[K, V] extends SortedMapEq[K, V] with Hash[SortedMap[K, V]]
- trait SortedMapInstances extends SortedMapInstances3
- class SortedMapMonoid[K, V] extends SortedMapSemigroup[K, V] with Monoid[SortedMap[K, V]]
- class SortedMapSemigroup[K, V] extends Semigroup[SortedMap[K, V]]
- class SortedSetHash[A] extends Hash[SortedSet[A]]
- trait SortedSetInstances extends SortedSetInstances1
- class SortedSetOrder[A] extends Order[SortedSet[A]]
- class SortedSetSemilattice[A] extends BoundedSemilattice[SortedSet[A]]
- trait StreamInstances extends StreamInstances1
- trait StringInstances extends AnyRef
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- trait StringLowerBounded extends LowerBounded[String]
- class StringMonoid extends Monoid[String]
- class StringOrder extends Order[String] with Hash[String] with StringLowerBounded
- trait SymbolInstances extends AnyRef
- trait SymbolLowerBounded extends LowerBounded[Symbol]
- class SymbolOrder extends Order[Symbol] with Hash[Symbol] with SymbolLowerBounded
- trait TupleInstances extends TupleInstances1
- trait UUIDBounded extends LowerBounded[UUID] with UpperBounded[UUID]
- trait UUIDInstances extends AnyRef
- class UnitAlgebra extends BoundedSemilattice[Unit] with CommutativeGroup[Unit]
- trait UnitBounded extends LowerBounded[Unit] with UpperBounded[Unit]
- trait UnitEnumerable extends BoundedEnumerable[Unit]
- trait UnitInstances extends AnyRef
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class UnitOrder extends Order[Unit] with Hash[Unit] with UnitBounded with UnitEnumerable
- class VectorEq[A] extends Eq[Vector[A]]
- class VectorHash[A] extends VectorEq[A] with Hash[Vector[A]]
- trait VectorInstances extends VectorInstances1
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- class VectorOrder[A] extends Order[Vector[A]]
- class VectorPartialOrder[A] extends PartialOrder[Vector[A]]
Deprecated Type Members
- class LazyListMonoid[A] extends Monoid[LazyList[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.9.0) Use LazyListMonoid.apply, which does not allocate a new instance
- class ListMonoid[A] extends Monoid[List[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.9.0) Use ListMonoid.apply, which does not allocate a new instance
- class QueueMonoid[A] extends Monoid[Queue[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.9.0) Use QueueMonoid.apply, which does not allocate a new instance
- class SeqMonoid[A] extends Monoid[Seq[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.9.0) Use SeqMonoid.apply, which does not allocate a new instance
- class StreamEq[A] extends Eq[Stream[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0-RC2) Use cats.kernel.instances.lazyList
- class StreamHash[A] extends StreamEq[A] with Hash[Stream[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0-RC2) Use cats.kernel.instances.lazyList
- class StreamMonoid[A] extends Monoid[Stream[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0-RC2) Use cats.kernel.instances.lazyList
- class StreamOrder[A] extends Order[Stream[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0-RC2) Use cats.kernel.instances.lazyList
- class StreamPartialOrder[A] extends PartialOrder[Stream[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0-RC2) Use cats.kernel.instances.lazyList
- class VectorMonoid[A] extends Monoid[Vector[A]]
- Annotations
- @deprecated
- Deprecated
(Since version 2.9.0) Use VectorMonoid.apply, which does not allocate a new instance
Value Members
- object ArraySeqInstances
- object LazyListMonoid extends Serializable
- object ListMonoid extends Serializable
- object QueueMonoid extends Serializable
- object SeqMonoid extends Serializable
- object StaticMethods extends HashCompat
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- object VectorMonoid extends Serializable
- object eq extends EqInstances
- object hash extends HashInstances
- object order extends OrderInstances
- object partialOrder extends PartialOrderInstances