Packages

package ty

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. case class TArr(in: Ty, out: Ty) extends Ty with Product with Serializable
  2. case class TBase(name: String, params: List[Ty]) extends Ty with Product with Serializable
  3. case class TVar(name: String) extends Ty with Product with Serializable
  4. sealed abstract class Ty extends AnyRef

Value Members

  1. object ->:
  2. object FunctionType
  3. object TBase extends Serializable
  4. object Ti extends TBase

    This object represents the type of individuals.

  5. object To extends TBase

    This object represents the type of truth values.

  6. object arity
  7. object baseTypes

Ungrouped