Separate
scala.caps.Separate
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
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Known subtypes
In this article