quasar

Type Members

final case class BinaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._2], simplify: Simplifier, typer0: Typer[shapeless.Nat._2], untyper0: Untyper[shapeless.Nat._2]) extends GenericFunc[shapeless.Nat._2] with Product with Serializable
type CompileM[A] = EitherT[PhaseResultW, SemanticErrors, A]
trait Compiler[F[_]] extends AnyRef
sealed trait Data extends AnyRef
trait DataCodec extends AnyRef
trait DataEncodingError extends AnyRef
sealed trait DimensionalEffect extends AnyRef
type EnvErr[A] = Failure[EnvironmentError, A]
type EnvErrT[F[_], A] = EitherT[F, EnvironmentError, A]
sealed trait EnvironmentError extends AnyRef
trait FuncInstances extends AnyRef
implicit final class FuncUtils[A, N <: Nat] extends AnyVal
abstract class GenericFunc[N <: Nat] extends AnyRef
sealed trait JoinDir extends AnyRef
sealed trait LogicalPlan[A] extends AnyRef
trait NameGenerator[F[_]] extends Serializable

A source of strings unique within F[_], an implementation must have the property that, if Applicative[F], then (freshName |@| freshName)(_ != _).
sealed trait PhaseResult extends AnyRef
type PhaseResultT[F[_], A] = WriterT[F, PhaseResults, A]
type PhaseResultW[A] = WriterT[scalaz.Id.Id, PhaseResults, A]
type PhaseResults = Vector[PhaseResult]
type SaltedSeqNameGeneratorT[F[_], A] = Kleisli[[β$0$]IndexedStateT[F, Long, Long, β$0$], String, A]
sealed trait SemanticError extends AnyRef
type SemanticErrors = NonEmptyList[SemanticError]
type SemanticErrsT[F[_], A] = EitherT[F, SemanticErrors, A]
type SeqNameGeneratorT[F[_], A] = IndexedStateT[F, Long, Long, A]
final case class TernaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._3], simplify: Simplifier, typer0: Typer[shapeless.Nat._3], untyper0: Untyper[shapeless.Nat._3]) extends GenericFunc[shapeless.Nat._3] with Product with Serializable
sealed trait Type extends AnyRef
trait TypeInstances extends AnyRef
final case class UnaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._1], simplify: Simplifier, typer0: Typer[shapeless.Nat._1], untyper0: Untyper[shapeless.Nat._1]) extends GenericFunc[shapeless.Nat._1] with Product with Serializable
final case class VarName(value: String) extends Product with Serializable
final case class VarValue(value: String) extends Product with Serializable
final case class Variables(value: Map[VarName, VarValue]) extends Product with Serializable

Value Members

object Compiler
object Data
object DataCodec
object DataEncodingError
object DimensionalEffect
object EnvironmentError
object Expansion extends DimensionalEffect with Product with Serializable

Describes a function that expands a compound value into a set of values for an operation.
object Func extends FuncInstances
object JoinDir
object LogicalPlan
object Mapping extends DimensionalEffect with Product with Serializable

Describes a function that each individual value.
object NameGenerator extends Serializable
object Optimizer
object PhaseResult
object Planner
object Reduction extends DimensionalEffect with Product with Serializable

Describes a function that reduces a set of values to a single value.
object SemanticAnalysis
object SemanticError
object Sifting extends DimensionalEffect with Product with Serializable

Describes a function that operates on the set containing values, not modifying individual values.
Describes a function that operates on the set containing values, not modifying individual values. (EG, filter, sort, take)
object Squashing extends DimensionalEffect with Product with Serializable

Describes a function that compresses the identity information.
object Transformation extends DimensionalEffect with Product with Serializable

Describes a function that operates on the set containing values, potentially modifying individual values.
Describes a function that operates on the set containing values, potentially modifying individual values. (EG, joins).
object Type extends TypeInstances
object Variables extends Serializable
def addOffsetLimit[T[_[_]]](lp: T[LogicalPlan], off: Natural, lim: Option[Positive])(implicit arg0: Corecursive[T]): T[LogicalPlan]
package config
package fp
package fs
package namegen
def precompile(query: Fix[Sql], vars: Variables, basePath: ADir)(implicit RT: RenderTree[Fix[Sql]]): CompileM[Fix[LogicalPlan]]

Compiles a query into raw LogicalPlan, which has not yet been optimized or typechecked.
def preparePlan(lp: Fix[LogicalPlan]): CompileM[Fix[LogicalPlan]]

Optimizes and typechecks a LogicalPlan returning the improved plan.
package qscript

Here we no longer care about provenance.
Here we no longer care about provenance. Backends can’t do anything with it, so we simply represent joins and crosses directly. This also means that we don’t need to model certain things – project_d is just a data-level function, nest_d & swap_d only modify provenance and so are irrelevant here, and autojoin_d has been replaced with a lower-level join operation that doesn’t include the cross portion.
def queryPlan(query: Fix[Sql], vars: Variables, basePath: ADir, off: Natural, lim: Option[Positive]): CompileM[\/[List[Data], Fix[LogicalPlan]]]

Returns the LogicalPlan for the given SQL^2 query, or a list of results, if the query was foldable to a constant.
def refineConstantPlan(lp: Fix[LogicalPlan]): \/[List[Data], Fix[LogicalPlan]]

Identify plans which reduce to a (set of) constant value(s).
package sql
package std

package quasar

Type Members

final case class BinaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._2], simplify: Simplifier, typer0: Typer[shapeless.Nat._2], untyper0: Untyper[shapeless.Nat._2]) extends GenericFunc[shapeless.Nat._2] with Product with Serializable

type CompileM[A] = EitherT[PhaseResultW, SemanticErrors, A]

trait Compiler[F[_]] extends AnyRef

sealed trait Data extends AnyRef

trait DataCodec extends AnyRef

trait DataEncodingError extends AnyRef

sealed trait DimensionalEffect extends AnyRef

type EnvErr[A] = Failure[EnvironmentError, A]

type EnvErrT[F[_], A] = EitherT[F, EnvironmentError, A]

sealed trait EnvironmentError extends AnyRef

trait FuncInstances extends AnyRef

implicit final class FuncUtils[A, N <: Nat] extends AnyVal

abstract class GenericFunc[N <: Nat] extends AnyRef

sealed trait JoinDir extends AnyRef

sealed trait LogicalPlan[A] extends AnyRef

trait NameGenerator[F[_]] extends Serializable

sealed trait PhaseResult extends AnyRef

type PhaseResultT[F[_], A] = WriterT[F, PhaseResults, A]

type PhaseResultW[A] = WriterT[scalaz.Id.Id, PhaseResults, A]

type PhaseResults = Vector[PhaseResult]

type SaltedSeqNameGeneratorT[F[_], A] = Kleisli[[β$0$]IndexedStateT[F, Long, Long, β$0$], String, A]

sealed trait SemanticError extends AnyRef

type SemanticErrors = NonEmptyList[SemanticError]

type SemanticErrsT[F[_], A] = EitherT[F, SemanticErrors, A]

type SeqNameGeneratorT[F[_], A] = IndexedStateT[F, Long, Long, A]

final case class TernaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._3], simplify: Simplifier, typer0: Typer[shapeless.Nat._3], untyper0: Untyper[shapeless.Nat._3]) extends GenericFunc[shapeless.Nat._3] with Product with Serializable

sealed trait Type extends AnyRef

trait TypeInstances extends AnyRef

final case class UnaryFunc(effect: DimensionalEffect, name: String, help: String, codomain: Codomain, domain: Domain[shapeless.Nat._1], simplify: Simplifier, typer0: Typer[shapeless.Nat._1], untyper0: Untyper[shapeless.Nat._1]) extends GenericFunc[shapeless.Nat._1] with Product with Serializable

final case class VarName(value: String) extends Product with Serializable

final case class VarValue(value: String) extends Product with Serializable

final case class Variables(value: Map[VarName, VarValue]) extends Product with Serializable

Value Members

object Compiler

object Data

object DataCodec

object DataEncodingError

object DimensionalEffect

object EnvironmentError

object Expansion extends DimensionalEffect with Product with Serializable

object Func extends FuncInstances

object JoinDir

object LogicalPlan

object Mapping extends DimensionalEffect with Product with Serializable

object NameGenerator extends Serializable

object Optimizer

object PhaseResult

object Planner

object Reduction extends DimensionalEffect with Product with Serializable

object SemanticAnalysis

object SemanticError

object Sifting extends DimensionalEffect with Product with Serializable

object Squashing extends DimensionalEffect with Product with Serializable

object Transformation extends DimensionalEffect with Product with Serializable

object Type extends TypeInstances

object Variables extends Serializable

def addOffsetLimit[T[_[_]]](lp: T[LogicalPlan], off: Natural, lim: Option[Positive])(implicit arg0: Corecursive[T]): T[LogicalPlan]

package config

package fp

package fs

package namegen

def precompile(query: Fix[Sql], vars: Variables, basePath: ADir)(implicit RT: RenderTree[Fix[Sql]]): CompileM[Fix[LogicalPlan]]

def preparePlan(lp: Fix[LogicalPlan]): CompileM[Fix[LogicalPlan]]

package qscript

def queryPlan(query: Fix[Sql], vars: Variables, basePath: ADir, off: Natural, lim: Option[Positive]): CompileM[\/[List[Data], Fix[LogicalPlan]]]

def refineConstantPlan(lp: Fix[LogicalPlan]): \/[List[Data], Fix[LogicalPlan]]

package sql

package std

Inherited from AnyRef

Inherited from Any

Ungrouped