c

slick.compiler

VerifyTypes

class VerifyTypes extends Phase

Optional phase which verifies that retyping the tree does not change any types. Useful for debugging type-related problems with large trees.

Source
VerifyTypes.scala
Linear Supertypes
Phase, Logging, (CompilerState) => CompilerState, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VerifyTypes
  2. Phase
  3. Logging
  4. Function1
  5. AnyRef
  6. Any
Implicitly
  1. by StringFormat
  2. by Ensuring
  3. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new VerifyTypes(after: Option[Phase] = None)

Type Members

  1. abstract type State

    The immutable state of the phase that can also be accessed by other phases.

    The immutable state of the phase that can also be accessed by other phases.

    Definition Classes
    Phase

Value Members

  1. def andThen[A](g: (CompilerState) => A): (CompilerState) => A
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  2. def apply(state: CompilerState): CompilerState

    Run the phase

    Run the phase

    Definition Classes
    VerifyTypes → Phase → Function1
  3. def check(tree: Node): Node
  4. def compose[A](g: (A) => CompilerState): (A) => CompilerState
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  5. val name: String

    The unique name of the phase

    The unique name of the phase

    Definition Classes
    VerifyTypes → Phase
  6. def toString(): String
    Definition Classes
    Function1 → AnyRef → Any