TypeOrMethodic
tastyquery.Types$.TypeOrMethodic
sealed abstract class TypeOrMethodic extends TermType
A type or a methodic type.
Partitioned into Type and MethodicType.
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
trait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdaclass MethodicTypeclass Typetrait BoundTypetrait ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass GroundTypeclass AndTypeclass AnyKindTypeclass NothingTypeclass OrTypeclass TypeProxyclass AnnotatedTypeclass AppliedTypeclass ByNameTypeclass ConstantTypeclass MatchTypeclass NamedTypeclass TermRefclass TypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass SkolemTypeclass SuperTypeclass ThisType
Members list
In this article