All Downloads are FREE. Search and download functionalities are using the official Maven repository.

scala.annotation.capability.scala Maven / Gradle / Ivy

There is a newer version: 3.6.3-RC1-bin-20241119-cc4a324-NIGHTLY
Show newest version
package scala.annotation
import annotation.experimental

/** Marks an annotated class as a capability.
 *  If the annotation is present and -Ycc is set, any (possibly aliased
 *  or refined) instance of the class type is implicitly augmented with
 *  the universal capture set. Example
 *
 *    @capability class CanThrow[T]
 *
 *  THere, the capture set of any instance of `CanThrow` is assumed to be
 *  `{*}`.
 */
@experimental
@deprecated("To make a class a capability, let it derive from the `Capability` trait instead")
final class capability extends StaticAnnotation




© 2015 - 2024 Weber Informatics LLC | Privacy Policy