Package

org.cvogt.scala

constraint

Permalink

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
Visibility
  1. Public
  2. All

Type Members

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

    Permalink
    Annotations
    @implicitNotFound( ... )

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

    Permalink
    Annotations
    @implicitNotFound( ... )

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

    Permalink
    Annotations
    @implicitNotFound( ... )

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

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

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

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

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

    Permalink
    Annotations
    @implicitNotFound( ... )

  7. final class CaseClass[T] extends AnyRef

    Permalink

    Type class for case classes

  8. final class SingletonObject[T] extends AnyRef

    Permalink

Value Members

  1. object CaseClass

    Permalink

  2. object SingletonObject

    Permalink

  3. package boolean

    Permalink

  4. package set

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped