scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.typer/Implicits/hasSkolem

hasSkolem

dotty.tools.dotc.typer.Implicits.hasSkolem
object hasSkolem extends TreeAccumulator[Boolean]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
hasSkolem.type

Members list

Value members

Concrete methods

def apply(x: Boolean, tree: Tree)(using Context): Boolean

Inherited methods

def apply(x: Boolean, trees: List[Tree])(using Context): Boolean

Attributes

Inherited from:
TreeAccumulator
def foldMoreCases(x: Boolean, tree: Tree)(using Context): Boolean

Attributes

Inherited from:
TreeAccumulator
def foldOver(x: Boolean, tree: Tree)(using Context): Boolean

Attributes

Inherited from:
TreeAccumulator
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL