qsu

Type Members

sealed abstract class Access[A] extends AnyRef

Describes access to the value and identity of A.
sealed abstract class AccessInstances extends AccessInstances0
sealed abstract class AccessInstances0 extends AnyRef
final class ApplyProvenance[T[_[_]]] extends AnyRef
final class EliminateUnary[T[_[_]]] extends QSUTTypes[T]
type FreeAccess[T[_[_]], A] = Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], Access[A]]
final class Graduate[T[_[_]]] extends QSUTTypes[T]
final class LPtoQS[T[_[_]]] extends QSUTTypes[T]
final class MinimizeAutoJoins[T[_[_]]] extends QSUTTypes[T]
final class QProv[T[_[_]]] extends Dimension[T[EJson], FreeMapA[T, Access[slamdata.Predef.Symbol]], P[T]] with QSUTTypes[T]
type QSUDims[T[_[_]]] = scala.collection.immutable.Map[slamdata.Predef.Symbol, Dimensions[P[T]]]
final case class QSUGraph[T[_[_]]](root: slamdata.Predef.Symbol, vertices: QSUVerts[T]) extends Product with Serializable
sealed abstract class QSUGraphInstances extends QSUGraphInstances0
sealed abstract class QSUGraphInstances0 extends AnyRef
trait QSUTTypes[T[_[_]]] extends TTypes[T]
type QSUVerts[T[_[_]]] = scala.collection.immutable.Map[slamdata.Predef.Symbol, QScriptUniform[T, slamdata.Predef.Symbol]]
sealed trait QScriptUniform[T[_[_]], A] extends slamdata.Predef.Product with slamdata.Predef.Serializable
final class ReadLP[T[_[_]]] extends QSUTTypes[T]
final class RecognizeDistinct[T[_[_]]] extends QSUTTypes[T]
final case class References[T[_[_]]](accessing: Accessing[T], accessed: Accessed) extends Product with Serializable
final class ReifyAutoJoins[T[_[_]]] extends QSUTTypes[T]
final class ReifyIdentities[T[_[_]]] extends QSUTTypes[T]

Value Members

object Access extends AccessInstances
object ApplyProvenance
object EliminateUnary
object ExtractFreeMap

Extracts MapFunc expressions from operations by requiring an argument to be a function of one or more sibling arguments and erroring if not.
Extracts MapFunc expressions from operations by requiring an argument to be a function of one or more sibling arguments and erroring if not.
NB: A temporary transformation for prototyping, each of the operations here will eventually handle arguments having different dimensionality.
object Graduate
object LPtoQS
object MappableRegion

The maximal "mappable" (expressable via MapFunc) region of a graph.
object MinimizeAutoJoins
object QProv
object QSUGraph extends QSUGraphInstances with Serializable
object QScriptUniform extends Serializable
object ReadLP
object RecognizeDistinct
object References extends Serializable
object ReifyAutoJoins
object ReifyBuckets
object ReifyIdentities

package qsu

Type Members

sealed abstract class Access[A] extends AnyRef

sealed abstract class AccessInstances extends AccessInstances0

sealed abstract class AccessInstances0 extends AnyRef

final class ApplyProvenance[T[_[_]]] extends AnyRef

final class EliminateUnary[T[_[_]]] extends QSUTTypes[T]

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

final class Graduate[T[_[_]]] extends QSUTTypes[T]

final class LPtoQS[T[_[_]]] extends QSUTTypes[T]

final class MinimizeAutoJoins[T[_[_]]] extends QSUTTypes[T]

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

type QSUDims[T[_[_]]] = scala.collection.immutable.Map[slamdata.Predef.Symbol, Dimensions[P[T]]]

final case class QSUGraph[T[_[_]]](root: slamdata.Predef.Symbol, vertices: QSUVerts[T]) extends Product with Serializable

sealed abstract class QSUGraphInstances extends QSUGraphInstances0

sealed abstract class QSUGraphInstances0 extends AnyRef

trait QSUTTypes[T[_[_]]] extends TTypes[T]

type QSUVerts[T[_[_]]] = scala.collection.immutable.Map[slamdata.Predef.Symbol, QScriptUniform[T, slamdata.Predef.Symbol]]

sealed trait QScriptUniform[T[_[_]], A] extends slamdata.Predef.Product with slamdata.Predef.Serializable

final class ReadLP[T[_[_]]] extends QSUTTypes[T]

final class RecognizeDistinct[T[_[_]]] extends QSUTTypes[T]

final case class References[T[_[_]]](accessing: Accessing[T], accessed: Accessed) extends Product with Serializable

final class ReifyAutoJoins[T[_[_]]] extends QSUTTypes[T]

final class ReifyIdentities[T[_[_]]] extends QSUTTypes[T]

Value Members

object Access extends AccessInstances

object ApplyProvenance

object EliminateUnary

object ExtractFreeMap

object Graduate

object LPtoQS

object MappableRegion

object MinimizeAutoJoins

object QProv

object QSUGraph extends QSUGraphInstances with Serializable

object QScriptUniform extends Serializable

object ReadLP

object RecognizeDistinct

object References extends Serializable

object ReifyAutoJoins

object ReifyBuckets

object ReifyIdentities

Inherited from AnyRef

Inherited from Any

Ungrouped