internal
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Self type
-
internal.type
Members list
Type members
Classlikes
A trait for capabilities representing usage of mutable vars in capture sets.
A trait for capabilities representing usage of mutable vars in capture sets.
Type parameters
- T
-
the type of the mutable variable's value
Attributes
- Source
- package.scala
- Supertypes
-
trait Mutabletrait Unscopedtrait Classifiertrait ExclusiveCapabilitytrait Capabilitytrait Statefulclass Objecttrait Matchableclass AnyShow all
An annotation to reflect that a parameter or method carries the consume soft modifier.
An annotation to reflect that a parameter or method carries the consume soft modifier.
Attributes
- Source
- package.scala
- Supertypes
An annotation on a type indicating that the type was declared. Added during PostTyper when we want to mark types of closure parameters as explicit, even if the closure type as a whole is inferred.
An annotation on a type indicating that the type was declared. Added during PostTyper when we want to mark types of closure parameters as explicit, even if the closure type as a whole is inferred.
Attributes
- Source
- package.scala
- Supertypes
An annotation on a type indicating that the type was inferred. Added during inlining when we want to mark portions of an otherwise explicit type as inferred.
An annotation on a type indicating that the type was inferred. Added during inlining when we want to mark portions of an otherwise explicit type as inferred.
Attributes
- Source
- package.scala
- Supertypes
An internal annotation placed on a parameter of a secondary constructor that gets forwarded indirectly or directly to a parameter of the corresponding primary constructor.
An internal annotation placed on a parameter of a secondary constructor that gets forwarded indirectly or directly to a parameter of the corresponding primary constructor.
Value parameters
- parmName
-
the name of the primary constructor parameter
Attributes
- Source
- package.scala
- Supertypes
Value members
Concrete methods
An erasedValue issued internally by the compiler. Unlike the user-accessible compiletime.erasedValue, this version is assumed to be a pure expression, hence capability safe. The compiler generates this version only where it is known that a value can be generated.
An erasedValue issued internally by the compiler. Unlike the user-accessible compiletime.erasedValue, this version is assumed to be a pure expression, hence capability safe. The compiler generates this version only where it is known that a value can be generated.
Type parameters
- T
-
the type of the erased value to produce
Attributes
- Source
- package.scala