Packages

  • package root
    Definition Classes
    root
  • package quasar
    Definition Classes
    root
  • package qscript

    The various representations of an arbitrary query, as seen by the filesystem connectors, along with the operations for dealing with them.

    The various representations of an arbitrary query, as seen by the filesystem connectors, along with the operations for dealing with them.

    There are a few patterns that are worth noting: - (src: A, ..., lBranch: FreeQS[T], rBranch: FreeQS[T], ...) – used in operations that combine multiple data sources (notably joins and unions). This holds the divergent parts of the data sources in the branches, with SrcHole indicating a reference back to the common src of the two branches. There is not required to be a SrcHole. - Free[F, A] – we use this structure as a restricted form of variable binding, where F is some pattern functor, and A is some enumeration that has a specific referent. E.g., FreeMap is a recursive structure of MapFunc that has a single “variable”, SrcHole, which (usually) refers to the src parameter of that operation. JoinFunc, FreeQS, and the repair parameter to Reduce behave similarly. - We use the type parameter QS[_] to indicate QScript, as well as the type parameters IN[_] and OUT[_] to indicate the input and output coproducts in transformations where they can be different.

    Definition Classes
    quasar
  • package qsu
    Definition Classes
    qscript
  • package minimizers
    Definition Classes
    qsu
  • CollapseShifts
  • MergeReductions
  • Minimizer

final class MergeReductions[T[_[_]]] extends Minimizer[T]

Linear Supertypes
Minimizer[T], QSUTTypes[T], TTypes[T], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MergeReductions
  2. Minimizer
  3. QSUTTypes
  4. TTypes
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]
    Definition Classes
    TTypes
  2. type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]
    Definition Classes
    TTypes
  3. type CoEnvQS[A] = CoEnv[Hole, [β$74$]Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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$], β$74$], A]
    Definition Classes
    TTypes
  4. type EquiJoin[A] = qscript.EquiJoin[T, A]
    Definition Classes
    TTypes
  5. type FreeAccess[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], qsu.QAccess[T, A]]
    Definition Classes
    QSUTTypes
  6. type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]
    Definition Classes
    TTypes
  7. type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]
    Definition Classes
    TTypes
  8. type FreeQS = Free[[β$72$]Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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$], β$72$], Hole]
    Definition Classes
    TTypes
  9. type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]
    Definition Classes
    TTypes
  10. type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]
    Definition Classes
    TTypes
  11. type MapFuncCore[A] = qscript.MapFuncCore[T, A]
    Definition Classes
    TTypes
  12. type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]
    Definition Classes
    TTypes
  13. type ProjectBucket[A] = qscript.ProjectBucket[T, A]
    Definition Classes
    TTypes
  14. type QAccess[A] = Access[T[EJson], A]
    Definition Classes
    QSUTTypes
  15. type QAuth = qsu.QAuth[T]
    Definition Classes
    QSUTTypes
  16. type QDims = IList[P[T]]
    Definition Classes
    QSUTTypes
  17. type QIdAccess = IdAccess[T[EJson]]
    Definition Classes
    QSUTTypes
  18. type QSUGraph = qsu.QSUGraph[T]
    Definition Classes
    QSUTTypes
  19. type QScriptCore[A] = qscript.QScriptCore[T, A]
    Definition Classes
    TTypes
  20. type QScriptEducated[A] = Coproduct[[β$23$]qscript.QScriptCore[T, β$23$], [A]Coproduct[[β$20$]qscript.ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[Read[Path[Abs, File, Sandboxed]], β$22$], A], A], A]
    Definition Classes
    QSUTTypes
  21. type QScriptTotal[A] = Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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$], A]
    Definition Classes
    TTypes
  22. type QScriptUniform[A] = qsu.QScriptUniform[T, A]
    Definition Classes
    QSUTTypes
  23. type References = qsu.References[T, T[EJson]]
    Definition Classes
    QSUTTypes
  24. type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]
    Definition Classes
    QSUTTypes
  25. type RevIdxM[F[_]] = MonadState_[F, QSUGraph.RevIdx[T]]
    Definition Classes
    QSUTTypes
  26. type ThetaJoin[A] = qscript.ThetaJoin[T, A]
    Definition Classes
    TTypes

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[G[_]](qgraph: QSUGraph, source: QSUGraph, candidates: slamdata.Predef.List[QSUGraph], fm: FreeMapA[slamdata.Predef.Int])(implicit arg0: Monad[G], arg1: NameGenerator[G], arg2: PlannerErrorME[G], arg3: RevIdxM[G], arg4: MonadState_[G, MinimizationState[T]]): G[slamdata.Predef.Option[(QSUGraph, QSUGraph)]]
    Definition Classes
    MergeReductions → Minimizer
    Annotations
    @SuppressWarnings()
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. def couldApplyTo(candidates: slamdata.Predef.List[QSUGraph]): slamdata.Predef.Boolean
    Definition Classes
    MergeReductions → Minimizer
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def extract[G[_]](qgraph: QSUGraph)(implicit arg0: Monad[G], arg1: NameGenerator[G], arg2: PlannerErrorME[G], arg3: RevIdxM[G], arg4: MonadState_[G, MinimizationState[T]]): slamdata.Predef.Option[(QSUGraph, (QSUGraph, FreeMap) ⇒ G[QSUGraph])]
    Definition Classes
    MergeReductions → Minimizer
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. def toString(): String
    Definition Classes
    AnyRef → Any
  20. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Minimizer[T]

Inherited from QSUTTypes[T]

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any

Ungrouped