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 CoEnvJoin[A] = CoEnv[JoinSide, [β$47$]qscript.MapFuncCore[T, β$47$], A]

    Permalink
    Definition Classes
    TTypes

  3. type CoEnvMap[A] = CoEnv[Hole, [β$47$]qscript.MapFuncCore[T, β$47$], A]

    Permalink
    Definition Classes
    TTypes

  4. type CoEnvMapA[A, B] = CoEnv[A, [β$47$]qscript.MapFuncCore[T, β$47$], B]

    Permalink
    Definition Classes
    TTypes

  5. type CoEnvQS[A] = CoEnv[Hole, [β$46$]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$], β$46$], A]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  7. type FreeMap = Free[[β$45$]qscript.MapFuncCore[T, β$45$], Hole]

    Permalink
    Definition Classes
    TTypes

  8. type FreeMapA[A] = Free[[β$45$]qscript.MapFuncCore[T, β$45$], A]

    Permalink
    Definition Classes
    TTypes

  9. type FreeQS = Free[[β$44$]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$], β$44$], Hole]

    Permalink
    Definition Classes
    TTypes

  10. type JoinFunc = Free[[β$45$]qscript.MapFuncCore[T, β$45$], JoinSide]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  14. 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]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  16. 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 compactLeftShift[F[_], G[_]](FToG: PrismNT[G, F])(implicit arg0: Functor[F], arg1: Functor[G], QC: :<:[QScriptCore, F]): (QScriptCore[T[G]]) ⇒ slamdata.Predef.Option[F[T[G]]]

    Permalink

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

    Permalink

  8. 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]]

    Permalink

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

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

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

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

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  18. 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

  19. 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

  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  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], RD: :<:[[β$10$]Const[Read[Path[Abs, Dir, Sandboxed]], β$10$], OUT], RF: :<:[[β$11$]Const[Read[Path[Abs, File, Sandboxed]], β$11$], 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: slamdata.Predef.List[FreeMapA[A]]): FreeMapA[A]

    Permalink

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

    Permalink

  25. 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]

    Permalink

  26. 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]

    Permalink

  27. 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]

    Permalink

  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) ⇒ slamdata.Predef.Option[A])(implicit QC: :<:[QScriptCore, F], FI: Aux[F, QScriptTotal]): slamdata.Predef.Option[F[A]]

    Permalink

  31. 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]]

    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