PAHelpers

Instance Constructors

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

Type Members

type Ann = qscript.Ann[T]

Definition Classes
TTypes
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 EitherMap[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], \/[A, A]]
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 IndexMapping = scala.collection.immutable.Map[slamdata.Predef.BigInt, slamdata.Predef.BigInt]
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 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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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] )
def findIndicesInFunc[A](func: FreeMapA[A]): slamdata.Predef.Map[A, KnownIndices]

Returns None if a non-static non-integer index was found.
Returns None if a non-static non-integer index was found. Else returns all indices of the form ProjectIndex(SrcHole, IntLit(_)).
def findIndicesInStruct[A](func: FreeMapA[A]): slamdata.Predef.Map[A, KnownIndices]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
val indexMapping: (SeenIndices) ⇒ IndexMapping
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def remapIndicesInFunc(func: FreeMap, mapping: IndexMapping): FreeMap

Remap all indices in func in structures like ProjectIndex(SrcHole, IntLit(_)) according to the provided mapping.
def remapIndicesInJoinFunc(func: JoinFunc, lMapping: IndexMapping, rMapping: IndexMapping): JoinFunc
def remapIndicesInLeftShift[A](repair: JoinFunc, mapping: IndexMapping): JoinFunc
def rewriteBranch(branch: FreeQS, seen: SeenIndices): slamdata.Predef.Option[FreeQS]
def rewriteRepair[A](repair: FreeMapA[A], seen: SeenIndices)(implicit arg0: Show[A], arg1: RenderTree[A]): slamdata.Predef.Option[FreeMapA[A]]

Prune the provided array keeping only the indices in indicesToKeep, eliding it altogether if only a single element is retained.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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 PAHelpers[T[_[_]]] extends TTypes[T]

Instance Constructors

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

Type Members

type Ann = qscript.Ann[T]

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 EitherMap[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], \/[A, A]]

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 IndexMapping = scala.collection.immutable.Map[slamdata.Predef.BigInt, slamdata.Predef.BigInt]

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

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def findIndicesInFunc[A](func: FreeMapA[A]): slamdata.Predef.Map[A, KnownIndices]

def findIndicesInStruct[A](func: FreeMapA[A]): slamdata.Predef.Map[A, KnownIndices]

final def getClass(): Class[_]

def hashCode(): Int

val indexMapping: (SeenIndices) ⇒ IndexMapping

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def remapIndicesInFunc(func: FreeMap, mapping: IndexMapping): FreeMap

def remapIndicesInJoinFunc(func: JoinFunc, lMapping: IndexMapping, rMapping: IndexMapping): JoinFunc

def remapIndicesInLeftShift[A](repair: JoinFunc, mapping: IndexMapping): JoinFunc

def rewriteBranch(branch: FreeQS, seen: SeenIndices): slamdata.Predef.Option[FreeQS]

def rewriteRepair[A](repair: FreeMapA[A], seen: SeenIndices)(implicit arg0: Show[A], arg1: RenderTree[A]): slamdata.Predef.Option[FreeMapA[A]]

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

def toString(): String

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