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
-
-
-
-
type
CoEnvFree[F[_], A] = CoEnv[A, F, Free[F, A]]
-
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]
-
-
-
-
sealed abstract
class
DeadEnd 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
-
-
-
-
-
-
-
-
-
-
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
-
-
type
JoinFunc[T[_[_]]] = Free[[β$59$]Coproduct[[β$48$]MapFuncCore[T, β$48$], [β$49$]MapFuncDerived[T, β$49$], β$59$], JoinSide]
-
sealed abstract
class
JoinSide extends AnyRef
-
-
-
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]
-
-
-
-
-
sealed abstract
class
Nullary[T[_[_]], A] extends MapFuncCore[T, A]
-
-
-
-
-
-
-
sealed abstract
class
ProjectBucket[T[_[_]], A] extends AnyRef
-
-
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]
-
-
-
sealed abstract
class
ReduceFunc[A] extends AnyRef
-
final
case class
ReduceIndex(idx: \/[slamdata.Predef.Int, slamdata.Predef.Int]) extends Product with Serializable
-
-
-
class
Rewrite[T[_[_]]] extends TTypes[T]
-
-
-
-
-
-
-
-
-
-
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
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
-
trait
Trans[T[_[_]]] extends AnyRef
-
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
-
-
-
-
-
-
sealed
trait
Unirewrite[T[_[_]], C <: CoM] extends AnyRef
-
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$]]
-
-
-
-
-
-
-
-
-
-
def
EmptyAnn[T[_[_]]]: Ann[T]
-
-
-
-
-
-
-
-
-
def
HoleF[T[_[_]]]: FreeMap[T]
-
def
HoleQS[T[_[_]]]: FreeQS[T]
-
-
-
-
-
-
-
-
def
LeftSideF[T[_[_]]]: JoinFunc[T]
-
object
MFC
-
object
MFD
-
-
-
-
-
-
-
-
-
-
-
-
-
object
QCT
-
-
-
-
-
-
-
def
ReduceIndexF[T[_[_]]](i: \/[slamdata.Predef.Int, slamdata.Predef.Int]): FreeMapA[T, ReduceIndex]
-
-
-
def
RightSideF[T[_[_]]]: JoinFunc[T]
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
object
UnicoalesceEJ extends UnicoalesceEJLowPriorityImplicits
-
object
UnicoalesceQC extends UnicoalesceQCLowPriorityImplicits
-
object
UnicoalesceSR extends UnicoalesceSRLowPriorityImplicits
-
object
UnicoalesceTJ extends UnicoalesceTJLowPriorityImplicits
-
-
object
Unirewrite extends UnirewriteLowPriorityImplicits
-
-
-
def
applyTrans[T[_[_]], F[_]](target: T[F])(transform: Trans[T])(implicit arg0: BirecursiveT[T], arg1: Functor[F], branches: Aux[T, F], QC: :<:[[β$104$]QScriptCore[T, β$104$], F]): T[F]
-
def
concat[T[_[_]], A](l: FreeMapA[T, A], r: FreeMapA[T, A])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T], arg4: Equal[A], arg5: Show[A], arg6: RenderTree[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: RenderTreeT[T], arg4: Equal[A], arg5: Show[A], arg6: RenderTree[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: RenderTreeT[T], arg4: Equal[A], arg5: Show[A], arg6: RenderTree[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]
-
def
liftAlgebra[T[_[_]], F[_], G[_]](alg: (QScriptCore[T, T[G]]) ⇒ F[T[G]], GtoF: PrismNT[G, F])(implicit arg0: BirecursiveT[T], arg1: Functor[G], QC: :<:[[β$96$]QScriptCore[T, β$96$], F]): (F[T[G]]) ⇒ G[T[G]]
-
def
liftCoEnv[T[_[_]], F[_]](alg: (QScriptCore[T, T[[γ$99$]CoEnv[Hole, F, γ$99$]]]) ⇒ F[T[[γ$100$]CoEnv[Hole, F, γ$100$]]])(implicit arg0: BirecursiveT[T], arg1: Functor[F], QC: :<:[[β$101$]QScriptCore[T, β$101$], F]): (CoEnvFree[F, Hole]) ⇒ CoEnvFree[F, Hole]
-
def
liftId[T[_[_]], F[_]](alg: (QScriptCore[T, T[F]]) ⇒ F[T[F]])(implicit arg0: BirecursiveT[T], arg1: Functor[F], QC: :<:[[β$98$]QScriptCore[T, β$98$], F]): (F[T[F]]) ⇒ F[T[F]]
-
-
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], arg3: RenderTreeT[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$]]]
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.