TypeOrMethodic

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class TermType

class TypeMappable

class Object

trait Matchable

class Any

Known subtypes

trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

class MethodicType

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 TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TermRef

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

trait SingletonType

class SkolemType

class SuperType

class ThisType

Show all