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 Ann = qscript.Ann[T]

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

  6. type D = T[EJson]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

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

    Permalink

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

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

    Permalink

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

    Permalink
    Definition Classes
    TTypes

  20. type QSUGraph = qsu.QSUGraph[T]

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    TTypes

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

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

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

    Permalink
    Definition Classes
    QSUTTypes

  25. type References = qsu.References[T]

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    TTypes

  28. 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 clone(): AnyRef

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

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

    Permalink

    The empty dimension stack.

    The empty dimension stack.

    Definition Classes
    Dimension

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

    Permalink
    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  15. def finalize(): Unit

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  20. def join(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]]): 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

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

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

    Permalink
    Definition Classes
    AnyRef

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

  24. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  25. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

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

    Permalink
    Definition Classes
    QProv → Dimension

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

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

    Permalink

    Renames from to to in the given dimensions.

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

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

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

    Permalink
    Definition Classes
    AnyRef

  33. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  34. def union(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]]): 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

  35. final def wait(): Unit

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

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

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

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