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

trait Capability

Attributes

Source
caps.scala
Supertypes
class Any
Known subtypes
class CanThrow[E]
object unsafe

Attributes

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

Deprecated types

type Cap = Capability

Attributes

Deprecated
true
Source
caps.scala

Value members

Concrete fields

The universal capture reference

The universal capture reference

Attributes

Source
caps.scala

Deprecated fields

val *: Capability

The universal capture reference (deprecated)

The universal capture reference (deprecated)

Attributes

Deprecated
true
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