Cats algebra
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Cats algebra/algebra.instances

algebra.instances

package algebra.instances

Members list

Concise view

Type members

Classlikes

trait AllInstances extends ArrayInstances with BigDecimalInstances with BigIntInstances with BitSetInstances with BooleanInstances with ByteInstances with CharInstances with DoubleInstances with FloatInstances with IntInstances with ListInstances with LongInstances with MapInstances with OptionInstances with SetInstances with ShortInstances with StringInstances with TupleInstances with UnitInstances

Attributes

Source:
all.scala
Graph
Supertypes
class Object
trait Matchable
class Any
trait ArrayInstances

Attributes

Source:
array.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BigDecimalAlgebra(mc: MathContext) extends Field[BigDecimal] with Serializable

Attributes

Source:
bigDecimal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
trait BigDecimalInstances extends BigDecimalInstances

Attributes

Source:
bigDecimal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BigIntAlgebra extends EuclideanRing[BigInt] with Serializable

Attributes

Source:
bigInt.scala
Graph
Supertypes
trait Ring[BigInt]
trait Rng[BigInt]
trait Rig[BigInt]
class Object
trait Matchable
class Any
Known subtypes
trait BigIntInstances extends BigIntInstances

Attributes

Source:
bigInt.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BigIntTruncatedDivison extends BigIntAlgebra with forCommutativeRing[BigInt]

Attributes

Source:
bigInt.scala
Graph
Supertypes
trait Signed[BigInt]
trait Ring[BigInt]
trait Rng[BigInt]
trait Rig[BigInt]
class Object
trait Matchable
class Any
class BitSetAlgebra extends GenBool[BitSet] with Serializable

Attributes

Source:
bitSet.scala
Graph
Supertypes
class Object
trait Matchable
class Any
trait BitSetInstances extends BitSetInstances

Attributes

Source:
bitSet.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BooleanAlgebra extends Bool[Boolean] with CommutativeRig[Boolean]

This commutative rig is different than the one obtained from GF(2).

This commutative rig is different than the one obtained from GF(2).

It uses || for plus, and && for times.

Attributes

Source:
boolean.scala
Graph
Supertypes
trait Rig[Boolean]
trait Bool[Boolean]
class Object
trait Matchable
class Any
trait BooleanInstances extends BooleanInstances

Attributes

Source:
boolean.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ByteAlgebra extends CommutativeRing[Byte] with Serializable

Attributes

Source:
byte.scala
Graph
Supertypes
trait Ring[Byte]
trait Rng[Byte]
trait Rig[Byte]
trait Semiring[Byte]
class Object
trait Matchable
class Any
trait ByteInstances extends ByteInstances

Attributes

Source:
byte.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CharInstances extends CharInstances

Attributes

Source:
char.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DoubleAlgebra extends Field[Double] with Serializable

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.

Attributes

Source:
double.scala
Graph
Supertypes
trait Field[Double]
trait Ring[Double]
trait Rng[Double]
trait Rig[Double]
class Object
trait Matchable
class Any
trait DoubleInstances extends DoubleInstances

Attributes

Source:
double.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FloatAlgebra extends Field[Float] with Serializable

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.

Attributes

Source:
float.scala
Graph
Supertypes
trait Field[Float]
trait GCDRing[Float]
trait Ring[Float]
trait Rng[Float]
trait Rig[Float]
class Object
trait Matchable
class Any
trait FloatInstances extends FloatInstances

Attributes

Source:
float.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class IntAlgebra extends CommutativeRing[Int] with Serializable

Attributes

Source:
int.scala
Graph
Supertypes
trait Ring[Int]
trait Rng[Int]
trait Rig[Int]
trait Semiring[Int]
class Object
trait Matchable
class Any
trait IntInstances extends IntInstances

Attributes

Source:
int.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ListInstances extends ListInstances

Attributes

Source:
list.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class LongAlgebra extends CommutativeRing[Long] with Serializable

Attributes

Source:
long.scala
Graph
Supertypes
trait Ring[Long]
trait Rng[Long]
trait Rig[Long]
trait Semiring[Long]
class Object
trait Matchable
class Any
trait LongInstances extends LongInstances

Attributes

Source:
long.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MapAdditiveMonoid[K, V](implicit V: AdditiveSemigroup[V]) extends AdditiveMonoid[Map[K, V]]

Attributes

Source:
map.scala
Graph
Supertypes
trait AdditiveMonoid[Map[K, V]]
trait AdditiveSemigroup[Map[K, V]]
class Object
trait Matchable
class Any
Known subtypes
class MapSemiring[K, V]
trait MapInstances extends MapInstances with MapInstances3

Attributes

Source:
map.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances0

Attributes

Source:
map.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances1 extends MapInstances0

Attributes

Source:
map.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances2 extends MapInstances1

Attributes

Source:
map.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances3 extends MapInstances2

Attributes

Source:
map.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MapSemiring[K, V](implicit V: Semiring[V]) extends MapAdditiveMonoid[K, V] with Semiring[Map[K, V]]

Attributes

Source:
map.scala
Graph
Supertypes
trait Semiring[Map[K, V]]
class MapAdditiveMonoid[K, V]
trait AdditiveMonoid[Map[K, V]]
trait AdditiveSemigroup[Map[K, V]]
class Object
trait Matchable
class Any
trait OptionInstances extends OptionInstances

Attributes

Source:
option.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class SetBoolRng[A] extends BoolRng[Set[A]]

Attributes

Source:
set.scala
Graph
Supertypes
trait BoolRng[Set[A]]
trait Rng[Set[A]]
trait AdditiveGroup[Set[A]]
trait Semiring[Set[A]]
class Object
trait Matchable
class Any
trait SetInstances extends SetInstances

Attributes

Source:
set.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class SetLattice[A] extends GenBool[Set[A]]

Attributes

Source:
set.scala
Graph
Supertypes
trait GenBool[Set[A]]
trait Lattice[Set[A]]
class Object
trait Matchable
class Any
class SetSemiring[A] extends Semiring[Set[A]]

Attributes

Source:
set.scala
Graph
Supertypes
trait Semiring[Set[A]]
class Object
trait Matchable
class Any
class ShortAlgebra extends CommutativeRing[Short] with Serializable

Attributes

Source:
short.scala
Graph
Supertypes
trait Ring[Short]
trait Rng[Short]
trait Rig[Short]
class Object
trait Matchable
class Any
trait ShortInstances extends ShortInstances

Attributes

Source:
short.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object StaticMethods

Attributes

Source:
StaticMethods.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait StringInstances extends StringInstances

Attributes

Source:
string.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TupleInstances extends TupleInstances

Attributes

Source:
TupleAlgebra.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class UnitAlgebra extends CommutativeRing[Unit]

Attributes

Source:
unit.scala
Graph
Supertypes
trait Ring[Unit]
trait Rng[Unit]
trait Rig[Unit]
trait Semiring[Unit]
class Object
trait Matchable
class Any
trait UnitInstances extends UnitInstances

Attributes

Source:
unit.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL