caps
scala.caps
object caps
Attributes
- Experimental
- true
- Source
- caps.scala
- Graph
-
- Supertypes
- Self type
-
caps.type
Members list
Type members
Classlikes
trait Capability
Attributes
- Source
- caps.scala
- Supertypes
-
class Any
- Known subtypes
-
class CanThrow[E]
Deprecated types
Attributes
- Deprecated
- true
- Source
- caps.scala
Value members
Concrete fields
The universal capture reference
Deprecated fields
The universal capture reference (deprecated)
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