Package

superquants

laws

Permalink

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 }

    Permalink

  2. implicit final class LawOps[T] extends AnyVal

    Permalink

  3. trait LawTrait[P1, Op <: superquants.Operation, P2] extends AnyRef

    Permalink
    Annotations
    @implicitNotFound( ... )

Value Members

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

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped