Packages

final class QProv[T[_[_]]] extends Dimension[T[EJson], IdAccess[T[EJson]], P[T]] with QSUTTypes[T]

Linear Supertypes
QSUTTypes[T], TTypes[T], Dimension[T[EJson], IdAccess[T[EJson]], 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])

Type Members

  1. type BucketsM[F[_]] = MonadState_[F, BucketsState[I]]
  2. type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]
    Definition Classes
    TTypes
  3. type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]
    Definition Classes
    TTypes
  4. 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
  5. type D = T[EJson]
  6. type EquiJoin[A] = qscript.EquiJoin[T, A]
    Definition Classes
    TTypes
  7. type FreeAccess[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], qsu.QAccess[T, A]]
    Definition Classes
    QSUTTypes
  8. type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]
    Definition Classes
    TTypes
  9. type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]
    Definition Classes
    TTypes
  10. 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
  11. type I = IdAccess[D]
  12. type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]
    Definition Classes
    TTypes
  13. type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]
    Definition Classes
    TTypes
  14. type MapFuncCore[A] = qscript.MapFuncCore[T, A]
    Definition Classes
    TTypes
  15. type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]
    Definition Classes
    TTypes
  16. type P = T[[β$1$]ProvF[T[[A]Coproduct[Extension, Common, A]], IdAccess[T[[A]Coproduct[Extension, Common, A]]], β$1$]]
  17. type PF[A] = ProvF[T[EJson], IdAccess[T[EJson]], A]
  18. type ProjectBucket[A] = qscript.ProjectBucket[T, A]
    Definition Classes
    TTypes
  19. type QAccess[A] = Access[T[EJson], A]
    Definition Classes
    QSUTTypes
  20. type QAuth = qsu.QAuth[T]
    Definition Classes
    QSUTTypes
  21. type QDims = IList[QProv.P[T]]
    Definition Classes
    QSUTTypes
  22. type QIdAccess = IdAccess[T[EJson]]
    Definition Classes
    QSUTTypes
  23. type QSUGraph = qsu.QSUGraph[T]
    Definition Classes
    QSUTTypes
  24. type QScriptCore[A] = qscript.QScriptCore[T, A]
    Definition Classes
    TTypes
  25. 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]
    Definition Classes
    QSUTTypes
  26. 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
  27. type QScriptUniform[A] = qsu.QScriptUniform[T, A]
    Definition Classes
    QSUTTypes
  28. type References = qsu.References[T, T[EJson]]
    Definition Classes
    QSUTTypes
  29. type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]
    Definition Classes
    QSUTTypes
  30. type RevIdxM[F[_]] = MonadState_[F, QSUGraph.RevIdx[T]]
    Definition Classes
    QSUTTypes
  31. type ThetaJoin[A] = qscript.ThetaJoin[T, A]
    Definition Classes
    TTypes

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def BucketsM[F[_]](implicit ev: BucketsM[F]): BucketsM[F]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def autojoinKeys(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit D: Equal[T[EJson]]): JoinKeys[IdAccess[T[EJson]]]

    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]

    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: BucketsM[M]): M[P]

    Returns 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: BucketsM[M]): AlgebraM[M, PF, P]
  10. def buckets(dims: Dimensions[P]): slamdata.Predef.List[I]

    Reifies the identities in the given Dimensions.

  11. def canonicalize(ds: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[IdAccess[T[EJson]]]): Dimensions[QProv.P[T]]
    Definition Classes
    Dimension
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  13. val empty: Dimensions[QProv.P[T]]

    The empty dimension stack.

    The empty dimension stack.

    Definition Classes
    Dimension
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def flatten(id: IdAccess[T[EJson]], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    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[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def join(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[IdAccess[T[EJson]]]): Dimensions[QProv.P[T]]

    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: IdAccess[T[EJson]], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    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. def maxGroupKeyIndex(of: slamdata.Predef.Symbol, dims: Dimensions[P]): slamdata.Predef.Option[slamdata.Predef.Int]

    The greatest index of group keys for of or None if none exist.

  24. def modifyIdentities(dims: Dimensions[P])(f: (I) ⇒ I): Dimensions[P]

    Returns new dimensions where all identities have been modified by f.

  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def nest(ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Sequences the first and second dimensions.

    Sequences the first and second dimensions.

    Definition Classes
    Dimension
  27. def nextGroupKeyIndex(of: slamdata.Predef.Symbol, dims: Dimensions[P]): slamdata.Predef.Int

    The index of the next group key for of.

  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. def project(field: T[EJson], ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Project a static key/index from maps and arrays.

    Project a static key/index from maps and arrays.

    Definition Classes
    Dimension
  31. val prov: Prov[D, I, P]
    Definition Classes
    QProv → Dimension
  32. def reduce(ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Reduces the dimensional stack by peeling off the current dimension.

    Reduces the dimensional stack by peeling off the current dimension.

    Definition Classes
    Dimension
  33. def rename(from: slamdata.Predef.Symbol, to: slamdata.Predef.Symbol, dims: Dimensions[P]): Dimensions[P]

    Renames from to to in the given dimensions.

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

    Collapses all dimensions into a single one.

    Collapses all dimensions into a single one.

    Definition Classes
    Dimension
  35. def swap(idxN: slamdata.Predef.Int, idxM: slamdata.Predef.Int, ds: Dimensions[QProv.P[T]]): Dimensions[QProv.P[T]]

    Swaps the dimensions at the nth and mth indices.

    Swaps the dimensions at the nth and mth indices.

    Definition Classes
    Dimension
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. def union(ls: Dimensions[QProv.P[T]], rs: Dimensions[QProv.P[T]])(implicit eqD: Equal[T[EJson]], eqI: Equal[IdAccess[T[EJson]]]): Dimensions[QProv.P[T]]

    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
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from QSUTTypes[T]

Inherited from TTypes[T]

Inherited from Dimension[T[EJson], IdAccess[T[EJson]], QProv.P[T]]

Inherited from AnyRef

Inherited from Any

Ungrouped