package laws
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- laws
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- trait ActionLaws[G, A] extends Laws
- trait BaseLaws[A] extends Laws
-
trait
CombinationLaws[A] extends Laws
Contains laws that are obeying by combination of types, for example various kinds of signed rings.
- trait GroupLaws[A] extends Laws
-
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.
- trait InvolutionLaws[A] extends Laws
- trait LatticeLaws[A] extends Laws
- trait LatticePartialOrderLaws[A] extends Laws
- trait LogicLaws[A] extends Laws
- trait OrderLaws[A] extends Laws
- trait PartialActionLaws[G, A] extends Laws
- trait PartialGroupLaws[A] extends GroupLaws[A]
- trait RingLaws[A] extends GroupLaws[A]
- trait VectorSpaceLaws[V, A] extends Laws
Value Members
- implicit def PredicateFromMonoid[A](implicit arg0: Eq[A], A: AdditiveMonoid[A]): Predicate[A]
- def propertiesToProp(properties: Properties): Prop
- object ActionLaws
- object BaseLaws
- object CombinationLaws
- object GroupLaws
- object InvalidTestException extends Serializable
- object InvolutionLaws
- object LatticeLaws
- object LatticePartialOrderLaws
- object LogicLaws
- object OrderLaws
- object PartialActionLaws
- object PartialGroupLaws
- object RingLaws
- object VectorSpaceLaws
- object arb
- object gen