caps
scala.caps
object caps
Attributes
- Experimental
- true
- Source
- caps.scala
- Graph
-
- Supertypes
- Self type
-
caps.type
Members list
Value members
Concrete fields
The universal capture reference
Deprecated fields
The universal capture reference (deprecated)
Givens
Givens
Attributes
- Source
- caps.scala
Extensions
Extensions
extension (x: Any)
Reach capabilities x* which appear as terms in @retains annotations are encoded as caps.reachCapability(x). When converted to CaptureRef types in capture sets they are represented as x.type @annotation.internal.reachCapability.
Reach capabilities x* which appear as terms in @retains annotations are encoded as caps.reachCapability(x). When converted to CaptureRef types in capture sets they are represented as x.type @annotation.internal.reachCapability.
Attributes
- Source
- caps.scala
In this article