NonEmptyPrefix

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

trait Prefix

class TypeMappable

class Object

trait Matchable

class Any

Known subtypes

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

trait SingletonType

class SkolemType

class SuperType

class ThisType

Show all