Deriver

dotty.tools.dotc.typer.Deriving.Deriver
class Deriver(cls: ClassSymbol, codePos: SrcPos)(using x$3: Context)

A helper class to derive type class instances for one class or object

Value parameters

cls

The class symbol of the class or object with a derives clause

codePos

The default position that should be given to generic synthesized infrastructure code that is not connected with a derives instance.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def enterDerived(derived: List[Tree]): Unit

Create symbols for derived instances and infrastructure, append them to synthetics buffer, and enter them into class scope. Also, add generic instances if needed.

Create symbols for derived instances and infrastructure, append them to synthetics buffer, and enter them into class scope. Also, add generic instances if needed.

Attributes

def finalize(stat: TypeDef): Tree

The synthesized type class instance definitions

The synthesized type class instance definitions

Attributes