p

spire

laws

package laws

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. trait RingLaws[A] extends GroupLaws[A]
  14. trait VectorSpaceLaws[V, A] extends Laws

Value Members

  1. implicit def PredicateFromMonoid[A](implicit arg0: Eq[A], A: AdditiveMonoid[A]): Predicate[A]
  2. def propertiesToProp(properties: Properties): Prop
  3. object ActionLaws
  4. object BaseLaws
  5. object CombinationLaws
  6. object GroupLaws
  7. object InvalidTestException extends Serializable
  8. object InvolutionLaws
  9. object LatticeLaws
  10. object LatticePartialOrderLaws
  11. object LogicLaws
  12. object OrderLaws
  13. object PartialActionLaws
  14. object PartialGroupLaws
  15. object RingLaws
  16. object VectorSpaceLaws
  17. object arb
  18. object gen

Inherited from AnyRef

Inherited from Any

Ungrouped