Prefix

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class TypeMappable

class Object

trait Matchable

class Any

Known subtypes

object NoPrefix.type

trait NonEmptyPrefix

class PackageRef

trait TermReferenceType

class TermRef

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType

Show all