caps

Carrier trait for capture set type parameters

A type constraint expressing that the capture set C needs to contain the capability R

An annotations on parameters and update methods. On a parameter it states that any capabilties passed in the argument are no longer available afterwards, unless they are of class SharableCapabilitty. On an update method, it states that the this of the enclosing class is consumed, which means that any capabilities of the method prefix are no longer available afterwards.

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 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.

This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases

An annotation on parameters x stating that the method's body makes use of the reach capability x*. Consequently, when calling the method we need to charge the deep capture set of the actual argiment to the environment.

Note: This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases

A trait that used to allow expressing existential types. Replaced by root.Result instances.

A wrapper indicating a type variable in a capture argument list of a

The universal capture reference

The universal capture reference (deprecated)

The only implementation of Contains. The constraint that {R} <: C is added separately by the capture checker.