Class/Object

quasar.qscript.qsu

QProv

Related Docs: object QProv | package qsu

Permalink

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

    Permalink

Type Members

  1. type BucketsM[F[_]] = MonadState_[F, BucketsState[I]]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

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

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

    Permalink
    Definition Classes
    TTypes

  5. type D = T[EJson]

    Permalink

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

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

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    TTypes

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

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

    Permalink
    Definition Classes
    TTypes

  11. type I = IdAccess[D]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    TTypes

  16. type P = T[[β$1$]ProvF[T[[A]Coproduct[Extension, Common, A]], IdAccess[T[[A]Coproduct[Extension, Common, A]]], β$1$]]

    Permalink

  17. type PF[A] = ProvF[T[EJson], IdAccess[T[EJson]], A]

    Permalink

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

    Permalink
    Definition Classes
    TTypes

  19. type QAccess[A] = Access[T[EJson], A]

    Permalink
    Definition Classes
    QSUTTypes

  20. type QAuth = qsu.QAuth[T]

    Permalink
    Definition Classes
    QSUTTypes

  21. type QDims = IList[QProv.P[T]]

    Permalink
    Definition Classes
    QSUTTypes

  22. type QIdAccess = IdAccess[T[EJson]]

    Permalink
    Definition Classes
    QSUTTypes

  23. type QSUGraph = qsu.QSUGraph[T]

    Permalink
    Definition Classes
    QSUTTypes

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

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

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

    Permalink
    Definition Classes
    TTypes

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

    Permalink
    Definition Classes
    QSUTTypes

  28. type References = qsu.References[T, T[EJson]]

    Permalink
    Definition Classes
    QSUTTypes

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

    Permalink
    Definition Classes
    QSUTTypes

  30. 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. def BucketsM[F[_]](implicit ev: BucketsM[F]): BucketsM[F]

    Permalink

  5. final def asInstanceOf[T0]: T0

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

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

    Permalink

    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]

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

    Permalink

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

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

    Permalink

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

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

    Permalink
    Definition Classes
    AnyRef

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

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

    Permalink

    The index of the next group key for of.

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

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

    Permalink
    Definition Classes
    QProv → Dimension

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

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

    Permalink

    Renames from to to in the given dimensions.

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

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

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

    Permalink
    Definition Classes
    AnyRef

  37. def toString(): String

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

    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

  39. final def wait(): Unit

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

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

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

  41. 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], IdAccess[T[EJson]], QProv.P[T]]

Inherited from AnyRef

Inherited from Any

Ungrouped