SemanticAnalysis

Type Members

type Annotations = (List[Option[Synthetic]], Provenance)
case class BindingScope(scope: Map[String, SqlRelation[Unit]]) extends Product with Serializable
type Failure = NonEmptyList[SemanticError]
sealed trait Provenance extends AnyRef
trait ProvenanceInstances extends AnyRef
case class Scope(tableScope: TableScope, bindingScope: BindingScope) extends Product with Serializable
sealed trait Synthetic extends AnyRef
case class TableScope(scope: Map[String, SqlRelation[Unit]]) extends Product with Serializable
type ValidSem[A] = Validation[NonEmptyList[SemanticError], A]

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def AllPhases[T[_[_]]](expr: T[Sql])(implicit arg0: Recursive[T], arg1: Corecursive[T]): \/[NonEmptyList[SemanticError], Cofree[Sql, Annotations]]
object Provenance extends ProvenanceInstances
implicit val ShowBindingScope: Show[BindingScope]
implicit def ShowTableScope: Show[TableScope]
object Synthetic
def addAnnotations[T[_[_]]](implicit arg0: Corecursive[T]): ElgotAlgebraM[[β]((Scope, T[Sql]), β), [β]\/[NonEmptyList[SemanticError], β], Sql, Cofree[Sql, Annotations]]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def inferProvenanceƒ[T[_[_]]](implicit arg0: Corecursive[T]): ElgotAlgebraM[[β](Scope, β), ValidSem, Sql, Provenance]

This phase infers the provenance of every expression, issuing errors if identifiers are used with unknown provenance.
This phase infers the provenance of every expression, issuing errors if identifiers are used with unknown provenance. The phase requires TableScope and BindingScope annotations on the tree.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def projectSortKeysƒ[T[_[_]]](implicit arg0: Recursive[T], arg1: Corecursive[T]): (Sql[T[Sql]]) ⇒ Option[Sql[T[Sql]]]

Inserts synthetic fields into the projections of each select stmt to hold the values that will be used in sorting, and annotates each new projection with Synthetic.SortKey.
Inserts synthetic fields into the projections of each select stmt to hold the values that will be used in sorting, and annotates each new projection with Synthetic.SortKey. The compiler will generate a step to remove these fields after the sort operation.
def scopeTablesƒ[T[_[_]]](implicit arg0: Recursive[T]): CoalgebraM[ValidSem, Sql, (Scope, T[Sql])]

This analysis identifies all the named tables within scope at each node in the tree.
This analysis identifies all the named tables within scope at each node in the tree. If two tables are given the same name within the same scope, then because this leads to an ambiguity, an error is produced containing details on the duplicate name.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val synthElgotMƒ: ElgotAlgebraM[[β](Scope, β), ValidSem, Sql, List[Option[Synthetic]]]
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object SemanticAnalysis | package quasar

trait SemanticAnalysis extends AnyRef

Type Members

type Annotations = (List[Option[Synthetic]], Provenance)

case class BindingScope(scope: Map[String, SqlRelation[Unit]]) extends Product with Serializable

type Failure = NonEmptyList[SemanticError]

sealed trait Provenance extends AnyRef

trait ProvenanceInstances extends AnyRef

case class Scope(tableScope: TableScope, bindingScope: BindingScope) extends Product with Serializable

sealed trait Synthetic extends AnyRef

case class TableScope(scope: Map[String, SqlRelation[Unit]]) extends Product with Serializable

type ValidSem[A] = Validation[NonEmptyList[SemanticError], A]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def AllPhases[T[_[_]]](expr: T[Sql])(implicit arg0: Recursive[T], arg1: Corecursive[T]): \/[NonEmptyList[SemanticError], Cofree[Sql, Annotations]]

object Provenance extends ProvenanceInstances

implicit val ShowBindingScope: Show[BindingScope]

implicit def ShowTableScope: Show[TableScope]

object Synthetic

def addAnnotations[T[_[_]]](implicit arg0: Corecursive[T]): ElgotAlgebraM[[β]((Scope, T[Sql]), β), [β]\/[NonEmptyList[SemanticError], β], Sql, Cofree[Sql, Annotations]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def inferProvenanceƒ[T[_[_]]](implicit arg0: Corecursive[T]): ElgotAlgebraM[[β](Scope, β), ValidSem, Sql, Provenance]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def projectSortKeysƒ[T[_[_]]](implicit arg0: Recursive[T], arg1: Corecursive[T]): (Sql[T[Sql]]) ⇒ Option[Sql[T[Sql]]]

def scopeTablesƒ[T[_[_]]](implicit arg0: Recursive[T]): CoalgebraM[ValidSem, Sql, (Scope, T[Sql])]

final def synchronized[T0](arg0: ⇒ T0): T0

val synthElgotMƒ: ElgotAlgebraM[[β](Scope, β), ValidSem, Sql, List[Option[Synthetic]]]

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped