package instances
- Alphabetic
- Public
- Protected
Type Members
- 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
- trait ArrayInstances extends AnyRef
- class BigDecimalAlgebra extends Field[BigDecimal] with Serializable
- trait BigDecimalInstances extends cats.kernel.instances.BigDecimalInstances
- class BigIntAlgebra extends EuclideanRing[BigInt] with Serializable
- trait BigIntInstances extends cats.kernel.instances.BigIntInstances
- class BigIntTruncatedDivison extends BigIntAlgebra with forCommutativeRing[BigInt]
- class BitSetAlgebra extends GenBool[BitSet] with Serializable
- trait BitSetInstances extends cats.kernel.instances.BitSetInstances
- 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.
- trait BooleanInstances extends cats.kernel.instances.BooleanInstances
- class ByteAlgebra extends CommutativeRing[Byte] with Serializable
- trait ByteInstances extends cats.kernel.instances.ByteInstances
- trait CharInstances extends cats.kernel.instances.CharInstances
- 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.
- trait DoubleInstances extends cats.kernel.instances.DoubleInstances
- 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.
- trait FloatInstances extends cats.kernel.instances.FloatInstances
- class IntAlgebra extends CommutativeRing[Int] with Serializable
- trait IntInstances extends cats.kernel.instances.IntInstances
- trait ListInstances extends cats.kernel.instances.ListInstances
- class LongAlgebra extends CommutativeRing[Long] with Serializable
- trait LongInstances extends cats.kernel.instances.LongInstances
- class MapAdditiveMonoid[K, V] extends AdditiveMonoid[Map[K, V]]
- trait MapInstances extends cats.kernel.instances.MapInstances with MapInstances3
- trait MapInstances0 extends AnyRef
- trait MapInstances1 extends MapInstances0
- trait MapInstances2 extends MapInstances1
- trait MapInstances3 extends MapInstances2
- class MapSemiring[K, V] extends MapAdditiveMonoid[K, V] with Semiring[Map[K, V]]
- trait OptionInstances extends cats.kernel.instances.OptionInstances
- class SetBoolRng[A] extends BoolRng[Set[A]]
- trait SetInstances extends cats.kernel.instances.SetInstances
- class SetLattice[A] extends GenBool[Set[A]]
- class SetSemiring[A] extends Semiring[Set[A]]
- class ShortAlgebra extends CommutativeRing[Short] with Serializable
- trait ShortInstances extends cats.kernel.instances.ShortInstances
- trait StringInstances extends cats.kernel.instances.StringInstances
- trait TupleInstances extends cats.kernel.instances.TupleInstances
- class UnitAlgebra extends CommutativeRing[Unit]
- trait UnitInstances extends cats.kernel.instances.UnitInstances
Value Members
- object StaticMethods