Sharable

scala.caps.Sharable

trait Sharable extends Capability, Classifier

Marker trait for capabilities that can be safely shared in a concurrent context. During separation checking, shared capabilities are not taken into account.

Attributes

Experimental: true
Source: package.scala
Graph
Supertypes: trait Classifier

trait Capability

class Object

trait Matchable

class Any
Known subtypes: trait Control

class CanThrow[E]

In this article

Generated with