Dotty Documentation

0.5.0-bin-SNAPSHOT

object Applications
extends Object

[-] Constructors

[-] Members

[+] def extractorMember ( tp: Type , name: Name ) ( implicit ctx: Context ) : SingleDenotation
[+] def extractorMemberType ( tp: Type , name: Name , errorPos: Position ) ( implicit ctx: Context ) : Type
[+] def getUnapplySelectors ( tp: Type , args: List [ Tree ] , pos: Position ) ( implicit ctx: Context ) : List [ Type ]
[+] def isGetMatch ( tp: Type , errorPos: Position ) ( implicit ctx: Context ) : Boolean

Does tp fit the "get match" conditions as an unapply result type? This is the case of tp has a get member as well as a parameterless isDefined member of result type Boolean.

[+] def isProductMatch ( tp: Type , numArgs: Int ) ( implicit ctx: Context ) : Boolean

Does tp fit the "product match" conditions as an unapply result type for a pattern with numArgs subpatterns? This is the case of tp has members _1 to _N where N == numArgs.

[+] def productArity ( tp: Type ) ( implicit ctx: Context ) : Int
[+] def productSelectorTypes ( tp: Type , errorPos: Position ) ( implicit ctx: Context ) : List [ Type ]
[+] def productSelectors ( tp: Type ) ( implicit ctx: Context ) : List [ Symbol ]
[+] def unapplyArgs ( unapplyResult: Type , unapplyFn: Tree , args: List [ Tree ] , pos: Position ) ( implicit ctx: Context ) : List [ Type ]
[+] def wrapDefs ( defs: ListBuffer [ Tree ] , tree: Tree ) ( implicit ctx: Context ) : Tree