amy-language
API
Generated with
amy-language/amyc/amyc.core/Types

Types

amyc.core.Types$
object Types

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Types.type

Members list

Type members

Classlikes

case object BottomType extends Type

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
BottomType.type
case class ClassType(qname: Identifier) extends Type

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
case object ErrorType extends Type

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
ErrorType.type
case class FunctionType(args: List[Type], rte: Type) extends Type

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
case class MultiTypeVariable() extends Type

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
case object NoType extends Type

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
NoType.type
case class OrType(lhs: Type, rhs: Type) extends Type

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
trait Type

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BottomType.type
class ClassType
object ErrorType.type
class FunctionType
object NoType.type
class OrType
class TypeVariable
object WildCardType.type
Show all
case class TypeVariable extends Type

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
object TypeVariable

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case object WildCardType extends Type

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Type
class Object
trait Matchable
class Any
Show all
Self type
Generated with