Rewrite

Instance Constructors

new Rewrite()(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T])

Type Members

type Ann = qscript.Ann[T]

Definition Classes
TTypes
class BranchUnification[F[_], A, B] extends AnyRef
type CoEnvJoin[A] = CoEnv[JoinSide, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

Definition Classes
TTypes
type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

Definition Classes
TTypes
type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]

Definition Classes
TTypes
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
type Combine[F[_], A, B] = (FreeMapA[A]) ⇒ slamdata.Predef.Option[F[B]]
type EquiJoin[A] = qscript.EquiJoin[T, A]

Definition Classes
TTypes
type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]

Definition Classes
TTypes
type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]

Definition Classes
TTypes
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
type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]

Definition Classes
TTypes
type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]

Definition Classes
TTypes
type MapFuncCore[A] = qscript.MapFuncCore[T, A]

Definition Classes
TTypes
type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]

Definition Classes
TTypes
type ProjectBucket[A] = qscript.ProjectBucket[T, A]

Definition Classes
TTypes
type QScriptCore[A] = qscript.QScriptCore[T, A]

Definition Classes
TTypes
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
type Remap[A] = (JoinFunc) ⇒ slamdata.Predef.Option[FreeMapA[A]]
type Target[F[_]] = qscript.Target[T, F]

Definition Classes
TTypes
type ThetaJoin[A] = qscript.ThetaJoin[T, A]

Definition Classes
TTypes

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object BranchUnification
def NoneBranch[F[_], A, B]: BranchUnification[F, A, B]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compactLeftShift[F[_]](QCToF: PrismNT[F, QScriptCore])(implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]
val compactQC: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
val compactReductions: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
def elideNopJoin[F[_], A](rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): (ThetaJoin[A]) ⇒ slamdata.Predef.Option[F[A]]
def elideNopQC[F[_]](implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def normalizeEJ[F[_]](implicit arg0: Functor[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], EJ: :<:[EquiJoin, F], FI: Aux[F, QScriptTotal]): (F[T[F]]) ⇒ F[T[F]]
def normalizeEJCoEnv[F[_]](implicit arg0: Functor[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], EJ: :<:[EquiJoin, F], FI: Aux[F, QScriptTotal]): (F[Free[F, Hole]]) ⇒ CoEnv[Hole, F, Free[F, Hole]]
def normalizeTJ[F[_]](implicit arg0: Traverse[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], TJ: :<:[ThetaJoin, F], FI: Aux[F, QScriptTotal]): (F[T[F]]) ⇒ F[T[F]]
def normalizeTJCoEnv[F[_]](implicit arg0: Traverse[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], TJ: :<:[ThetaJoin, F], FI: Aux[F, QScriptTotal]): (F[Free[F, Hole]]) ⇒ CoEnv[Hole, F, Free[F, Hole]]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def pathify[M[_], IN[_], OUT[_]](g: ListContents[M])(implicit arg0: Monad[M], arg1: MonadFsErr[M], arg2: Traverse[IN], arg3: Traverse[OUT], FS: Aux[T, IN, OUT], RD: :<:[[β$13$]Const[Read[Path[Abs, Dir, Sandboxed]], β$13$], OUT], RF: :<:[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], OUT], QC: :<:[QScriptCore, OUT], FI: Aux[OUT, QScriptTotal]): (T[IN]) ⇒ M[T[OUT]]

A backend-or-mount-specific f is provided, that allows us to rewrite Root (and projections, etc.) into Read, so then we can handle exposing only “true” joins and converting intra-data joins to map operations.
A backend-or-mount-specific f is provided, that allows us to rewrite Root (and projections, etc.) into Read, so then we can handle exposing only “true” joins and converting intra-data joins to map operations.
f takes QScript representing a _potential_ path to a file, converts Root and its children to path, with the operations post-file remaining.
def rebuildArray[A](funcs: slamdata.Predef.List[FreeMapA[A]])(implicit arg0: Show[A], arg1: RenderTree[A]): FreeMapA[A]
def rewriteShift(idStatus: IdStatus, repair: JoinFunc): slamdata.Predef.Option[(IdStatus, JoinFunc)]
def shiftRead[F[_], G[_]](implicit arg0: Functor[F], arg1: Traverse[G], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SD: :<:[[β$0$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$0$], G], SF: :<:[[β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], G], GI: Aux[G, QScriptTotal], S: Aux[T, F, G], C: Aux[T, G, G], N: Normalizable[G]): (T[F]) ⇒ T[G]
def shiftReadDir[F[_], G[_]](implicit arg0: Functor[F], arg1: Traverse[G], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SD: :<:[[β$2$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$2$], G], GI: Aux[G, QScriptTotal], S: Aux[T, F, G], C: Aux[T, G, G], N: Normalizable[G]): (T[F]) ⇒ T[G]
def simplifyJoinOnShiftRead[F[_], G[_], H[_]](implicit arg0: Functor[F], arg1: Traverse[G], arg2: Functor[H], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SD: :<:[[β$3$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$3$], G], SF: :<:[[β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], G], GI: Aux[G, QScriptTotal], S: Aux[T, F, G], J: Aux[T, G, H], C: Aux[T, G, G], N: Normalizable[G]): (T[F]) ⇒ T[H]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def unifySimpleBranches[F[_], A](src: A, left: FreeQS, right: FreeQS, func: JoinFunc)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): slamdata.Predef.Option[F[A]]
def unifySimpleBranchesCoEnv[F[_], A](src: A, l: FreeQS, r: FreeQS, combine: JoinFunc)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): slamdata.Predef.Option[CoEnv[Hole, F, A]]
def unifySimpleBranchesHole[F[_], A](src: A, left: FreeQS, right: FreeQS)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): BranchUnification[F, Hole, A]
def unifySimpleBranchesJoinSide[F[_], A](src: A, left: FreeQS, right: FreeQS)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): BranchUnification[F, JoinSide, A]
val uniqueBuckets: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package qscript

class Rewrite[T[_[_]]] extends TTypes[T]

Instance Constructors

new Rewrite()(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T])

Type Members

type Ann = qscript.Ann[T]

class BranchUnification[F[_], A, B] extends AnyRef

type CoEnvJoin[A] = CoEnv[JoinSide, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]

type Combine[F[_], A, B] = (FreeMapA[A]) ⇒ slamdata.Predef.Option[F[B]]

type EquiJoin[A] = qscript.EquiJoin[T, A]

type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]

type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]

type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]

type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]

type MapFuncCore[A] = qscript.MapFuncCore[T, A]

type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]

type ProjectBucket[A] = qscript.ProjectBucket[T, A]

type QScriptCore[A] = qscript.QScriptCore[T, A]

type Remap[A] = (JoinFunc) ⇒ slamdata.Predef.Option[FreeMapA[A]]

type Target[F[_]] = qscript.Target[T, F]

type ThetaJoin[A] = qscript.ThetaJoin[T, A]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object BranchUnification

def NoneBranch[F[_], A, B]: BranchUnification[F, A, B]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compactLeftShift[F[_]](QCToF: PrismNT[F, QScriptCore])(implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]

val compactQC: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]

val compactReductions: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]

def elideNopJoin[F[_], A](rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): (ThetaJoin[A]) ⇒ slamdata.Predef.Option[F[A]]

def elideNopQC[F[_]](implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def normalizeEJ[F[_]](implicit arg0: Functor[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], EJ: :<:[EquiJoin, F], FI: Aux[F, QScriptTotal]): (F[T[F]]) ⇒ F[T[F]]

def normalizeEJCoEnv[F[_]](implicit arg0: Functor[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], EJ: :<:[EquiJoin, F], FI: Aux[F, QScriptTotal]): (F[Free[F, Hole]]) ⇒ CoEnv[Hole, F, Free[F, Hole]]

def normalizeTJ[F[_]](implicit arg0: Traverse[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], TJ: :<:[ThetaJoin, F], FI: Aux[F, QScriptTotal]): (F[T[F]]) ⇒ F[T[F]]

def normalizeTJCoEnv[F[_]](implicit arg0: Traverse[F], arg1: Normalizable[F], C: Aux[T, F, F], QC: :<:[QScriptCore, F], TJ: :<:[ThetaJoin, F], FI: Aux[F, QScriptTotal]): (F[Free[F, Hole]]) ⇒ CoEnv[Hole, F, Free[F, Hole]]

final def notify(): Unit

final def notifyAll(): Unit

def rebuildArray[A](funcs: slamdata.Predef.List[FreeMapA[A]])(implicit arg0: Show[A], arg1: RenderTree[A]): FreeMapA[A]

def rewriteShift(idStatus: IdStatus, repair: JoinFunc): slamdata.Predef.Option[(IdStatus, JoinFunc)]

def shiftReadDir[F[_], G[_]](implicit arg0: Functor[F], arg1: Traverse[G], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SD: :<:[[β$2$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$2$], G], GI: Aux[G, QScriptTotal], S: Aux[T, F, G], C: Aux[T, G, G], N: Normalizable[G]): (T[F]) ⇒ T[G]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def unifySimpleBranches[F[_], A](src: A, left: FreeQS, right: FreeQS, func: JoinFunc)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): slamdata.Predef.Option[F[A]]

def unifySimpleBranchesCoEnv[F[_], A](src: A, l: FreeQS, r: FreeQS, combine: JoinFunc)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): slamdata.Predef.Option[CoEnv[Hole, F, A]]

def unifySimpleBranchesHole[F[_], A](src: A, left: FreeQS, right: FreeQS)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): BranchUnification[F, Hole, A]

def unifySimpleBranchesJoinSide[F[_], A](src: A, left: FreeQS, right: FreeQS)(rebase: (FreeQS) ⇒ (A) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): BranchUnification[F, JoinSide, A]

val uniqueBuckets: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any

Ungrouped