package
qscript
Type Members
-
final
case class
Ann[T[_[_]]](provenance: slamdata.Predef.List[Provenance[T]], values: FreeMap[T]) extends Product with Serializable
-
sealed abstract
class
Binary[T[_[_]], A] extends MapFuncCore[T, A]
-
-
implicit final
class
BirecursiveOps[T[_[_]], F[_]] extends AnyVal
-
final
case class
BucketField[T[_[_]], A](src: A, value: FreeMap[T], name: FreeMap[T]) extends ProjectBucket[T, A] with Product with Serializable
-
final
case class
BucketIndex[T[_[_]], A](src: A, value: FreeMap[T], index: FreeMap[T]) extends ProjectBucket[T, A] with Product with Serializable
-
type
CoEnvJoin[T[_[_]], A] = CoEnv[JoinSide, [β$61$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$61$], A]
-
type
CoEnvMap[T[_[_]], A] = CoEnv[Hole, [β$61$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$61$], A]
-
type
CoEnvMapA[T[_[_]], A, B] = CoEnv[A, [β$61$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$61$], B]
-
type
CoEnvQS[T[_[_]], A] = CoEnv[Hole, [β$60$]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$], β$60$], A]
-
trait
Coalesce[IN[_]] extends AnyRef
-
-
-
sealed abstract
class
DeadEnd extends AnyRef
-
trait
DiscoverPath[IN[_]] extends AnyRef
-
-
final
case class
EquiJoin[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T], key: slamdata.Predef.List[(FreeMap[T], FreeMap[T])], f: JoinType, combine: JoinFunc[T]) extends Product with Serializable
-
trait
ExpandDirs[IN[_]] extends AnyRef
-
-
trait
ExpandMapFunc[IN[_]] extends Serializable
-
-
-
trait
ExtractPath[F[_], P] extends AnyRef
-
-
-
final
case class
Filter[T[_[_]], A](src: A, f: FreeMap[T]) extends QScriptCore[T, A] with Product with Serializable
-
type
FreeMap[T[_[_]]] = Free[[β$59$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$59$], Hole]
-
type
FreeMapA[T[_[_]], A] = Free[[β$59$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$59$], A]
-
type
FreeQS[T[_[_]]] = Free[[β$58$]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$], β$58$], Hole]
-
implicit final
class
FreeQSOps[T[_[_]]] extends AnyVal
-
sealed abstract
class
Hole extends AnyRef
-
sealed abstract
class
IdStatus extends AnyRef
-
trait
Injectable[IN[_]] extends AnyRef
-
type
JoinFunc[T[_[_]]] = Free[[β$59$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$59$], JoinSide]
-
sealed abstract
class
JoinSide extends AnyRef
-
final
case class
LeftShift[T[_[_]], A](src: A, struct: FreeMap[T], idStatus: IdStatus, repair: JoinFunc[T]) extends QScriptCore[T, A] with Product with Serializable
-
final
case class
Map[T[_[_]], A](src: A, f: FreeMap[T]) extends QScriptCore[T, A] with Product with Serializable
-
type
MapFunc[T[_[_]], A] = Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], A]
-
sealed abstract
class
MapFuncCore[T[_[_]], A] extends AnyRef
-
sealed abstract
class
MapFuncDerived[T[_[_]], A] extends AnyRef
-
class
Merge[T[_[_]]] extends TTypes[T]
-
trait
Mergeable[F[_]] extends Serializable
-
trait
Normalizable[F[_]] extends Serializable
-
-
-
sealed abstract
class
Nullary[T[_[_]], A] extends MapFuncCore[T, A]
-
-
-
class
PAFindRemap[T, F[_]] extends AnyRef
-
-
sealed abstract
class
ProjectBucket[T[_[_]], A] extends AnyRef
-
trait
PruneArrays[F[_]] extends Serializable
-
type
QScript[T[_[_]], A] = Coproduct[[β$22$]QScriptCore[T, β$22$], [A]Coproduct[[β$20$]ThetaJoin[T, β$20$], [β$21$]Const[DeadEnd, β$21$], A], A]
-
sealed abstract
class
QScriptCore[T[_[_]], A] extends slamdata.Predef.Product with slamdata.Predef.Serializable
-
type
QScriptRead[T[_[_]], A] = Coproduct[[β$31$]QScriptCore[T, β$31$], [A]Coproduct[[β$28$]ThetaJoin[T, β$28$], [A]Coproduct[[β$29$]Const[Read[Path[Abs, Dir, Sandboxed]], β$29$], [β$30$]Const[Read[Path[Abs, File, Sandboxed]], β$30$], A], A], A]
-
type
QScriptShiftRead[T[_[_]], A] = Coproduct[[β$41$]QScriptCore[T, β$41$], [A]Coproduct[[β$38$]ThetaJoin[T, β$38$], [A]Coproduct[[β$39$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$39$], [β$40$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$40$], A], A], A]
-
type
QScriptTotal[T[_[_]], A] = 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$], A]
-
type
QScriptTotal0[T[_[_]], A] = 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$], A]
-
type
QScriptTotal1[T[_[_]], A] = 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$], A]
-
type
QScriptTotal2[T[_[_]], A] = 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$], A]
-
type
QScriptTotal3[T[_[_]], A] = 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$], A]
-
type
QScriptTotal4[T[_[_]], A] = 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$], A]
-
type
QScriptTotal5[T[_[_]], A] = Coproduct[[β$12$]Const[Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], A]
-
type
QScriptTotal6[T[_[_]], A] = Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], A]
-
final
case class
Read[A](path: A) extends Product with Serializable
-
final
case class
Reduce[T[_[_]], A](src: A, bucket: slamdata.Predef.List[FreeMap[T]], reducers: slamdata.Predef.List[ReduceFunc[FreeMap[T]]], repair: FreeMapA[T, ReduceIndex]) extends QScriptCore[T, A] with Product with Serializable
-
sealed abstract
class
ReduceFunc[A] extends AnyRef
-
final
case class
ReduceIndex(idx: \/[slamdata.Predef.Int, slamdata.Predef.Int]) extends Product with Serializable
-
trait
ReplaceMapFunc[T[_[_]], F[_]] extends AnyRef
-
-
class
Rewrite[T[_[_]]] extends TTypes[T]
-
sealed abstract
class
SelectionOp extends AnyRef
-
trait
ShiftRead[F[_]] extends AnyRef
-
trait
ShiftReadDir[F[_]] extends AnyRef
-
-
-
final
case class
ShiftedRead[A](path: A, idStatus: IdStatus) extends Product with Serializable
-
-
trait
SimplifyJoin[F[_]] extends AnyRef
-
-
final
case class
Sort[T[_[_]], A](src: A, bucket: slamdata.Predef.List[FreeMap[T]], order: NonEmptyList[(FreeMap[T], SortDir)]) extends QScriptCore[T, A] with Product with Serializable
-
final
case class
SrcMerge[A, B](src: A, lval: B, rval: B) extends Product with Serializable
-
final
case class
Subset[T[_[_]], A](src: A, from: FreeQS[T], op: SelectionOp, count: FreeQS[T]) extends QScriptCore[T, A] with Product with Serializable
-
trait
TTypes[T[_[_]]] extends AnyRef
-
final
case class
Target[T[_[_]], F[_]](ann: Ann[T], value: T[F]) extends Product with Serializable
-
sealed abstract
class
Ternary[T[_[_]], A] extends MapFuncCore[T, A]
-
-
final
case class
ThetaJoin[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T], on: JoinFunc[T], f: JoinType, combine: JoinFunc[T]) extends Product with Serializable
-
class
Transform[T[_[_]], F[_]] extends TTypes[T]
-
sealed abstract
class
Unary[T[_[_]], A] extends MapFuncCore[T, A]
-
-
sealed
trait
Unicoalesce[T[_[_]], C <: CoM] extends AnyRef
-
-
-
-
-
final
case class
Union[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T]) extends QScriptCore[T, A] with Product with Serializable
-
sealed
trait
Unirewrite[T[_[_]], C <: CoM] extends AnyRef
-
final
case class
Unreferenced[T[_[_]], A]() extends QScriptCore[T, A] with Product with Serializable
Value Members
-
def
::/::[T[_[_]], F[_], G[_]](implicit F: :<:[F, [β$85$]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$], β$85$]], G: :<:[G, [β$86$]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$], β$86$]]): Aux[[γ$87$]Coproduct[F, G, γ$87$], [β$88$]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$], β$88$]]
-
-
object
Ann extends Serializable
-
object
BucketField extends Serializable
-
object
BucketIndex extends Serializable
-
-
-
-
object
Drop extends SelectionOp with Product with Serializable
-
def
EmptyAnn[T[_[_]]]: Ann[T]
-
object
EquiJoin extends Serializable
-
object
ExcludeId extends IdStatus with Product with Serializable
-
-
-
-
-
object
Filter extends Serializable
-
-
def
HoleF[T[_[_]]]: FreeMap[T]
-
def
HoleQS[T[_[_]]]: FreeQS[T]
-
object
IdOnly extends IdStatus with Product with Serializable
-
-
object
IncludeId extends IdStatus with Product with Serializable
-
-
-
object
LeftShift extends Serializable
-
object
LeftSide extends JoinSide with Product with Serializable
-
def
LeftSideF[T[_[_]]]: JoinFunc[T]
-
object
MFC
-
object
MFD
-
object
Map extends Serializable
-
-
-
-
-
-
object
Mergeable extends Serializable
-
-
-
-
object
PruneArrays extends Serializable
-
object
QCT
-
object
QScriptCore extends Serializable
-
object
Read extends Serializable
-
object
Reduce extends Serializable
-
-
-
object
ReduceIndex extends Serializable
-
def
ReduceIndexF[T[_[_]]](i: \/[slamdata.Predef.Int, slamdata.Predef.Int]): FreeMapA[T, ReduceIndex]
-
-
object
RightSide extends JoinSide with Product with Serializable
-
def
RightSideF[T[_[_]]]: JoinFunc[T]
-
object
Root extends DeadEnd with Product with Serializable
-
object
Sample extends SelectionOp with Product with Serializable
-
-
-
-
object
ShiftedRead extends Serializable
-
-
-
object
Sort extends Serializable
-
object
SrcHole extends Hole with Product with Serializable
-
object
Subset extends Serializable
-
-
object
Take extends SelectionOp with Product with Serializable
-
object
Target extends Serializable
-
object
ThetaJoin extends Serializable
-
-
object
UnicoalesceEJ extends UnicoalesceEJLowPriorityImplicits
-
object
UnicoalesceQC extends UnicoalesceQCLowPriorityImplicits
-
object
UnicoalesceSR extends UnicoalesceSRLowPriorityImplicits
-
object
UnicoalesceTJ extends UnicoalesceTJLowPriorityImplicits
-
object
Union extends Serializable
-
object
Unirewrite extends UnirewriteLowPriorityImplicits
-
object
Unreferenced extends Serializable
-
-
def
concat[T[_[_]], A](l: FreeMapA[T, A], r: FreeMapA[T, A])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: Equal[A], arg4: Show[A]): (FreeMapA[T, A], FreeMap[T], FreeMap[T])
-
def
concat3[T[_[_]], A](l: FreeMapA[T, A], c: FreeMapA[T, A], r: FreeMapA[T, A])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: Equal[A], arg4: Show[A]): (FreeMapA[T, A], FreeMap[T], FreeMap[T], FreeMap[T])
-
def
concat4[T[_[_]], A](l: FreeMapA[T, A], c: FreeMapA[T, A], r: FreeMapA[T, A], r2: FreeMapA[T, A])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: Equal[A], arg4: Show[A]): (FreeMapA[T, A], FreeMap[T], FreeMap[T], FreeMap[T], FreeMap[T])
-
def
injectRepeatedly[F[_], G[_], A](op: (F[A]) ⇒ slamdata.Predef.Option[G[A]])(implicit F: :<:[F, G]): (F[A]) ⇒ G[A]
-
-
implicit
def
qScriptReadToQscriptTotal[T[_[_]]]: Aux[[β$32$]Coproduct[[β$31$]QScriptCore[T, β$31$], [A]Coproduct[[β$28$]ThetaJoin[T, β$28$], [A]Coproduct[[β$29$]Const[Read[Path[Abs, Dir, Sandboxed]], β$29$], [β$30$]Const[Read[Path[Abs, File, Sandboxed]], β$30$], A], A], β$32$], [β$33$]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$], β$33$]]
-
implicit
def
qScriptShiftReadToQScriptTotal[T[_[_]]]: Aux[[β$42$]Coproduct[[β$41$]QScriptCore[T, β$41$], [A]Coproduct[[β$38$]ThetaJoin[T, β$38$], [A]Coproduct[[β$39$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$39$], [β$40$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$40$], A], A], β$42$], [β$43$]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$], β$43$]]
-
implicit
def
qScriptToQscriptTotal[T[_[_]]]: Aux[[β$23$]Coproduct[[β$22$]QScriptCore[T, β$22$], [A]Coproduct[[β$20$]ThetaJoin[T, β$20$], [β$21$]Const[DeadEnd, β$21$], A], β$23$], [β$24$]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$], β$24$]]
-
def
rebase[M[_], A](in: M[A], field: M[A])(implicit arg0: Bind[M]): M[A]
-
def
rebaseBranch[T[_[_]]](br: FreeQS[T], fm: FreeMap[T])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T]): FreeQS[T]
-
def
rebaseT[T[_[_]], F[_]](target: FreeQS[T])(src: T[F])(implicit arg0: BirecursiveT[T], arg1: Traverse[F], FI: Aux[F, [β$71$]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$], β$71$]]): slamdata.Predef.Option[T[F]]
-
def
rebaseTCo[T[_[_]], F[_]](target: FreeQS[T])(srcCo: T[[γ$73$]CoEnv[Hole, F, γ$73$]])(implicit arg0: BirecursiveT[T], arg1: Traverse[F], FI: Aux[F, [β$74$]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$], β$74$]]): slamdata.Predef.Option[T[[γ$75$]CoEnv[Hole, F, γ$75$]]]
Inherited from AnyRef
Inherited from Any
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 commonsrc
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, whereF
is some pattern functor, andA
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 thesrc
parameter of that operation. JoinFunc, FreeQS, and therepair
parameter to Reduce behave similarly. - We use the type parameterQS[_]
to indicate QScript, as well as the type parametersIN[_]
andOUT[_]
to indicate the input and output coproducts in transformations where they can be different.