caps
Attributes
- Experimental
- true
- Source
- caps.scala
- Graph
-
- Supertypes
- Self type
-
caps.type
Members list
Type members
Classlikes
Carrier trait for capture set type parameters
Attributes
- Source
- caps.scala
- Supertypes
-
class Any
- Known subtypes
A trait to allow expressing existential types such as
A trait to allow expressing existential types such as
(x: Exists) => A ->{x} B
Attributes
- Source
- caps.scala
- Supertypes
This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
Attributes
- Source
- caps.scala
- Supertypes
Attributes
- Source
- caps.scala
- Supertypes
- Self type
-
unsafe.type
This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
Attributes
- Source
- caps.scala
- Supertypes
Deprecated types
Attributes
- Deprecated
- true
- Source
- caps.scala
Value members
Concrete methods
Attributes
- Source
- caps.scala
Concrete fields
The universal capture reference
Deprecated fields
The universal capture reference (deprecated)
Extensions
Extensions
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