org.cvogt

constraints

package constraints

Source
constraints.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. constraints
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait !<:[From, To] extends AnyRef

    Verifies that From is NOT a subtype of To

  2. trait !=:=[From, To] extends AnyRef

    Verifies that From is not identical to To

  3. trait Allow_!<:[From, To] extends AnyRef

    Helper class for !<:

  4. trait Allow_!=:=[From, To] extends AnyRef

    Helper class for !=:=

Value Members

  1. implicit def allow_!<:[From, To]: Allow_!<:[From, To]

    Allow any two types fo !<:

  2. implicit def allow_!=:=[From, To]: Allow_!=:=[From, To]

    Allow any two types fo !=:=

  3. implicit def conforms_!<:[A, B](implicit ev: Allow_!<:[A, B]): !<:[A, B]

    implicit that verifies !<:

  4. implicit def conforms_!=:=[A, B](implicit ev: Allow_!=:=[A, B]): !=:=[A, B]

    implicit that verifies !=:=

  5. implicit def disallow_!<:[From, To](implicit ev: <:<[From, To]): Allow_!<:[From, To]

    Creates an ambigious implicit for From <: To to prevent that case.

  6. implicit def disallow_!=:=[From, To](implicit ev: =:=[From, To]): Allow_!=:=[From, To]

    Creates an ambigious implicit for From =:= To to prevent that case.

Inherited from AnyRef

Inherited from Any

Ungrouped