instances

Type Members

1. trait AllInstances extends ArrayInstances with BigIntInstances 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 BigIntAlgebra extends EuclideanRing[BigInt] with Serializable

   

4. trait BigIntInstances extends cats.kernel.instances.BigIntInstances

   

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

6. trait BooleanInstances extends cats.kernel.instances.BooleanInstances

   

7. class ByteAlgebra extends EuclideanRing[Byte] with Serializable

   

8. trait ByteInstances extends cats.kernel.instances.ByteInstances

   

9. trait CharInstances extends cats.kernel.instances.CharInstances

   

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

11. trait DoubleInstances extends cats.kernel.instances.DoubleInstances

    

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

13. trait FloatInstances extends cats.kernel.instances.FloatInstances

    

14. class IntAlgebra extends EuclideanRing[Int] with Serializable

    

15. trait IntInstances extends cats.kernel.instances.IntInstances

    

16. trait ListInstances extends cats.kernel.instances.ListInstances

    

17. class LongAlgebra extends EuclideanRing[Long] with Serializable

    

18. trait LongInstances extends cats.kernel.instances.LongInstances

    

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

    

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

    

21. trait MapInstances0 extends AnyRef

    

22. trait MapInstances1 extends MapInstances0

    

23. trait MapInstances2 extends MapInstances1

    

24. trait MapInstances3 extends MapInstances2

    

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

    

26. trait OptionInstances extends cats.kernel.instances.OptionInstances

    

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

    

28. trait SetInstances extends cats.kernel.instances.SetInstances

    

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

    

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

    

31. class ShortAlgebra extends EuclideanRing[Short] with Serializable

    

32. trait ShortInstances extends cats.kernel.instances.ShortInstances

    

33. trait StringInstances extends cats.kernel.instances.StringInstances

    

34. trait TupleInstances extends cats.kernel.instances.TupleInstances

    

35. class UnitAlgebra extends CommutativeRing[Unit]

    

36. trait UnitInstances extends cats.kernel.instances.UnitInstances