Scala 3
3.10.0-RC1-bin-20260725-a036a3a-NIGHTLY
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/TypeApplyModule

TypeApplyModule

scala.quoted.Quotes.reflectModule.TypeApplyModule
trait TypeApplyModule

Methods of the module object val TypeApply.

Attributes

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

Members list

Value members

Abstract methods

def apply(fun: Quotes.this.reflectModule.this.Term, args: List[Quotes.this.reflectModule.this.TypeTree]): Quotes.this.reflectModule.this.TypeApply

Creates a function type application [].

Creates a function type application [].

Value parameters

args

the type argument trees

fun

the function being applied

Attributes

Returns

a TypeApply tree representing fun[args]

Source
Quotes.scala
def copy(original: Quotes.this.reflectModule.this.Tree)(fun: Quotes.this.reflectModule.this.Term, args: List[Quotes.this.reflectModule.this.TypeTree]): Quotes.this.reflectModule.this.TypeApply

Attributes

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

Matches a function type application [].

Matches a function type application [].

Value parameters

x

the TypeApply to match against

Attributes

Returns

a tuple of the applied function and its type argument trees

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