internal (original) (raw)

scala.caps.internal

Attributes

Experimental

true

Source

package.scala

Graph

Supertypes

Self type

Members list

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

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

In this article