Type Members

1.  sealed abstract class Access[D, A] extends AnyRef
2.  sealed abstract class AccessInstances extends AccessInstances0
3.  sealed abstract class AccessInstances0 extends AnyRef
4.  final class ApplyProvenance[T[_[_]]] extends QSUTTypes[T]
5.  final class ExpandShifts[T[_[_]]] extends QSUTTypes[T]
6.  final class ExtractFreeMap[T[_[_]]] extends QSUTTypes[T]

   Extracts MapFunc expressions from operations by requiring an argument to be a function of one or more sibling arguments and creating an autojoin if not.

7.  type FreeAccess[T[_[_]], A] = Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], QAccess[T, A]]
8.  final class Graduate[T[_[_]]] extends QSUTTypes[T]
9.  sealed abstract class IdAccess[D] extends AnyRef

   Describes access to the various forms of ids.

10.  sealed abstract class IdAccessInstances extends IdAccessInstances0
11.  sealed abstract class IdAccessInstances0 extends AnyRef
12.  final class LPtoQS[T[_[_]]] extends QSUTTypes[T]
13.  final class MinimizeAutoJoins[T[_[_]]] extends QSUTTypes[T]
14.  type QAccess[T[_[_]], A] = Access[T[EJson], A]
15.  final case class QAuth[T[_[_]]](dims: slamdata.Predef.Map[slamdata.Predef.Symbol, QDims[T]], groupKeys: slamdata.Predef.Map[(slamdata.Predef.Symbol, slamdata.Predef.Int), FreeMap[T]]) extends Product with Serializable
16.  sealed abstract class QAuthInstances extends AnyRef
17.  type QDims[T[_[_]]] = IList[P[T]]
18.  type QIdAccess[T[_[_]]] = IdAccess[T[EJson]]
19.  final class QProv[T[_[_]]] extends Dimension[T[EJson], IdAccess[T[EJson]], P[T]] with QSUTTypes[T]
20.  final case class QSUGraph[T[_[_]]](root: slamdata.Predef.Symbol, vertices: QSUVerts[T]) extends Product with Serializable
21.  sealed abstract class QSUGraphInstances extends QSUGraphInstances0
22.  sealed abstract class QSUGraphInstances0 extends AnyRef
23.  trait QSUTTypes[T[_[_]]] extends TTypes[T]
24.  type QSUVerts[T[_[_]]] = scala.collection.immutable.Map[slamdata.Predef.Symbol, QScriptUniform[T, slamdata.Predef.Symbol]]
25.  sealed trait QScriptUniform[T[_[_]], A] extends slamdata.Predef.Product with slamdata.Predef.Serializable
26.  final class ReadLP[T[_[_]]] extends QSUTTypes[T]
27.  final case class References[T[_[_]], D](accessing: Accessing[T, D], accessed: Accessed[D]) extends Product with Serializable
28.  final class ReifyAutoJoins[T[_[_]]] extends QSUTTypes[T]
29.  final class ReifyBuckets[T[_[_]]] extends QSUTTypes[T]
30.  final class ReifyIdentities[T[_[_]]] extends QSUTTypes[T]

    TODO With smarter structural MapFunc simplification, we could just ConcatMaps(LeftSide, <value>) when preserving identities instead of reconstructing the identity key, however this currently defeats the mini structural evaluator that simplifies things like ProjectKey(MakeMap(foo, <bar>), foo) => bar.

31.  final class ResolveOwnIdentities[T[_[_]]] extends QSUTTypes[T]
32.  type RevIdxM[T[_[_]], F[_]] = MonadState_[F, RevIdx[T]]
33.  final class RewriteGroupByArrays[T[_[_]]] extends QSUTTypes[T]
34.  final class UnifyTargets[T[_[_]], F[_]] extends QSUTTypes[T]

    Given a graph, source and targets vertices, unifies access to the target values via FreeMaps over a common source.

    Given a graph, source and targets vertices, unifies access to the target values via FreeMaps over a common source.

    Returns the new source graph, a unary function to access the original source value and a list of symbols tupled with unary functions to access the values of each of the provided targets.