TypeConstraint

A marker for annotations that, when applied to a type, should be treated as a constraint on the annotated type.

A proper constraint should restrict the type based only on information mentioned within the type. A Scala compiler can use this assumption to rewrite the contents of the constraint as necessary. To contrast, a type annotation whose meaning depends on the context where it is written down is not a proper constrained type, and this marker should not be applied. A Scala compiler will drop such annotations in cases where it would rewrite a type constraint.

Source: TypeConstraint.scala
Version: 1.1, 2007-11-5
Since: 2.6

Linear Supertypes

Annotation, AnyRef, Any

Type Hierarchy Learn more about scaladoc diagrams

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from TypeConstraint to any2stringadd[TypeConstraint] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (TypeConstraint, B)

Implicit information
This member is added by an implicit conversion from TypeConstraint to ArrowAssoc[TypeConstraint] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (TypeConstraint) ⇒ Boolean, msg: ⇒ Any): TypeConstraint

Implicit information
This member is added by an implicit conversion from TypeConstraint to Ensuring[TypeConstraint] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (TypeConstraint) ⇒ Boolean): TypeConstraint

Implicit information
This member is added by an implicit conversion from TypeConstraint to Ensuring[TypeConstraint] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): TypeConstraint

Implicit information
This member is added by an implicit conversion from TypeConstraint to Ensuring[TypeConstraint] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): TypeConstraint

Implicit information
This member is added by an implicit conversion from TypeConstraint to Ensuring[TypeConstraint] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Returns string formatted according to given format string.
Returns string formatted according to given format string. Format strings are as for String.format (@see java.lang.String.format).

Implicit information
This member is added by an implicit conversion from TypeConstraint to StringFormat[TypeConstraint] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (TypeConstraint, B)

Implicit information
This member is added by an implicit conversion from TypeConstraint to ArrowAssoc[TypeConstraint] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

trait TypeConstraint extends Annotation

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (TypeConstraint, B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (TypeConstraint) ⇒ Boolean, msg: ⇒ Any): TypeConstraint

def ensuring(cond: (TypeConstraint) ⇒ Boolean): TypeConstraint

def ensuring(cond: Boolean, msg: ⇒ Any): TypeConstraint

def ensuring(cond: Boolean): TypeConstraint

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (TypeConstraint, B)

Inherited from Annotation

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from TypeConstraint to any2stringadd[TypeConstraint]

Inherited by implicit conversion StringFormat from TypeConstraint to StringFormat[TypeConstraint]

Inherited by implicit conversion Ensuring from TypeConstraint to Ensuring[TypeConstraint]

Inherited by implicit conversion ArrowAssoc from TypeConstraint to ArrowAssoc[TypeConstraint]

Ungrouped