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
  • package provenance
    Definition Classes
    qscript
  • AsSet
  • Dimension
  • JoinKey
  • JoinKeyInstances
  • JoinKeys
  • JoinKeysInstances
  • Prov
  • ProvF
  • ProvFInstances
  • package qsu
    Definition Classes
    qscript
  • package rewrites
    Definition Classes
    qscript
p

quasar.qscript

provenance

package provenance

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

Type Members

  1. sealed trait AsSet extends AnyRef
  2. trait Dimension[D, I, P] extends AnyRef
  3. type Dimensions[P] = IList[P]
  4. final case class JoinKey[I](left: I, right: I) extends Product with Serializable
  5. sealed abstract class JoinKeyInstances extends AnyRef
  6. final case class JoinKeys[I](keys: IList[NonEmptyList[JoinKey[I]]]) extends Product with Serializable
  7. sealed abstract class JoinKeysInstances extends AnyRef
  8. trait Prov[D, I, P] extends AnyRef

    D

    type of data

    I

    type of identity

    P

    provenance representation

  9. sealed abstract class ProvF[D, I, A] extends AnyRef

    D

    type of data

    I

    type of identity

    A

    recursive position

  10. sealed abstract class ProvFInstances extends AnyRef

Value Members

  1. val AsSet: TagOf[AsSet]
  2. implicit def asSetEqual[F[_], A](implicit arg0: Foldable[F], arg1: Equal[A]): Equal[@@[F[A], AsSet]]
  3. object Dimension
  4. object JoinKey extends JoinKeyInstances with Serializable
  5. object JoinKeys extends JoinKeysInstances with Serializable
  6. object Prov
  7. object ProvF extends ProvFInstances

Inherited from AnyRef

Inherited from Any

Ungrouped