scala.Pure.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scala3-library_3 Show documentation

scala3-library-bootstrapped

The newest version!

package scala
import annotation.experimental

/** A marker trait that declares that all inheriting classes are "pure" in the
 *  sense that their values retain no capabilities including capabilities needed
 *  to perform effects. This has formal meaning only under capture checking.
 */
@experimental trait Pure:
  this: Pure =>