qscript

Type Members

type CoMapFunc[T[_[_]], A] = CoEnv[Hole, [β$2$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$2$], A]
type CoPathMapFunc[T[_[_]], A] = CoEnv[Hole, [β$3$]Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], β$3$], A]
type FreePathMap[T[_[_]]] = Free[[β$1$]Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], β$1$], Hole]
final case class IndexPlan[Q](src: Search[Q], postfilter: slamdata.Predef.Boolean) extends Product with Serializable
abstract class MapFuncPlanner[F[_], FMT, MF[_]] extends AnyRef
type MarkLogicPlanErrT[F[_], A] = EitherT[F, MarkLogicPlannerError, A]
sealed abstract class MarkLogicPlannerError extends AnyRef
type MonadPlanErr[F[_]] = MonadError_[F, MarkLogicPlannerError]
type PathMapFunc[T[_[_]], A] = Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], A]
trait Planner[M[_], FMT, F[_], J] extends AnyRef
sealed abstract class PlannerInstances extends PlannerInstances0
sealed abstract class PlannerInstances0 extends PlannerInstances1
sealed abstract class PlannerInstances1 extends AnyRef
final case class ProjectPath[A](src: A, path: ADir) extends Product with Serializable
sealed abstract class ProjectPathInstances extends AnyRef
final case class Search[Q](query: Q, idStatus: IdStatus, pred: IList[XQuery]) extends Product with Serializable
trait SearchOptions[A] extends Serializable

cts:search options for the given type.
trait StructuralPlanner[F[_], FMT] extends AnyRef

Planner for QScript structural operations.
Planner for QScript structural operations.
F
the effects employed by the library.
FMT
type index representing the data format supported by the library.
sealed abstract class StructuralPlannerInstances extends StructuralPlannerInstances0
sealed abstract class StructuralPlannerInstances0 extends AnyRef

Value Members

object EJsonPlanner
val EJsonTypeKey: String
val EJsonValueKey: String
object FilterPlanner
object IterativeFlwor

Matches "iterative" FLWOR expressions, those involving at least one for clause.
object MFPath
object MapFuncPlanner
object MarkLogicPlannerError
object MonadPlanErr
object PathProject
object Planner extends PlannerInstances
object ProjectPath extends ProjectPathInstances with Serializable
object Search extends Serializable
object SearchOptions extends Serializable
object StructuralPlanner extends StructuralPlannerInstances
def directoryDocuments[FMT](uri: XQuery, includeDescendants: slamdata.Predef.Boolean)(implicit arg0: SearchOptions[FMT]): XQuery

XQuery evaluating to the documents having the specified format in the directory.
def documentNode[FMT](uri: XQuery)(implicit arg0: SearchOptions[FMT]): XQuery

XQuery evaluating to the document node at the given URI.
def fileNode[FMT](file: AFile)(implicit arg0: SearchOptions[FMT]): XQuery

XQuery evaluating to the document node at the given path.
def fileRoot[FMT](file: AFile)(implicit arg0: SearchOptions[FMT]): XQuery

XQuery evaluating to the root node of the document at the given path.
object lib

Functions related to qscript planning.
Functions related to qscript planning.

Annotations
@SuppressWarnings()
def mapFuncXQuery[T[_[_]], F[_], FMT](fm: FreeMap[T], src: XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]
def mergeXQuery[T[_[_]], F[_], FMT](jf: JoinFunc[T], l: XQuery, r: XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]
def planMapFunc[T[_[_]], F[_], FMT, A](freeMap: FreeMapA[T, A])(recover: (A) ⇒ XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]
def queryIsValid[F[_], Q, V, FMT](query: Q)(implicit arg0: Monad[F], arg1: Xcc[F], Q: Aux[Q, [β$5$]Query[V, β$5$]], V: Aux[V, EJson], SP: StructuralPlanner[F, FMT]): F[slamdata.Predef.Boolean]

Returns whether the query is valid and can be executed.
Returns whether the query is valid and can be executed.
TODO: Return any missing indexes when invalid.
def rebaseXQuery[T[_[_]], F[_], FMT, Q](fqs: FreeQS[T], src: \/[Search[Q], XQuery])(implicit arg0: BirecursiveT[T], arg1: Monad[F], Q: Aux[Q, [β$6$]Query[T[[A]Coproduct[Extension, Common, A]], β$6$]], QTP: Planner[F, FMT, [β$7$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]EquiJoin[T, β$6$], [β$7$]Coproduct[[β$8$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$8$], [β$9$]Coproduct[[β$10$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$10$], [β$11$]Coproduct[[β$12$]Const[Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], β$7$], T[EJson]]): F[\/[Search[Q], XQuery]]
def rewriteNullCheck[T[_[_]], U, E](implicit arg0: BirecursiveT[T], UR: Aux[U, [γ$9$]CoEnv[E, [β$8$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$8$], γ$9$]], UC: Aux[U, [γ$11$]CoEnv[E, [β$10$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$10$], γ$11$]]): (CoEnv[E, [β$12$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$12$], U]) ⇒ CoEnv[E, [β$13$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$13$], U]

package qscript

Type Members

type CoMapFunc[T[_[_]], A] = CoEnv[Hole, [β$2$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$2$], A]

type CoPathMapFunc[T[_[_]], A] = CoEnv[Hole, [β$3$]Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], β$3$], A]

type FreePathMap[T[_[_]]] = Free[[β$1$]Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], β$1$], Hole]

final case class IndexPlan[Q](src: Search[Q], postfilter: slamdata.Predef.Boolean) extends Product with Serializable

abstract class MapFuncPlanner[F[_], FMT, MF[_]] extends AnyRef

type MarkLogicPlanErrT[F[_], A] = EitherT[F, MarkLogicPlannerError, A]

sealed abstract class MarkLogicPlannerError extends AnyRef

type MonadPlanErr[F[_]] = MonadError_[F, MarkLogicPlannerError]

type PathMapFunc[T[_[_]], A] = Coproduct[ProjectPath, [β$0$]Coproduct[[β$44$]MapFuncCore[T, β$44$], [β$45$]MapFuncDerived[T, β$45$], β$0$], A]

trait Planner[M[_], FMT, F[_], J] extends AnyRef

sealed abstract class PlannerInstances extends PlannerInstances0

sealed abstract class PlannerInstances0 extends PlannerInstances1

sealed abstract class PlannerInstances1 extends AnyRef

final case class ProjectPath[A](src: A, path: ADir) extends Product with Serializable

sealed abstract class ProjectPathInstances extends AnyRef

final case class Search[Q](query: Q, idStatus: IdStatus, pred: IList[XQuery]) extends Product with Serializable

trait SearchOptions[A] extends Serializable

trait StructuralPlanner[F[_], FMT] extends AnyRef

sealed abstract class StructuralPlannerInstances extends StructuralPlannerInstances0

sealed abstract class StructuralPlannerInstances0 extends AnyRef

Value Members

object EJsonPlanner

val EJsonTypeKey: String

val EJsonValueKey: String

object FilterPlanner

object IterativeFlwor

object MFPath

object MapFuncPlanner

object MarkLogicPlannerError

object MonadPlanErr

object PathProject

object Planner extends PlannerInstances

object ProjectPath extends ProjectPathInstances with Serializable

object Search extends Serializable

object SearchOptions extends Serializable

object StructuralPlanner extends StructuralPlannerInstances

def directoryDocuments[FMT](uri: XQuery, includeDescendants: slamdata.Predef.Boolean)(implicit arg0: SearchOptions[FMT]): XQuery

def documentNode[FMT](uri: XQuery)(implicit arg0: SearchOptions[FMT]): XQuery

def fileNode[FMT](file: AFile)(implicit arg0: SearchOptions[FMT]): XQuery

def fileRoot[FMT](file: AFile)(implicit arg0: SearchOptions[FMT]): XQuery

object lib

def mapFuncXQuery[T[_[_]], F[_], FMT](fm: FreeMap[T], src: XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]

def mergeXQuery[T[_[_]], F[_], FMT](jf: JoinFunc[T], l: XQuery, r: XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]

def planMapFunc[T[_[_]], F[_], FMT, A](freeMap: FreeMapA[T, A])(recover: (A) ⇒ XQuery)(implicit arg0: BirecursiveT[T], arg1: Monad[F], arg2: QNameGenerator[F], arg3: PrologW[F], arg4: MonadPlanErr[F], SP: StructuralPlanner[F, FMT]): F[XQuery]

def queryIsValid[F[_], Q, V, FMT](query: Q)(implicit arg0: Monad[F], arg1: Xcc[F], Q: Aux[Q, [β$5$]Query[V, β$5$]], V: Aux[V, EJson], SP: StructuralPlanner[F, FMT]): F[slamdata.Predef.Boolean]

Inherited from AnyRef

Inherited from Any

Ungrouped