cats-docs
2.10.0
API
Generated with
cats-docs/algebra/algebra.instances

algebra.instances

package algebra.instances

Members list

Packages

package algebra.instances.all
package algebra.instances.array
package algebra.instances.bigDecimal
package algebra.instances.bigInt
package algebra.instances.bitSet
package algebra.instances.boolean
package algebra.instances.byte
package algebra.instances.char
package algebra.instances.int
package algebra.instances.list
package algebra.instances.long
package algebra.instances.map
package algebra.instances.option
package algebra.instances.set
package algebra.instances.short
package algebra.instances.string
package algebra.instances.tuple
package algebra.instances.unit

Type members

Classlikes

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

Attributes

Source
all.scala
Supertypes
trait SetInstances
trait SetInstances
trait MapInstances
trait MapInstances
trait IntInstances
trait IntInstances
class Object
trait Matchable
class Any
Show all
trait ArrayInstances

Attributes

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

Attributes

Source
bigDecimal.scala
Supertypes
trait Field[BigDecimal]
trait Ring[BigDecimal]
trait Rng[BigDecimal]
trait Rig[BigDecimal]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait BigDecimalInstances extends BigDecimalInstances

Attributes

Source
bigDecimal.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class BigIntAlgebra extends EuclideanRing[BigInt], Serializable
trait BigIntInstances extends BigIntInstances

Attributes

Source
bigInt.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class BigIntTruncatedDivison extends BigIntAlgebra, forCommutativeRing[BigInt]

Attributes

Source
bigInt.scala
Supertypes
trait Signed[BigInt]
trait GCDRing[BigInt]
trait Ring[BigInt]
trait Rng[BigInt]
trait Rig[BigInt]
trait Semiring[BigInt]
trait Serializable
class Object
trait Matchable
class Any
Show all
class BitSetAlgebra extends GenBool[BitSet], Serializable

Attributes

Source
bitSet.scala
Supertypes
trait GenBool[BitSet]
trait Lattice[BitSet]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait BitSetInstances extends BitSetInstances

Attributes

Source
bitSet.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class BooleanAlgebra extends Bool[Boolean], 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
Supertypes
trait Rig[Boolean]
trait Semiring[Boolean]
trait Bool[Boolean]
trait GenBool[Boolean]
trait Heyting[Boolean]
trait Lattice[Boolean]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait BooleanInstances extends BooleanInstances

Attributes

Source
boolean.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class ByteAlgebra extends CommutativeRing[Byte], Serializable
trait ByteInstances extends ByteInstances

Attributes

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

Attributes

Source
char.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class DoubleAlgebra extends Field[Double], 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
Supertypes
trait Field[Double]
trait Semifield[Double]
trait GCDRing[Double]
trait Ring[Double]
trait Rng[Double]
trait Rig[Double]
trait Semiring[Double]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait DoubleInstances extends DoubleInstances

Attributes

Source
double.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class FloatAlgebra extends Field[Float], 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
Supertypes
trait Field[Float]
trait Semifield[Float]
trait GCDRing[Float]
trait Ring[Float]
trait Rng[Float]
trait Rig[Float]
trait Semiring[Float]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait FloatInstances extends FloatInstances

Attributes

Source
float.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class IntAlgebra extends CommutativeRing[Int], Serializable
trait IntInstances extends IntInstances

Attributes

Source
int.scala
Supertypes
trait IntInstances
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
trait ListInstances extends ListInstances

Attributes

Source
list.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
class LongAlgebra extends CommutativeRing[Long], Serializable
trait LongInstances extends LongInstances

Attributes

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

Attributes

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

Attributes

Source
map.scala
Supertypes
trait MapInstances
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AllInstances
trait MapInstances0

Attributes

Source
map.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances
trait AllInstances
trait MapInstances1 extends MapInstances0

Attributes

Source
map.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances
trait AllInstances
trait MapInstances2 extends MapInstances1

Attributes

Source
map.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MapInstances
trait AllInstances
trait MapInstances3 extends MapInstances2

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
set.scala
Supertypes
trait BoolRng[Set[A]]
trait CommutativeRng[Set[A]]
trait Rng[Set[A]]
trait AdditiveGroup[Set[A]]
trait Semiring[Set[A]]
trait AdditiveMonoid[Set[A]]
trait Serializable
class Object
trait Matchable
class Any
Show all
trait SetInstances extends SetInstances

Attributes

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

Attributes

Source
set.scala
Supertypes
trait GenBool[Set[A]]
trait Lattice[Set[A]]
trait MeetSemilattice[Set[A]]
trait JoinSemilattice[Set[A]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class SetSemiring[A] extends Semiring[Set[A]]

Attributes

Source
set.scala
Supertypes
trait Semiring[Set[A]]
trait AdditiveMonoid[Set[A]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class ShortAlgebra extends CommutativeRing[Short], Serializable
trait ShortInstances extends ShortInstances

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
unit.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllInstances
Generated with