Package

org.cvogt.scala.constraint

set

Permalink

package set

Source
set.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. set
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. final class In[Left, Set] extends AnyRef

    Permalink

    Proves that Left is a component of the tuple given as Right

    Proves that Left is a component of the tuple given as Right

    Annotations
    @implicitNotFound( "Cannot prove ${Left} In ${Set}" )

  2. final class NotIn[Left, Set] extends AnyRef

    Permalink

    Proves that the first type is NOT a component of the tuple given as the second type

    Proves that the first type is NOT a component of the tuple given as the second type

    Annotations
    @implicitNotFound( "Cannot prove ${Left} NotIn ${Set}" )

Value Members

  1. object In

    Permalink

  2. object NotIn

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped