org.cvogt.scala

constraint

package constraint

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

Type Members

  1. type !<:<[Left, Right] = ![<:<[Left, Right]]

    Annotations
    @implicitNotFound( ... )

  2. type !=:=[Left, Right] = ![=:=[Left, Right]]

    Annotations
    @implicitNotFound( ... )

  3. type !>:>[Right, Left] = ![<:<[Left, Right]]

    Annotations
    @implicitNotFound( ... )

  4. type <:<[Left, Right] = scala.Predef.<:<[Left, Right]

    Annotations
    @implicitNotFound( "Cannot prove ${Left} <:< ${Right}" )

  5. type =:=[Left, Right] = scala.Predef.=:=[Left, Right]

    Annotations
    @implicitNotFound( "Cannot prove ${Left} =:= ${Right}" )

  6. type >:>[Right, Left] = scala.Predef.<:<[Left, Right]

    Annotations
    @implicitNotFound( ... )

Value Members

  1. package boolean

  2. package set

Inherited from AnyRef

Inherited from Any

Ungrouped