VerifyTypes

slick.compiler.VerifyTypes
class VerifyTypes(after: Option[Phase]) extends Phase

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

Attributes

Source:
VerifyTypes.scala
Graph
Supertypes
trait Phase
trait Logging
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

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.

Attributes

Inherited from:
Phase
Source:
QueryCompiler.scala

Value members

Concrete methods

Run the phase

Run the phase

Attributes

Source:
VerifyTypes.scala
def check(tree: Node): Node

Attributes

Source:
VerifyTypes.scala

Inherited methods

def andThen[A](g: CompilerState => A): T1 => A

Attributes

Inherited from:
Function1
def compose[A](g: A => CompilerState): A => R

Attributes

Inherited from:
Function1
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Function1 -> Any
Inherited from:
Function1

Concrete fields

val name: String

The unique name of the phase

The unique name of the phase

Attributes

Source:
VerifyTypes.scala