laws

Type Members

1. trait ActionLaws[G, A] extends Laws

   

2. trait BaseLaws[A] extends Laws

   

3. trait CombinationLaws[A] extends Laws

   

   Contains laws that are obeying by combination of types, for example various kinds of signed rings.

4. trait GroupLaws[A] extends Laws

   

5. final class InvalidTestException extends Exception

   

   Exception thrown when the computation exceeds a type range.

   Exception thrown when the computation exceeds a type range.

   For example, when shadowed, Byte(100) + Byte(100) will throw this.

6. trait InvolutionLaws[A] extends Laws

   

7. trait LatticeLaws[A] extends Laws

   

8. trait LatticePartialOrderLaws[A] extends Laws

   

9. trait LogicLaws[A] extends Laws

   

10. trait OrderLaws[A] extends Laws

    

11. trait PartialActionLaws[G, A] extends Laws

    

12. trait PartialGroupLaws[A] extends GroupLaws[A]

    

13. case class Perm(map: Map[Int, Int]) extends Product with Serializable

    

    Represents a permutation encoded as a map from preimages to images, including only pairs that are moved by the permutation (so the identity is Map.empty).

14. trait RingLaws[A] extends GroupLaws[A]

    

15. trait VectorSpaceLaws[V, A] extends Laws