ContextFunctionType
dotty.tools.dotc.core.Definitions.ContextFunctionType$
object ContextFunctionType
An extractor for context function types As ?=> B, possibly with dependent refinements. Optionally returns a triple consisting of the argument types As, the result type B and a whether the type is an erased context function.
Attributes
- Graph
-
- Supertypes
- Self type
-
ContextFunctionType.type
Members list
In this article