package typechecker

Content Hierarchy Learn more about scaladoc diagrams
  1. Public
  2. All

Type Members

  1. trait Adaptations extends AnyRef

    This trait provides logic for assessing the validity of argument adaptations, such as tupling, unit-insertion, widening, etc.

  2. trait Analyzer extends Contexts with Namers with Typers with Infer with Implicits with EtaExpansion with SyntheticMethods with Unapplies with Macros with NamesDefaults with TypeDiagnostics with ContextErrors with StdAttachments with AnalyzerPlugins

    The main attribution phase.

  3. trait AnalyzerPlugins extends AnyRef

  4. trait Checkable extends AnyRef

    On pattern matcher checkability:

  5. abstract class ConstantFolder extends AnyRef

    This class .

  6. trait ContextErrors extends AnyRef

  7. final class ContextMode extends AnyVal

    A value class to carry the boolean flags of a context, such as whether errors should be buffered or reported.

  8. trait Contexts extends AnyRef

  9. trait DestructureTypes extends AnyRef

    A generic means of breaking down types into their subcomponents.

  10. abstract class Duplicators extends Analyzer

    Duplicate trees and re-type check them, taking care to replace and create fresh symbols for new local definitions.

  11. trait EtaExpansion extends AnyRef

    This trait .

  12. final class Fingerprint extends AnyVal

  13. trait Implicits extends AnyRef

    This trait provides methods to find various kinds of implicits.

  14. trait Infer extends Checkable

    This trait contains methods related to type parameter inference.

  15. trait Macros extends FastTrack with MacroRuntimes with Traces with Helpers

    Code to deal with macros, namely with: * Compilation of macro definitions * Expansion of macro applications

  16. trait MethodSynthesis extends AnyRef

    Logic related to method synthesis which involves cooperation between Namer and Typer.

  17. trait Namers extends MethodSynthesis

    This trait declares methods to create symbols and to enter them into scopes.

  18. trait NamesDefaults extends AnyRef

  19. trait PatternTypers extends AnyRef

    A pattern match such as

  20. abstract class RefChecks extends SubComponent with InfoTransform with reflect.internal.transform.RefChecks

    Post-attribution checking and transformation.

  21. trait StdAttachments extends AnyRef

  22. trait StructuredTypeStrings extends DestructureTypes

    A more principled system for turning types into strings.

  23. abstract class SuperAccessors extends SubComponent with Transform with TypingTransformers

    This phase adds super accessors for all super calls that either appear in a trait or have as a target a member of some outer class.

  24. trait SyntheticMethods extends TreeDSL

    Synthetic method implementations for case classes and case objects.

  25. trait Tags extends AnyRef

  26. abstract class TreeCheckers extends Analyzer

  27. trait TypeDiagnostics extends AnyRef

    An interface to enable higher configurability of diagnostic messages regarding type errors.

  28. trait TypeStrings extends AnyRef

    Logic for turning a type into a String.

  29. trait Typers extends Adaptations with Tags with TypersTracking with PatternTypers

    This trait provides methods to assign types to trees.

  30. trait TypersTracking extends AnyRef

  31. trait Unapplies extends TreeDSL

Value Members

  1. object ContextMode

  2. object Fingerprint

  3. object ImplicitsStats

  4. object MacrosStats

  5. object TypeStrings extends TypeStrings

  6. object TypersStats