org.cvogt.scala

constraint

package constraint

Visibility
  1. Public
  2. All

Type Members

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

    Verifies that From is NOT a subtype of To

    Verifies that From is NOT a subtype of To

    Annotations
    @implicitNotFound( ... )

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

    Verifies that From is not identical to To

    Verifies that From is not identical to To

    Annotations
    @implicitNotFound( ... )

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

    Helper class for !<:

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

    Helper class for !=:=

Value Members

  1. object !<:

  2. object !=:=

  3. object Allow_!<:

  4. object Allow_!=:=

Ungrouped