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
CoEnvMap[A] = CoEnv[Hole, [β$61$]Coproduct[[β$48$]qscript.MapFuncCore[T, β$48$], [β$49$]qscript.MapFuncDerived[T, β$49$], β$61$], A]
-
type
CoEnvMapA[A, B] = CoEnv[A, [β$61$]Coproduct[[β$48$]qscript.MapFuncCore[T, β$48$], [β$49$]qscript.MapFuncDerived[T, β$49$], β$61$], B]
-
type
CoEnvQS[A] = CoEnv[Hole, [β$60$]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$], β$60$], A]
-
type
EitherMap[A] = Free[[β$59$]Coproduct[[β$48$]qscript.MapFuncCore[T, β$48$], [β$49$]qscript.MapFuncDerived[T, β$49$], β$59$], \/[A, A]]
-
-
-
type
FreeMapA[A] = Free[[β$59$]Coproduct[[β$48$]qscript.MapFuncCore[T, β$48$], [β$49$]qscript.MapFuncDerived[T, β$49$], β$59$], A]
-
type
FreeQS = Free[[β$58$]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$], β$58$], Hole]
-
type
IndexMapping = scala.collection.immutable.Map[slamdata.Predef.BigInt, slamdata.Predef.BigInt]
-
-
-
-
-
-
-
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]
-
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
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
-
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
-
-
-
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