scala3-compiler-bootstrapped/dotty.tools.dotc.ast/TreeInfo

TreeInfo

object TreeInfo
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

final class PurityLevel(val x: Int) extends AnyVal

A purity level is represented as a bitset (expressed as an Int)

A purity level is represented as a bitset (expressed as an Int)

Value members

Concrete fields

val Idempotent: PurityLevel

Running the expression a second time has no side effects. Implied by Pure.

Running the expression a second time has no side effects. Implied by Pure.

val IdempotentPath: PurityLevel

A stable path that is also idempotent

A stable path that is also idempotent

val Path: PurityLevel

An expression is a stable path. Requires that expression is at least idempotent

An expression is a stable path. Requires that expression is at least idempotent

val Pure: PurityLevel

The expression has no side effects

The expression has no side effects

val PurePath: PurityLevel

A stable path that is evaluated without side effects

A stable path that is evaluated without side effects