Separate
scala.caps.Separate
trait Separate extends Stateful, ExclusiveCapability
Marker trait for classes that produce fresh capabilities with their values. If a value of a type extending Separate is created, a fresh any is automatically added to the value's capture set.
Attributes
- Deprecated
- true
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
In this article