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