rootCapability
scala.caps.internal.rootCapability
final class rootCapability extends StaticAnnotation
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
- Graph
-
- Supertypes
In this article