instances

Type Members

1. 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

2. trait ArrayInstances extends AnyRef

3. class BigDecimalAlgebra extends Field[BigDecimal] with Serializable

4. trait BigDecimalInstances extends cats.kernel.instances.BigDecimalInstances

5. class BigIntAlgebra extends CommutativeRing[BigInt] with Serializable

6. trait BigIntInstances extends cats.kernel.instances.BigIntInstances

7. class BitSetAlgebra extends GenBool[BitSet] with Serializable

8. trait BitSetInstances extends cats.kernel.instances.BitSetInstances

9. class BooleanAlgebra extends Bool[Boolean] with CommutativeRig[Boolean]

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

10. trait BooleanInstances extends cats.kernel.instances.BooleanInstances

11. class ByteAlgebra extends CommutativeRing[Byte] with Serializable

12. trait ByteInstances extends cats.kernel.instances.ByteInstances

13. trait CharInstances extends cats.kernel.instances.CharInstances

14. 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.

15. trait DoubleInstances extends cats.kernel.instances.DoubleInstances

16. 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.

17. trait FloatInstances extends cats.kernel.instances.FloatInstances

18. class IntAlgebra extends CommutativeRing[Int] with Serializable

19. trait IntInstances extends cats.kernel.instances.IntInstances

20. trait ListInstances extends cats.kernel.instances.ListInstances

21. class LongAlgebra extends CommutativeRing[Long] with Serializable

22. trait LongInstances extends cats.kernel.instances.LongInstances

23. class MapAdditiveMonoid[K, V] extends AdditiveMonoid[Map[K, V]]

24. trait MapInstances extends cats.kernel.instances.MapInstances with MapInstances3

25. trait MapInstances0 extends AnyRef

26. trait MapInstances1 extends MapInstances0

27. trait MapInstances2 extends MapInstances1

28. trait MapInstances3 extends MapInstances2

29. class MapSemiring[K, V] extends MapAdditiveMonoid[K, V] with Semiring[Map[K, V]]

30. trait OptionInstances extends cats.kernel.instances.OptionInstances

31. class SetBoolRng[A] extends BoolRng[Set[A]]

32. trait SetInstances extends cats.kernel.instances.SetInstances

33. class SetLattice[A] extends GenBool[Set[A]]

34. class SetSemiring[A] extends Semiring[Set[A]]

35. class ShortAlgebra extends CommutativeRing[Short] with Serializable

36. trait ShortInstances extends cats.kernel.instances.ShortInstances

37. trait StringInstances extends cats.kernel.instances.StringInstances

38. trait TupleInstances extends cats.kernel.instances.TupleInstances

39. class UnitAlgebra extends CommutativeRing[Unit]

40. trait UnitInstances extends cats.kernel.instances.UnitInstances