Pure (original) (raw)

Scala 3/scala/Pure

scala.Pure

trait Pure

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.

Attributes

Experimental

true

Source

Pure.scala

Graph

Supertypes

class Object

trait Matchable

class Any

Self type

Pure

In this article

• Attributes

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL