Dotty Documentation

0.17.0-bin-SNAPSHOT

package scala.internal

[-] Constructors

[-] Members

[+] package scala.internal.quoted
[+] object Chars

Contains constants and classifier methods for characters

[+] final abstract class MatchCase

A type constructor for a case in a match type.

[+] object Quoted
[+] object TupledFunction
[+] final abstract class TypeBox

A type for skolems that are generated during capture conversion. Capture conversion narrows the type of a tree whose type has wildcard arguments. A typical situation is a tree t of type C[_ >: L <: U] and an expected type C[X] where X is an instantiatable type variable. To be able to instantiate X, we cast the tree to type X[$n.CAP] where $n is a fresh skolem type with underlying type TypeBox[L, U].