Type Members

1.  trait ConcreteType extends Type
2.  case class ConstraintClosureType(parentScope: Scope, name: String, variableOrigin: SourceElement, body: ConstraintExpression) extends ConcreteType with Product with Serializable
3.  trait ConstraintExpression extends AnyRef
4.  case class Poly(arguments: Seq[TypeVariable], body: Type) extends Type with Product with Serializable
5.  case class PrimitiveType(name: Any) extends ConcreteType with Product with Serializable
6.  trait Type extends AnyRef
7.  case class TypeApplication(function: Type, arguments: Seq[Type], origin: AnyRef) extends ConcreteType with Product with Serializable
8.  case class TypeFromDeclaration(declaration: Declaration) extends ConcreteType with Product with Serializable
9.  case class TypeVariable(name: String, origin: Option[SourceElement] = None) extends Type with Product with Serializable