caps

scala.caps
object caps

Attributes

Experimental
true
Source
caps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
caps.type

Members list

Type members

Classlikes

class Cap

Attributes

Source
caps.scala
Supertypes
class Object
trait Matchable
class Any
object unsafe

Attributes

Source
caps.scala
Supertypes
class Object
trait Matchable
class Any
Self type
unsafe.type

Value members

Concrete fields

val cap: Cap

The universal capture reference

The universal capture reference

Attributes

Source
caps.scala

Deprecated fields

val *: Cap

The universal capture reference (deprecated)

The universal capture reference (deprecated)

Attributes

Deprecated
true
Source
caps.scala

Givens

Givens

given given_Cap: Cap

Attributes

Source
caps.scala

Extensions

Extensions

extension (x: Any)

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