Packages

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

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

Instance Constructors

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

Type Members

  1. class BranchUnification[F[_], A, B] extends AnyRef
  2. type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]
    Definition Classes
    TTypes
  3. type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]
    Definition Classes
    TTypes
  4. 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
  5. type Combine[F[_], A, B] = (FreeMapA[A]) ⇒ slamdata.Predef.Option[F[B]]
  6. type EquiJoin[A] = qscript.EquiJoin[T, A]
    Definition Classes
    TTypes
  7. type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]
    Definition Classes
    TTypes
  8. type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]
    Definition Classes
    TTypes
  9. 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
  10. type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]
    Definition Classes
    TTypes
  11. type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]
    Definition Classes
    TTypes
  12. type MapFuncCore[A] = qscript.MapFuncCore[T, A]
    Definition Classes
    TTypes
  13. type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]
    Definition Classes
    TTypes
  14. type ProjectBucket[A] = qscript.ProjectBucket[T, A]
    Definition Classes
    TTypes
  15. type QScriptCore[A] = qscript.QScriptCore[T, A]
    Definition Classes
    TTypes
  16. 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
  17. type Remap[A] = (JoinFunc) ⇒ slamdata.Predef.Option[FreeMapA[A]]
  18. 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 NoneBranch[F[_], A, B]: BranchUnification[F, A, B]
  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 compactLeftShift[F[_]](QCToF: PrismNT[F, QScriptCore])(implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]
  8. val compactQC: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
  9. val compactReductions: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
  10. 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]]
  11. def elideNopQC[F[_]](implicit arg0: Functor[F]): (QScriptCore[T[F]]) ⇒ slamdata.Predef.Option[F[T[F]]]
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. 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]]
  20. 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]]
  21. 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]]
  22. 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]]
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. 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.

  26. def rebuildArray[A](funcs: slamdata.Predef.List[FreeMapA[A]])(implicit arg0: Show[A], arg1: RenderTree[A]): FreeMapA[A]
  27. def rewriteShift(idStatus: IdStatus, repair: JoinFunc): slamdata.Predef.Option[(IdStatus, JoinFunc)]
  28. 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]
  29. 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]
  30. 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]
  31. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  32. def toString(): String
    Definition Classes
    AnyRef → Any
  33. 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]]
  34. 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]]
  35. 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]
  36. 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]
  37. val uniqueBuckets: ~>[QScriptCore, [A]Option[qscript.QScriptCore[T, A]]]
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  41. object BranchUnification

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any

Ungrouped