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( ... )

  7. final class CaseClass[T] extends AnyRef

    Type class for case classes

  8. final class SingletonObject[T] extends AnyRef

Value Members

  1. object CaseClass

  2. object SingletonObject

  3. package boolean

  4. package set

Inherited from AnyRef

Inherited from Any

Ungrouped