scala-library-sjs
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala-library-sjs/scala/scala.quoted/Quotes/reflectModule/RefinedModule

RefinedModule

scala.quoted.Quotes.reflectModule.RefinedModule
trait RefinedModule

Methods of the module object val Refined

Attributes

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

Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL