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