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 type constraint expressing that the capture set C needs to contain the capability R
A type constraint expressing that the capture set C needs to contain the capability R
Attributes
- Source
- caps.scala
- Supertypes
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
A wrapper indicating a type variable in a capture argument list of a
Concrete fields
The universal capture reference
Deprecated fields
The universal capture reference (deprecated)
Givens
Givens
The only implementation of Contains. The constraint that {R} <: C is added separately by the capture checker.
The only implementation of Contains. The constraint that {R} <: C is added separately by the capture checker.
Attributes
- Source
- caps.scala
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