Scala 3
3.8.0
LearnInstallPlaygroundFind A LibraryCommunityBlog
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
Scala 3/scala/scala.quoted/Quotes/reflectModule/RefinedModule

RefinedModule

scala.quoted.Quotes.reflectModule.RefinedModule
trait RefinedModule

Methods of the module object val Refined.

Attributes

Source
Quotes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Quotes.this.reflectModule.this.Refined.type

Members list

Value members

Abstract methods

def apply(tpt: Quotes.this.reflectModule.this.TypeTree, refinements: List[Quotes.this.reflectModule.this.Definition], refineCls: Quotes.this.reflectModule.this.Symbol): Quotes.this.reflectModule.this.Refined

Creates and types a Refined AST node.

Creates and types a Refined AST node.

Value parameters

refineCls
  • symbol of the class of which the refinement definitions originally come from
refinements
  • List of definitions represesenting refinements
tpt
  • parent type being refined

Attributes

Source
Quotes.scala
def copy(original: Quotes.this.reflectModule.this.Tree)(tpt: Quotes.this.reflectModule.this.TypeTree, refinements: List[Quotes.this.reflectModule.this.Definition]): Quotes.this.reflectModule.this.Refined

Attributes

Source
Quotes.scala
def unapply(x: Quotes.this.reflectModule.this.Refined): (Quotes.this.reflectModule.this.TypeTree, List[Quotes.this.reflectModule.this.Definition])

Attributes

Source
Quotes.scala
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL