package instances
- Alphabetic
- Public
- All
Type Members
- 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
- trait AllInstancesBinCompat0 extends FiniteDurationInstances
- class BigDecimalGroup extends CommutativeGroup[BigDecimal]
- 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]
- trait BitSetInstances extends AnyRef
- class BitSetPartialOrder extends PartialOrder[BitSet] with Hash[BitSet]
- class BitSetSemilattice extends BoundedSemilattice[BitSet]
- trait BooleanInstances extends AnyRef
- class BooleanOrder extends Order[Boolean] with Hash[Boolean]
- class ByteGroup extends CommutativeGroup[Byte]
- trait ByteInstances extends AnyRef
- class ByteOrder extends Order[Byte] with Hash[Byte]
- trait CharInstances extends AnyRef
- class CharOrder extends Order[Char] with Hash[Char]
- class DoubleGroup extends CommutativeGroup[Double]
- trait DoubleInstances extends AnyRef
- class DoubleOrder extends Order[Double] with Hash[Double]
-
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]
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 EitherInstances0 extends EitherInstances1
- trait EitherInstances1 extends AnyRef
- trait EqInstances extends EqToEquivConversion
- class FiniteDurationGroup extends CommutativeGroup[FiniteDuration]
- trait FiniteDurationInstances extends AnyRef
- class FiniteDurationOrder extends Order[FiniteDuration] with Hash[FiniteDuration]
-
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
- trait FunctionInstances0 extends FunctionInstances1
- trait FunctionInstances1 extends FunctionInstances2
- trait FunctionInstances2 extends FunctionInstances3
- trait FunctionInstances3 extends FunctionInstances4
- trait FunctionInstances4 extends AnyRef
- trait HashInstances extends HashToHashingConversion
- class IntGroup extends CommutativeGroup[Int]
- trait IntInstances extends AnyRef
- class IntOrder extends Order[Int] with Hash[Int]
- class ListEq[A] extends Eq[List[A]]
- class ListHash[A] extends ListEq[A] with Hash[List[A]]
- trait ListInstances extends ListInstances1
- trait ListInstances1 extends ListInstances2
- trait ListInstances2 extends AnyRef
- class ListMonoid[A] extends Monoid[List[A]]
- class ListOrder[A] extends Order[List[A]]
- class ListPartialOrder[A] extends PartialOrder[List[A]]
- class LongGroup extends CommutativeGroup[Long]
- trait LongInstances extends AnyRef
- class LongOrder extends Order[Long] with Hash[Long]
- 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
- trait MapInstances1 extends AnyRef
- 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
- trait OptionInstances0 extends OptionInstances1
- trait OptionInstances1 extends OptionInstances2
- trait OptionInstances2 extends AnyRef
- 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
- trait QueueInstances1 extends QueueInstances2
- trait QueueInstances2 extends AnyRef
- class QueueMonoid[A] extends Monoid[Queue[A]]
- class QueueOrder[A] extends Order[Queue[A]]
- class QueuePartialOrder[A] extends PartialOrder[Queue[A]]
- class SetHash[A] extends Hash[Set[A]]
- trait SetInstances extends SetInstances1
- trait SetInstances1 extends AnyRef
- class SetPartialOrder[A] extends PartialOrder[Set[A]]
- class SetSemilattice[A] extends BoundedSemilattice[Set[A]]
- class ShortGroup extends CommutativeGroup[Short]
- trait ShortInstances extends AnyRef
- class ShortOrder extends Order[Short] with Hash[Short]
- class StreamEq[A] extends Eq[Stream[A]]
- class StreamHash[A] extends StreamEq[A] with Hash[Stream[A]]
- trait StreamInstances extends StreamInstances1
- trait StreamInstances1 extends StreamInstances2
- trait StreamInstances2 extends AnyRef
- class StreamMonoid[A] extends Monoid[Stream[A]]
- class StreamOrder[A] extends Order[Stream[A]]
- class StreamPartialOrder[A] extends PartialOrder[Stream[A]]
- trait StringInstances extends AnyRef
- class StringMonoid extends Monoid[String]
- class StringOrder extends Order[String] with Hash[String]
- trait SymbolInstances extends AnyRef
- class SymbolOrder extends Order[Symbol] with Hash[Symbol]
- trait TupleInstances extends TupleInstances1
- trait TupleInstances1 extends TupleInstances2
- trait TupleInstances2 extends TupleInstances3
- trait TupleInstances3 extends AnyRef
- trait UUIDInstances extends AnyRef
- class UnitAlgebra extends BoundedSemilattice[Unit] with CommutativeGroup[Unit]
- trait UnitInstances extends AnyRef
- class UnitOrder extends Order[Unit] with Hash[Unit]
- class VectorEq[A] extends Eq[Vector[A]]
- class VectorHash[A] extends VectorEq[A] with Hash[Vector[A]]
- trait VectorInstances extends VectorInstances1
- trait VectorInstances1 extends VectorInstances2
- trait VectorInstances2 extends AnyRef
- class VectorMonoid[A] extends Monoid[Vector[A]]
- class VectorOrder[A] extends Order[Vector[A]]
- class VectorPartialOrder[A] extends PartialOrder[Vector[A]]
Value Members
- object StaticMethods
- object eq extends EqInstances
- object hash extends HashInstances
- object order extends OrderInstances
- object partialOrder extends PartialOrderInstances