org.cvogt.scala.constraint

set

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
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

    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

    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

  2. object NotIn

Inherited from AnyRef

Inherited from Any

Ungrouped