internal
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Self type
-
internal.type
Members list
Type members
Classlikes
An internal annotation placed on a refinement created by capture checking. Refinements with this annotation unconditionally override any info from the parent type, so no intersection needs to be formed. This could be useful for tracked parameters as well.
An internal annotation placed on a refinement created by capture checking. Refinements with this annotation unconditionally override any info from the parent type, so no intersection needs to be formed. This could be useful for tracked parameters as well.
Attributes
- Source
- package.scala
- Supertypes
An annotation used internally for root capability wrappers of cap that represent either Fresh or Result capabilities. A capability is encoded as caps.cap @rootCapability(...) where rootCapability(...) is a special kind of annotation of type root.Annot that contains either a hidden set for Fresh instances or a method type binder for Result instances.
An annotation used internally for root capability wrappers of cap that represent either Fresh or Result capabilities. A capability is encoded as caps.cap @rootCapability(...) where rootCapability(...) is a special kind of annotation of type root.Annot that contains either a hidden set for Fresh instances or a method type binder for Result instances.
Attributes
- Source
- package.scala
- Supertypes
Value members
Concrete methods
A wrapper indicating a type variable in a capture argument list of a
A wrapper indicating a type variable in a capture argument list of a
Attributes
- Source
- package.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
- package.scala
Read-only capabilities x.rd which appear as terms in @retains annotations are encoded as caps.readOnlyCapability(x). When converted to CaptureRef types in capture sets they are represented as x.type @annotation.internal.readOnlyCapability.
Read-only capabilities x.rd which appear as terms in @retains annotations are encoded as caps.readOnlyCapability(x). When converted to CaptureRef types in capture sets they are represented as x.type @annotation.internal.readOnlyCapability.
Attributes
- Source
- package.scala