Packages

p

tip

types

package types

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class FreshVarType(id: Int = 0) extends Type with Var[Type] with Product with Serializable

    Fresh type variable.

  2. case class FunctionType(params: List[Term[Type]], ret: Term[Type]) extends Type with Cons[Type] with Product with Serializable

    Function type.

  3. case class IntType() extends Type with Cons[Type] with Product with Serializable

    Int type.

  4. case class PointerType(of: Term[Type]) extends Type with Cons[Type] with Product with Serializable

    Pointer type.

  5. case class RecordType(args: List[Term[Type]])(implicit allFieldNames: List[String]) extends Type with Cons[Type] with Product with Serializable

    Record type.

    Record type.

    A record type is represented as a term with a sub-term for every field name in the entire program. (This could be represented more concisely by using AbsentFieldType as a default.)

  6. case class RecursiveType(v: Var[Type], t: Term[Type]) extends Type with Mu[Type] with Product with Serializable

    Recursive type (only created when closing terms).

  7. sealed trait Type extends AnyRef

    A type for a TIP variable or expression.

  8. case class VarType(node: AstNode) extends Type with Var[Type] with Product with Serializable

    Type variable for a program variable or expression.

Value Members

  1. object AbsentFieldType extends Type with Cons[Type] with Product with Serializable
  2. object Fresh

    Counter for producing fresh IDs.

  3. object TipTypeOps extends TermOps[Type]
  4. object Type

Ungrouped