Class/Object

quasar.qscript.qsu

QProv

Related Docs: object QProv | package qsu

Permalink

final class QProv[T[_[_]]] extends Dimension[T[EJson], FreeMapA[T, Access[slamdata.Predef.Symbol]], P[T]] with QSUTTypes[T]

Linear Supertypes
QSUTTypes[T], TTypes[T], Dimension[T[EJson], qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]], QProv.P[T]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QProv
  2. QSUTTypes
  3. TTypes
  4. Dimension
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new QProv()(implicit arg0: BirecursiveT[T], arg1: EqualT[T])

    Permalink

Type Members

  1. type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

    Permalink
    Definition Classes
    TTypes

  2. type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  4. type D = T[EJson]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

  6. type FreeAccess[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Access[A]]

    Permalink
    Definition Classes
    QSUTTypes

  7. type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]

    Permalink
    Definition Classes
    TTypes

  8. type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]

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

    Permalink
    Definition Classes
    TTypes

  10. type I = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Access[slamdata.Predef.Symbol]]

    Permalink

  11. type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]

    Permalink
    Definition Classes
    TTypes

  12. type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  14. type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]

    Permalink
    Definition Classes
    TTypes

  15. type P = T[[β$2$]ProvF[T[[A]Coproduct[Extension, Common, A]], Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Access[Symbol]], β$2$]]

    Permalink

  16. type PF[A] = ProvF[T[EJson], qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]], A]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

  18. type QSUGraph = qsu.QSUGraph[T]

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    TTypes

  20. type QScriptEducated[A] = Coproduct[[β$23$]qscript.QScriptCore[T, β$23$], [A]Coproduct[[β$20$]qscript.ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[Read[Path[Abs, File, Sandboxed]], β$22$], A], A], A]

    Permalink
    Definition Classes
    QSUTTypes

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

  22. type QScriptUniform[A] = qsu.QScriptUniform[T, A]

    Permalink
    Definition Classes
    QSUTTypes

  23. type References = qsu.References[T]

    Permalink
    Definition Classes
    QSUTTypes

  24. type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]

    Permalink
    Definition Classes
    QSUTTypes

  25. 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 autojoinCondition(ls: Dimensions[P], rs: Dimensions[P]): FreeAccess[JoinSide]

    Permalink

    The JoinFunc representing the autojoin of the given dimensions.

  6. def autojoinKeys(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit D: Equal[T[EJson]]): JoinKeys[qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]]]

    Permalink

    Returns the JoinKeys describing the autojoin of the two dimension stacks.

    Returns the JoinKeys describing the autojoin of the two dimension stacks.

    Definition Classes
    Dimension

  7. def bucketAccess(src: slamdata.Predef.Symbol, dims: Dimensions[P]): Dimensions[P]

    Permalink

    Converts identity access in dims to bucket access of src.

  8. def bucketedIds[M[_]](src: slamdata.Predef.Symbol, p: P)(implicit arg0: Monad[M], arg1: MonadState_[M, Int]): M[(P, ==>>[slamdata.Predef.Int, I])]

    Permalink

    Returns a position map of the identities present in the given provenance and a new provenance where the identities have been replaced with the appropriate bucket references.

  9. def bucketedIdsƒ[M[_]](src: slamdata.Predef.Symbol)(implicit arg0: Monad[M], M: MonadState_[M, slamdata.Predef.Int]): AlgebraM[M, PF, (P, ==>>[slamdata.Predef.Int, I])]

    Permalink

  10. def buckets(dims: Dimensions[P]): slamdata.Predef.List[I]

    Permalink

    Reifies the identities in the given Dimensions.

  11. def canonicalize(ds: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]]]): Dimensions[QProv.P[T]]

    Permalink
    Definition Classes
    Dimension

  12. def clone(): AnyRef

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

  13. val empty: Dimensions[QProv.P[T]]

    Permalink

    The empty dimension stack.

    The empty dimension stack.

    Definition Classes
    Dimension

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

    Permalink
    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

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

  17. def flatten(id: qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Updates the dimensional stack by sequencing a new dimension from value space with the current head dimension.

    Updates the dimensional stack by sequencing a new dimension from value space with the current head dimension.

    Definition Classes
    Dimension

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

    Permalink
    Definition Classes
    AnyRef → Any

  19. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  21. def join(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]]]): Dimensions[QProv.P[T]]

    Permalink

    Joins two dimensions into a single dimension stack, starting from the base.

    Joins two dimensions into a single dimension stack, starting from the base.

    Definition Classes
    Dimension

  22. def lshift(id: qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Shifts the dimensional stack by pushing a new dimension from value space onto the stack.

    Shifts the dimensional stack by pushing a new dimension from value space onto the stack.

    Definition Classes
    Dimension

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

    Permalink
    Definition Classes
    AnyRef

  24. def nest(ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Sequences the first and second dimensions.

    Sequences the first and second dimensions.

    Definition Classes
    Dimension

  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  27. def project(field: T[EJson], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Project a static key/index from maps and arrays.

    Project a static key/index from maps and arrays.

    Definition Classes
    Dimension

  28. val prov: Prov[D, I, P]

    Permalink
    Definition Classes
    QProv → Dimension

  29. def reduce(ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Reduces the dimensional stack by peeling off the current dimension.

    Reduces the dimensional stack by peeling off the current dimension.

    Definition Classes
    Dimension

  30. def rename(from: slamdata.Predef.Symbol, to: slamdata.Predef.Symbol, dims: Dimensions[P]): Dimensions[P]

    Permalink

    Renames from to to in the given dimensions.

  31. def squash(ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Collapses all dimensions into a single one.

    Collapses all dimensions into a single one.

    Definition Classes
    Dimension

  32. def swap(idxN: slamdata.Predef.Int, idxM: slamdata.Predef.Int, ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Permalink

    Swaps the dimensions at the nth and mth indices.

    Swaps the dimensions at the nth and mth indices.

    Definition Classes
    Dimension

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

    Permalink
    Definition Classes
    AnyRef

  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  35. def union(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]]]): Dimensions[QProv.P[T]]

    Permalink

    Unions the two dimensions into a single dimensional stack, starting from the base.

    Unions the two dimensions into a single dimensional stack, starting from the base.

    Definition Classes
    Dimension

  36. final def wait(): Unit

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

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

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

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

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

Inherited from QSUTTypes[T]

Inherited from TTypes[T]

Inherited from Dimension[T[EJson], qscript.FreeMapA[T, Access[slamdata.Predef.Symbol]], QProv.P[T]]

Inherited from AnyRef

Inherited from Any

Ungrouped