Deriving

dotty.tools.dotc.typer.Deriving
trait Deriving

A typer mixin that implements type class derivation functionality

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Typer
class ReTyper
class Typer
class Checker
Self type

Members list

Concise view

Type members

Classlikes

class Deriver(cls: ClassSymbol, codePos: SrcPos)(using x$3: Context)

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

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

Attributes

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.

Graph
Supertypes
class Object
trait Matchable
class Any