Packages

  • package root
    Definition Classes
    root
  • package quasar
    Definition Classes
    root
  • package qscript

    The various representations of an arbitrary query, as seen by the filesystem connectors, along with the operations for dealing with them.

    The various representations of an arbitrary query, as seen by the filesystem connectors, along with the operations for dealing with them.

    There are a few patterns that are worth noting: - (src: A, ..., lBranch: FreeQS[T], rBranch: FreeQS[T], ...) – used in operations that combine multiple data sources (notably joins and unions). This holds the divergent parts of the data sources in the branches, with SrcHole indicating a reference back to the common src of the two branches. There is not required to be a SrcHole. - Free[F, A] – we use this structure as a restricted form of variable binding, where F is some pattern functor, and A is some enumeration that has a specific referent. E.g., FreeMap is a recursive structure of MapFunc that has a single “variable”, SrcHole, which (usually) refers to the src parameter of that operation. JoinFunc, FreeQS, and the repair parameter to Reduce behave similarly. - We use the type parameter QS[_] to indicate QScript, as well as the type parameters IN[_] and OUT[_] to indicate the input and output coproducts in transformations where they can be different.

    Definition Classes
    quasar
  • package analysis
    Definition Classes
    qscript
  • Cardinality
  • Cost
  • DeepShape
  • DeepShapeInstances
  • Outline
  • OutlineInstances
  • ShapePreserving
  • package provenance
    Definition Classes
    qscript
  • package qsu
    Definition Classes
    qscript
  • package rewrites
    Definition Classes
    qscript
p

quasar.qscript

analysis

package analysis

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. analysis
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Cardinality[F[_]] extends Serializable
  2. trait Cost[F[_]] extends Serializable
  3. trait DeepShape[T[_[_]], F[_]] extends AnyRef
  4. sealed abstract class DeepShapeInstances extends AnyRef
  5. trait Outline[F[_]] extends Serializable

    Computes the statically known shape of F[_].

    Computes the statically known shape of F[_].

    NB: Given a QScript typer and optional schema info, this could be replaced by a structural type analysis.

  6. sealed abstract class OutlineInstances extends AnyRef
  7. trait ShapePreserving[IN[_]] extends Serializable

    Determines if IN[_] preserves the shape of its underlying ShiftedRead.

    Determines if IN[_] preserves the shape of its underlying ShiftedRead. If it does preserve that shape then it returns the IdStatus of that ShiftedRead. If it doesn't then none is returned. This can easily be extended to also include Read, possibly with extra info to indicate whether the underlying read was Read or ShiftedRead.

Value Members

  1. def pathCard[S[_]](implicit queryOps: Ops[S]): (APath) ⇒ FileSystemErrT[[β$0$]Free[S, β$0$], slamdata.Predef.Int]
  2. object Cardinality extends Serializable
  3. object Cost extends Serializable

    This is a "generic" implementation for Cost that can be used by any connector.

    This is a "generic" implementation for Cost that can be used by any connector. Can be used for newly created connectors. More mature connectors should provide their own instance that will take into account connector-specific information.

  4. object DeepShape extends DeepShapeInstances
  5. object Outline extends OutlineInstances with Serializable
  6. object ShapePreserving extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped