Packages

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. type Law[P1, O <: superquants.Operation, P2, Out0] = LawTrait[P1, O, P2] { type Out = Out0 }
  2. implicit final class LawOps [T] extends AnyVal
  3. trait LawTrait [P1, Op <: superquants.Operation, P2] extends AnyRef
    Annotations
    @implicitNotFound( ... )

Value Members

  1. def Law[P1, O <: superquants.Operation, P2, Out0](f: (P1, P2) ⇒ Any): LawTrait[P1, O, P2] { type Out = Out0 }

Inherited from AnyRef

Inherited from Any

Ungrouped