Class

quasar.qscript

Rewrite

Related Doc: package qscript

Permalink

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])

    Permalink

Type Members

  1. type Ann = qscript.Ann[T]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  3. type FreeMap = Free[[β$41$]qscript.MapFunc[T, β$41$], Hole]

    Permalink
    Definition Classes
    TTypes

  4. type FreeMapA[A] = Free[[β$41$]qscript.MapFunc[T, β$41$], A]

    Permalink
    Definition Classes
    TTypes

  5. type FreeQS = Free[[β$40$]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, Any, Sandboxed]], β$8$], [β$9$]Coproduct[[β$10$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$10$], [β$11$]Coproduct[[β$12$]Const[Read[Path[Abs, Any, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], β$40$], Hole]

    Permalink
    Definition Classes
    TTypes

  6. type JoinFunc = Free[[β$41$]qscript.MapFunc[T, β$41$], JoinSide]

    Permalink
    Definition Classes
    TTypes

  7. type MapFunc[A] = qscript.MapFunc[T, A]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  10. 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, Any, Sandboxed]], β$8$], [β$9$]Coproduct[[β$10$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$10$], [β$11$]Coproduct[[β$12$]Const[Read[Path[Abs, Any, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], A]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink

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

    Permalink

  8. def elideNopQC[F[_], G[_]](FtoG: ~>[F, G])(implicit arg0: Functor[F], arg1: Functor[G], QC: :<:[QScriptCore, F]): (QScriptCore[T[G]]) ⇒ G[T[G]]

    Permalink

  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  12. def flattenArray[A](array: ConcatArrays[T, FreeMapA[A]])(implicit arg0: Show[A]): Predef.List[FreeMapA[A]]

    Permalink

  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  17. def normalize[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]]

    Permalink

  18. def normalizeCoEnv[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]]

    Permalink

  19. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. def optimize[F[_], G[_]](FtoG: ~>[F, G])(implicit arg0: Functor[G], QC: :<:[QScriptCore, F]): (F[T[G]]) ⇒ F[T[G]]

    Permalink

    Should only be applied after all other QScript transformations.

    Should only be applied after all other QScript transformations. This gives the final, optimized QScript for conversion.

  22. 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], R: :<:[[β$8$]Const[Read[Path[Abs, Any, Sandboxed]], β$8$], OUT], QC: :<:[QScriptCore, OUT], FI: Aux[OUT, QScriptTotal]): (T[IN]) ⇒ M[T[OUT]]

    Permalink

    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.

  23. def rebuildArray[A](funcs: Predef.List[FreeMapA[A]]): FreeMapA[A]

    Permalink

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

    Permalink

  25. def shiftRead[F[_], G[_]](implicit arg0: Functor[F], arg1: Traverse[G], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SR: :<:[[β$0$]Const[ShiftedRead[Path[Abs, Any, Sandboxed]], β$0$], G], GI: Aux[G, QScriptTotal], S: Aux[T, F, G], C: Aux[T, G, G], N: Normalizable[G]): (T[F]) ⇒ T[G]

    Permalink

  26. def simplifyJoinOnShiftRead[F[_], G[_], H[_]](implicit arg0: Functor[F], arg1: Traverse[G], arg2: Functor[H], QC: :<:[QScriptCore, G], TJ: :<:[ThetaJoin, G], SR: :<:[[β$1$]Const[ShiftedRead[Path[Abs, Any, Sandboxed]], β$1$], 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]

    Permalink

  27. def swapMapSubset[F[_], G[_]](FtoG: ~>[F, G])(implicit arg0: Functor[G], QC: :<:[QScriptCore, F]): (QScriptCore[T[G]]) ⇒ Predef.Option[QScriptCore[T[G]]]

    Permalink

    Pull more work to _after_ count operations, limiting the dataset.

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

    Permalink
    Definition Classes
    AnyRef

  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

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

    Permalink

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

    Permalink

  33. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  35. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any

Ungrouped