PolyFunctionOf

dotty.tools.dotc.core.Definitions.PolyFunctionOf

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def unapply(ft: Type)(using Context): Option[PolyType]

Matches a refined PolyFunction type and extracts the apply info.

Matches a refined PolyFunction type and extracts the apply info.

Pattern: PolyFunction { def apply: $pt }

Attributes