sql

Type Members

final case class ArrayDeref[T[_[_]]](expr: T[Sql]) extends DerefType[T] with Product with Serializable
final case class ArrayLiteral[A] extends Sql[A] with Product with Serializable
sealed abstract class BinaryOperator extends AnyRef
final case class Binop[A] extends Sql[A] with Product with Serializable
final case class BoolLiteral[A] extends Sql[A] with Product with Serializable
final case class Case[A](cond: A, expr: A) extends Product with Serializable
sealed trait DerefType[T[_[_]]] extends AnyRef
final case class DimChange[T[_[_]]](unop: UnaryOperator) extends DerefType[T] with Product with Serializable
implicit class ExprOps[T[_[_]]] extends AnyRef
final case class ExprRelationAST[A](expr: A, aliasName: String) extends NamedRelation[A] with Product with Serializable
type FUPath = Path[_, File, Unsandboxed]
final case class FloatLiteral[A] extends Sql[A] with Product with Serializable
final case class GenericParsingError(message: String) extends ParsingError with Product with Serializable
final case class GroupBy[A](keys: List[A], having: Option[A]) extends Product with Serializable
final case class Ident[A] extends Sql[A] with Product with Serializable
final case class IdentRelationAST[A](name: String, alias: Option[String]) extends NamedRelation[A] with Product with Serializable

IdentRelationAST allows us to reference a let binding in relation (i.e.
IdentRelationAST allows us to reference a let binding in relation (i.e. table) context. ExprF.IdentF allows us to reference a let binding in expression context. Ideally we can unify these two contexts, providing a single way to reference a let binding.
final case class IntLiteral[A] extends Sql[A] with Product with Serializable
final case class InvokeFunction[A] extends Sql[A] with Product with Serializable
trait IsDistinct extends AnyRef
final case class JoinRelation[A](left: SqlRelation[A], right: SqlRelation[A], tpe: JoinType, clause: A) extends SqlRelation[A] with Product with Serializable
sealed abstract class JoinType extends AnyRef
final case class Let[A](name: String, form: A, body: A) extends Sql[A] with Product with Serializable
final case class MapLiteral[A] extends Sql[A] with Product with Serializable

Can’t be a Map, because we need to arbitrarily transform the key
final case class Match[A] extends Sql[A] with Product with Serializable
sealed trait NamedRelation[A] extends SqlRelation[A]
final case class NullLiteral[A] extends Sql[A] with Product with Serializable
final case class ObjectDeref[T[_[_]]](expr: T[Sql]) extends DerefType[T] with Product with Serializable
final case class OrderBy[A](keys: List[(OrderType, A)]) extends Product with Serializable
sealed trait OrderType extends AnyRef
sealed trait ParsingError extends AnyRef
final case class ParsingPathError(error: PathError) extends ParsingError with Product with Serializable
final case class Proj[A](expr: A, alias: Option[String]) extends Product with Serializable
final case class Query(value: String) extends Product with Serializable
final case class Select[A] extends Sql[A] with Product with Serializable
final case class SetLiteral[A] extends Sql[A] with Product with Serializable
final case class Splice[A] extends Sql[A] with Product with Serializable

Represents the wildcard in a select projection For instance: "select foo.* from example" => ...(Splice(Some(Ident("foo"))))...
Represents the wildcard in a select projection For instance: "select foo.* from example" => ...(Splice(Some(Ident("foo"))))... "select * from example" => ...(Splice(None))...
sealed trait Sql[A] extends AnyRef
sealed trait SqlRelation[A] extends AnyRef
final case class StringLiteral[A] extends Sql[A] with Product with Serializable
final case class Switch[A] extends Sql[A] with Product with Serializable
final case class TableRelationAST[A](tablePath: FUPath, alias: Option[String]) extends NamedRelation[A] with Product with Serializable
sealed abstract class UnaryOperator extends AnyRef
final case class Unop[A] extends Sql[A] with Product with Serializable
final case class Vari[A] extends Sql[A] with Product with Serializable
final case class VariRelationAST[A](vari: Vari[A], alias: Option[String]) extends NamedRelation[A] with Product with Serializable

Value Members

object ASC extends OrderType with Product with Serializable
object And extends BinaryOperator with Product with Serializable
object ArrayLiteral extends Serializable
object Binop extends Serializable
object BoolLiteral extends Serializable
object Case extends Serializable
object Concat extends BinaryOperator with Product with Serializable
def CrossRelation[T[_[_]]](left: SqlRelation[T[Sql]], right: SqlRelation[T[Sql]])(implicit arg0: Corecursive[T]): JoinRelation[T[Sql]]
object DESC extends OrderType with Product with Serializable
object Distinct extends UnaryOperator with Product with Serializable
object Div extends BinaryOperator with Product with Serializable
object Eq extends BinaryOperator with Product with Serializable
object Except extends BinaryOperator with Product with Serializable
object Exists extends UnaryOperator with Product with Serializable
object ExprRelationAST extends Serializable
implicit def ExprRelationRenderTree: ~>[RenderTree, [α]RenderTree[SqlRelation[α]]]
object FieldDeref extends BinaryOperator with Product with Serializable
object FlattenArrayIndices extends UnaryOperator with Product with Serializable
object FlattenArrayValues extends UnaryOperator with Product with Serializable
object FlattenMapKeys extends UnaryOperator with Product with Serializable
object FlattenMapValues extends UnaryOperator with Product with Serializable
object FloatLiteral extends Serializable
object FullJoin extends JoinType with Product with Serializable
object Ge extends BinaryOperator with Product with Serializable
object GroupBy extends Serializable
object Gt extends BinaryOperator with Product with Serializable
object Ident extends Serializable
object IdentRelationAST extends Serializable
object IfUndefined extends BinaryOperator with Product with Serializable
object In extends BinaryOperator with Product with Serializable
object IndexDeref extends BinaryOperator with Product with Serializable
object InnerJoin extends JoinType with Product with Serializable
object IntLiteral extends Serializable
object Intersect extends BinaryOperator with Product with Serializable
object IntersectAll extends BinaryOperator with Product with Serializable
object InvokeFunction extends Serializable
object JoinRelation extends Serializable
object Le extends BinaryOperator with Product with Serializable
object LeftJoin extends JoinType with Product with Serializable
object Let extends Serializable
object Limit extends BinaryOperator with Product with Serializable
object Lt extends BinaryOperator with Product with Serializable
object MapLiteral extends Serializable
object Match extends Serializable
object Minus extends BinaryOperator with Product with Serializable
object Mod extends BinaryOperator with Product with Serializable
object Mult extends BinaryOperator with Product with Serializable
object Negative extends UnaryOperator with Product with Serializable
object Neq extends BinaryOperator with Product with Serializable
object Not extends UnaryOperator with Product with Serializable
object NullLiteral extends Serializable
object Offset extends BinaryOperator with Product with Serializable
object Or extends BinaryOperator with Product with Serializable
object OrderBy extends Serializable
object ParsingError
object Plus extends BinaryOperator with Product with Serializable
object Positive extends UnaryOperator with Product with Serializable
object Pow extends BinaryOperator with Product with Serializable
object Proj extends Serializable
object Range extends BinaryOperator with Product with Serializable
object RightJoin extends JoinType with Product with Serializable
object Select extends Serializable
object SelectAll extends IsDistinct with Product with Serializable
object SelectDistinct extends IsDistinct with Product with Serializable
object SetLiteral extends Serializable
object ShiftArrayIndices extends UnaryOperator with Product with Serializable
object ShiftArrayValues extends UnaryOperator with Product with Serializable
object ShiftMapKeys extends UnaryOperator with Product with Serializable
object ShiftMapValues extends UnaryOperator with Product with Serializable
object Splice extends Serializable
object Sql
implicit val SqlRenderTree: ~>[RenderTree, [α]RenderTree[Sql[α]]]
object StringLiteral extends Serializable
object Switch extends Serializable
object TableRelationAST extends Serializable
object Union extends BinaryOperator with Product with Serializable
object UnionAll extends BinaryOperator with Product with Serializable
object Unop extends Serializable
object UnshiftArray extends UnaryOperator with Product with Serializable
object UnshiftMap extends UnaryOperator with Product with Serializable
object Vari extends Serializable
object VariRelationAST extends Serializable
def arrayLiteral[A]: Prism[Sql[A], List[A]]
def binop[A]: Prism[Sql[A], (A, A, BinaryOperator)]
def boolLiteral[A]: Prism[Sql[A], Boolean]
val fixParser: SQLParser[Fix]
def floatLiteral[A]: Prism[Sql[A], Double]
def ident[A]: Prism[Sql[A], String]
def intLiteral[A]: Prism[Sql[A], Long]
def invokeFunction[A]: Prism[Sql[A], (String, List[A])]
def let[A]: Prism[Sql[A], (String, A, A)]
def mapLiteral[A]: Prism[Sql[A], List[(A, A)]]
def mapPathsMƒ[F[_]](f: (FUPath) ⇒ F[FUPath])(implicit arg0: Monad[F]): ~>[Sql, [A]F[Sql[A]]]
def matc[A]: Prism[Sql[A], (A, List[Case[A]], Option[A])]
val muParser: SQLParser[Mu]
def normalizeƒ[T[_[_]]](implicit arg0: Corecursive[T]): (Sql[T[Sql]]) ⇒ Option[Sql[T[Sql]]]
def nullLiteral[A]: Prism[Sql[A], Unit]
def pprint[T[_[_]]](sql: T[Sql])(implicit arg0: Recursive[T]): String
def pprintRelation[T[_[_]]](r: SqlRelation[T[Sql]])(implicit arg0: Recursive[T]): String
def pprintƒ[T[_[_]]](implicit arg0: Recursive[T]): (Sql[(T[Sql], String)]) ⇒ String
def projectionNames[T[_[_]]](projections: List[Proj[T[Sql]]], relName: Option[String])(implicit arg0: Recursive[T]): \/[SemanticError, List[(String, T[Sql])]]
def select[A]: Prism[Sql[A], (IsDistinct, List[Proj[A]], Option[SqlRelation[A]], Option[A], Option[GroupBy[A]], Option[OrderBy[A]])]
def setLiteral[A]: Prism[Sql[A], List[A]]
def splice[A]: Prism[Sql[A], Option[A]]
def stringLiteral[A]: Prism[Sql[A], String]
def switch[A]: Prism[Sql[A], (List[Case[A]], Option[A])]
def traverseRelation[G[_], A, B](r: SqlRelation[A], f: (A) ⇒ G[B])(implicit G: Applicative[G]): G[SqlRelation[B]]
def unop[A]: Prism[Sql[A], (A, UnaryOperator)]
def vari[A]: Prism[Sql[A], String]

package sql

Type Members

final case class ArrayDeref[T[_[_]]](expr: T[Sql]) extends DerefType[T] with Product with Serializable

final case class ArrayLiteral[A] extends Sql[A] with Product with Serializable

sealed abstract class BinaryOperator extends AnyRef

final case class Binop[A] extends Sql[A] with Product with Serializable

final case class BoolLiteral[A] extends Sql[A] with Product with Serializable

final case class Case[A](cond: A, expr: A) extends Product with Serializable

sealed trait DerefType[T[_[_]]] extends AnyRef

final case class DimChange[T[_[_]]](unop: UnaryOperator) extends DerefType[T] with Product with Serializable

implicit class ExprOps[T[_[_]]] extends AnyRef

final case class ExprRelationAST[A](expr: A, aliasName: String) extends NamedRelation[A] with Product with Serializable

type FUPath = Path[_, File, Unsandboxed]

final case class FloatLiteral[A] extends Sql[A] with Product with Serializable

final case class GenericParsingError(message: String) extends ParsingError with Product with Serializable

final case class GroupBy[A](keys: List[A], having: Option[A]) extends Product with Serializable

final case class Ident[A] extends Sql[A] with Product with Serializable

final case class IdentRelationAST[A](name: String, alias: Option[String]) extends NamedRelation[A] with Product with Serializable

final case class IntLiteral[A] extends Sql[A] with Product with Serializable

final case class InvokeFunction[A] extends Sql[A] with Product with Serializable

trait IsDistinct extends AnyRef

final case class JoinRelation[A](left: SqlRelation[A], right: SqlRelation[A], tpe: JoinType, clause: A) extends SqlRelation[A] with Product with Serializable

sealed abstract class JoinType extends AnyRef

final case class Let[A](name: String, form: A, body: A) extends Sql[A] with Product with Serializable

final case class MapLiteral[A] extends Sql[A] with Product with Serializable

final case class Match[A] extends Sql[A] with Product with Serializable

sealed trait NamedRelation[A] extends SqlRelation[A]

final case class NullLiteral[A] extends Sql[A] with Product with Serializable

final case class ObjectDeref[T[_[_]]](expr: T[Sql]) extends DerefType[T] with Product with Serializable

final case class OrderBy[A](keys: List[(OrderType, A)]) extends Product with Serializable

sealed trait OrderType extends AnyRef

sealed trait ParsingError extends AnyRef

final case class ParsingPathError(error: PathError) extends ParsingError with Product with Serializable

final case class Proj[A](expr: A, alias: Option[String]) extends Product with Serializable

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

final case class Select[A] extends Sql[A] with Product with Serializable

final case class SetLiteral[A] extends Sql[A] with Product with Serializable

final case class Splice[A] extends Sql[A] with Product with Serializable

sealed trait Sql[A] extends AnyRef

sealed trait SqlRelation[A] extends AnyRef

final case class StringLiteral[A] extends Sql[A] with Product with Serializable

final case class Switch[A] extends Sql[A] with Product with Serializable

final case class TableRelationAST[A](tablePath: FUPath, alias: Option[String]) extends NamedRelation[A] with Product with Serializable

sealed abstract class UnaryOperator extends AnyRef

final case class Unop[A] extends Sql[A] with Product with Serializable

final case class Vari[A] extends Sql[A] with Product with Serializable

final case class VariRelationAST[A](vari: Vari[A], alias: Option[String]) extends NamedRelation[A] with Product with Serializable

Value Members

object ASC extends OrderType with Product with Serializable

object And extends BinaryOperator with Product with Serializable

object ArrayLiteral extends Serializable

object Binop extends Serializable

object BoolLiteral extends Serializable

object Case extends Serializable

object Concat extends BinaryOperator with Product with Serializable

def CrossRelation[T[_[_]]](left: SqlRelation[T[Sql]], right: SqlRelation[T[Sql]])(implicit arg0: Corecursive[T]): JoinRelation[T[Sql]]

object DESC extends OrderType with Product with Serializable

object Distinct extends UnaryOperator with Product with Serializable

object Div extends BinaryOperator with Product with Serializable

object Eq extends BinaryOperator with Product with Serializable

object Except extends BinaryOperator with Product with Serializable

object Exists extends UnaryOperator with Product with Serializable

object ExprRelationAST extends Serializable

implicit def ExprRelationRenderTree: ~>[RenderTree, [α]RenderTree[SqlRelation[α]]]

object FieldDeref extends BinaryOperator with Product with Serializable

object FlattenArrayIndices extends UnaryOperator with Product with Serializable

object FlattenArrayValues extends UnaryOperator with Product with Serializable

object FlattenMapKeys extends UnaryOperator with Product with Serializable

object FlattenMapValues extends UnaryOperator with Product with Serializable

object FloatLiteral extends Serializable

object FullJoin extends JoinType with Product with Serializable

object Ge extends BinaryOperator with Product with Serializable

object GroupBy extends Serializable

object Gt extends BinaryOperator with Product with Serializable

object Ident extends Serializable

object IdentRelationAST extends Serializable

object IfUndefined extends BinaryOperator with Product with Serializable

object In extends BinaryOperator with Product with Serializable

object IndexDeref extends BinaryOperator with Product with Serializable