Package

quasar

qscript

Permalink

package qscript

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.

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

Type Members

  1. sealed abstract class Binary[T[_[_]], A] extends MapFuncCore[T, A]

    Permalink
  2. sealed abstract class BinaryDerived[T[_[_]], A] extends MapFuncDerived[T, A]

    Permalink
  3. trait Branches[T[_[_]], IN[_]] extends AnyRef

    Permalink
  4. final case class BucketIndex[T[_[_]], A](src: A, value: FreeMap[T], index: FreeMap[T]) extends ProjectBucket[T, A] with Product with Serializable

    Permalink
  5. final case class BucketKey[T[_[_]], A](src: A, value: FreeMap[T], name: FreeMap[T]) extends ProjectBucket[T, A] with Product with Serializable

    Permalink
  6. type CoEnvMap[T[_[_]], A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$75$], A]

    Permalink
  7. type CoEnvMapA[T[_[_]], A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$75$], B]

    Permalink
  8. type CoEnvQS[T[_[_]], A] = CoEnv[Hole, [β$74$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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
  9. sealed abstract class DeadEnd extends AnyRef

    Permalink
  10. trait DiscoverPath[IN[_]] extends AnyRef

    Permalink

    This extracts statically-known paths from QScript queries to make it easier for connectors to map queries to their own filesystems.

  11. abstract class DiscoverPathInstances extends AnyRef

    Permalink
  12. final case class EquiJoin[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T], key: slamdata.Predef.List[(FreeMap[T], FreeMap[T])], f: JoinType, combine: JoinFunc[T]) extends Product with Serializable

    Permalink

    This is an optional component of QScript that can be used instead of ThetaJoin.

    This is an optional component of QScript that can be used instead of ThetaJoin. It’s easier to implement, but more restricted (where ThetaJoin has an arbitrary predicate to determine if a pair of records should be combined, EquiJoin has an expression on each side that is compared with simple equality).

  13. trait ExpandMapFunc[IN[_]] extends Serializable

    Permalink
  14. sealed abstract class ExpandMapFuncInstances extends ExpandMapFuncInstancesʹ

    Permalink
  15. sealed abstract class ExpandMapFuncInstancesʹ extends AnyRef

    Permalink
  16. trait ExtractPath[F[_], P] extends AnyRef

    Permalink

    Extracts paths of particular type from QScript, collecting them in the provided ApplicativePlus.

  17. sealed abstract class ExtractPathInstances extends ExtractPathInstances0

    Permalink
  18. sealed abstract class ExtractPathInstances0 extends AnyRef

    Permalink
  19. final case class Filter[T[_[_]], A](src: A, f: FreeMap[T]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Eliminates some values from a dataset, based on the result of f (which must evaluate to a boolean value for each element in the set).

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

    Permalink
  21. type FreeMapA[T[_[_]], A] = Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], A]

    Permalink
  22. type FreeQS[T[_[_]]] = Free[[β$72$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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
  23. sealed abstract class Hole extends AnyRef

    Permalink
  24. sealed abstract class IdStatus extends AnyRef

    Permalink
  25. trait Injectable[IN[_]] extends AnyRef

    Permalink

    This is like scalaz.Inject, but for injecting an arbitrary coproduct where all of the components are in the OUT coproduct in any order.

    This is like scalaz.Inject, but for injecting an arbitrary coproduct where all of the components are in the OUT coproduct in any order.

    It _may_ be unprincipled (otherwise, why not allow scalaz.Inject to work this way directly?) But it is temporarily necessary in order to “inject” our more constrained versions of QScript into QScriptTotal.

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

    Permalink
  27. sealed abstract class JoinSide extends AnyRef

    Permalink
  28. sealed abstract class JoinSide3 extends AnyRef

    Permalink
  29. final case class LeftShift[T[_[_]], A](src: A, struct: FreeMap[T], idStatus: IdStatus, shiftType: ShiftType, repair: JoinFunc[T]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Flattens nested structure, converting each value into a data set, which are then unioned.

    Flattens nested structure, converting each value into a data set, which are then unioned.

    struct is an expression that evaluates to an array or object, which is then “exploded” into multiple values. idStatus indicates what each of those exploded values should look like (either just the value, just the “id” (i.e., the key or index), or a 2-element array of key and value). repair is applied across the new set, integrating the exploded values into the original set.

    E.g., in: LeftShift(x, ProjectKey(SrcHole, "bar"), ExcludeId, ConcatMaps(LeftSide, MakeMap("bar", RightSide))) If x consists of things that look like { foo: 7, bar: [1, 2, 3] }, then that’s what LeftSide is. And RightSide is values like 1, 2, and 3, because that’s what you get from flattening the struct.So then our right-biased quasar.qscript.MapFuncsCore.ConcatMaps says to concat { foo: 7, bar: [1, 2, 3] } with { bar: 1 }, resulting in { foo: 7, bar: 1 } (then again with { foo: 7, bar: 2 } and { foo: 7, bar: 3 }, finishing up the handling of that one element in the original (x) dataset.

  30. final case class Map[T[_[_]], A](src: A, f: FreeMap[T]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    A data-level transformation.

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

    Permalink
  32. sealed abstract class MapFuncCore[T[_[_]], A] extends AnyRef

    Permalink
  33. sealed abstract class MapFuncDerived[T[_[_]], A] extends AnyRef

    Permalink
  34. sealed abstract class Nullary[T[_[_]], A] extends MapFuncCore[T, A]

    Permalink
  35. sealed abstract class NullaryDerived[T[_[_]], A] extends MapFuncDerived[T, A]

    Permalink
  36. sealed abstract class ProjectBucket[T[_[_]], A] extends AnyRef

    Permalink

    Projections are technically dimensional (i.e., QScript) operations.

    Projections are technically dimensional (i.e., QScript) operations. However, to a filesystem, they are merely Map operations. So, we use these components while building the QScript plan and they are then used in static path processing, but they are replaced with equivalent MapFuncsCore before being processed by the filesystem.

  37. type QScript[T[_[_]], A] = Coproduct[[β$36$]QScriptCore[T, β$36$], [A]Coproduct[[β$34$]ThetaJoin[T, β$34$], [β$35$]Const[DeadEnd, β$35$], A], A]

    Permalink

    QScript that has not gone through Read conversion.

  38. sealed abstract class QScriptCore[T[_[_]], A] extends slamdata.Predef.Product with slamdata.Predef.Serializable

    Permalink
  39. type QScriptEducated[T[_[_]], A] = Coproduct[[β$23$]QScriptCore[T, β$23$], [A]Coproduct[[β$20$]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

    Initial QScript.

  40. type QScriptRead[T[_[_]], A] = Coproduct[[β$45$]QScriptCore[T, β$45$], [A]Coproduct[[β$42$]ThetaJoin[T, β$42$], [A]Coproduct[[β$43$]Const[Read[Path[Abs, Dir, Sandboxed]], β$43$], [β$44$]Const[Read[Path[Abs, File, Sandboxed]], β$44$], A], A], A]

    Permalink

    QScript that has gone through Read conversion.

    QScript that has gone through Read conversion.

    NB: Once QScriptTotal goes away, this could become parametric in the path type.

  41. type QScriptShiftRead[T[_[_]], A] = Coproduct[[β$55$]QScriptCore[T, β$55$], [A]Coproduct[[β$52$]ThetaJoin[T, β$52$], [A]Coproduct[[β$53$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$53$], [β$54$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$54$], A], A], A]

    Permalink

    QScript that has gone through Read conversion and shifted conversion.

    QScript that has gone through Read conversion and shifted conversion.

    NB: Once QScriptTotal goes away, this could become parametric in the path type.

  42. type QScriptTotal[T[_[_]], A] = Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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

    This type is _only_ used for join branch-like structures.

    This type is _only_ used for join branch-like structures. It’s an unfortunate consequence of not having mutually-recursive data structures. Once we do, this can go away. It should _not_ be used in other situations.

    NB: We're using the "alias" method of building the coproduct here as it provides a modest reduction in compilation time (~15%) for this module.

  43. type QScriptTotal0[T[_[_]], A] = Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], A]

    Permalink
  44. type QScriptTotal1[T[_[_]], A] = Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], A]

    Permalink
  45. type QScriptTotal2[T[_[_]], A] = Coproduct[[β$6$]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$], A]

    Permalink
  46. type QScriptTotal3[T[_[_]], A] = 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$], A]

    Permalink
  47. type QScriptTotal4[T[_[_]], A] = 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$], A]

    Permalink
  48. type QScriptTotal5[T[_[_]], A] = Coproduct[[β$12$]Const[Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], A]

    Permalink
  49. type QScriptTotal6[T[_[_]], A] = Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], A]

    Permalink
  50. final case class Read[A](path: A) extends Product with Serializable

    Permalink

    A backend-resolved Root, which is now a path.

  51. final case class Reduce[T[_[_]], A](src: A, bucket: slamdata.Predef.List[FreeMap[T]], reducers: slamdata.Predef.List[ReduceFunc[FreeMap[T]]], repair: FreeMapA[T, ReduceIndex]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Performs a reduction over a dataset, with the dataset partitioned by the result of the bucket MapFuncCore.

    Performs a reduction over a dataset, with the dataset partitioned by the result of the bucket MapFuncCore. So, rather than many-to-one, this is many-to-fewer.

    bucket partitions the values into buckets based on the result of the expression, reducers applies the provided reduction to each expression, and repair finally turns those reduced expressions into a final value.

    ReduceIndex is guaranteed to be a valid index into reducers.

  52. sealed abstract class ReduceFunc[A] extends AnyRef

    Permalink
  53. final case class ReduceIndex(idx: \/[slamdata.Predef.Int, slamdata.Predef.Int]) extends Product with Serializable

    Permalink

    Left indexes into the bucket.

    Left indexes into the bucket. Right indexes into the reducers.

  54. sealed abstract class SelectionOp extends AnyRef

    Permalink
  55. sealed trait ShiftType extends Product with Serializable

    Permalink
  56. final case class ShiftedRead[A](path: A, idStatus: IdStatus) extends Product with Serializable

    Permalink

    Similar to Read, but returns a dataset with an entry for each record.

    Similar to Read, but returns a dataset with an entry for each record. If idStatus is IncludeId, then it returns a two-element array for each record, with the id at element 0 and the record itself at element 1. If it’s ExcludeId, then it simply returns the record.

  57. final case class Sort[T[_[_]], A](src: A, bucket: slamdata.Predef.List[FreeMap[T]], order: NonEmptyList[(FreeMap[T], SortDir)]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Sorts values within a bucket.

    Sorts values within a bucket. This can be an _unstable_ sort, but the elements of order must be stably sorted.

  58. final case class Subset[T[_[_]], A](src: A, from: FreeQS[T], op: SelectionOp, count: FreeQS[T]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Chooses a subset of values from a dataset, given a count.

  59. trait TTypes[T[_[_]]] extends AnyRef

    Permalink

    Centralizes the knowledge of T[_[_]].

    Centralizes the knowledge of T[_[_]]. This is for compilation performance.

  60. sealed abstract class Ternary[T[_[_]], A] extends MapFuncCore[T, A]

    Permalink
  61. sealed abstract class TernaryDerived[T[_[_]], A] extends MapFuncDerived[T, A]

    Permalink
  62. final case class ThetaJoin[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T], on: JoinFunc[T], f: JoinType, combine: JoinFunc[T]) extends Product with Serializable

    Permalink

    Applies a function across two datasets, in the cases where the JoinFunc evaluates to true.

    Applies a function across two datasets, in the cases where the JoinFunc evaluates to true. The branches represent the divergent operations applied to some common src. Each branch references the src exactly once. (Since no constructor has more than one recursive component, it’s guaranteed that neither side references the src _more_ than once.)

    This case represents a full θJoin, but we could have an algebra that rewrites it as Filter(_, EquiJoin(...)) to simplify behavior for the backend.

  63. trait Trans[F[_], M[_]] extends AnyRef

    Permalink
  64. sealed abstract class Unary[T[_[_]], A] extends MapFuncCore[T, A]

    Permalink
  65. sealed abstract class UnaryDerived[T[_[_]], A] extends MapFuncDerived[T, A]

    Permalink
  66. trait UnaryFunctions[T[_[_]], IN[_]] extends AnyRef

    Permalink
  67. final case class Union[T[_[_]], A](src: A, lBranch: FreeQS[T], rBranch: FreeQS[T]) extends QScriptCore[T, A] with Product with Serializable

    Permalink

    Creates a new dataset that contains the elements from the datasets created by each branch.

    Creates a new dataset that contains the elements from the datasets created by each branch. Duplicate values should be eliminated.

  68. final case class Unreferenced[T[_[_]], A]() extends QScriptCore[T, A] with Product with Serializable

    Permalink

    A placeholder value that can appear in plans, but will never be referenced in the result.

    A placeholder value that can appear in plans, but will never be referenced in the result. We consider this a wart. It should be implemented as an arbitrary value (of cardinality 1) with minimal cost to generate (since it will simply be discarded).

Value Members

  1. def ::/::[T[_[_]], F[_], G[_]](implicit F: :<:[F, [β$95$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$95$]], G: :<:[G, [β$96$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$96$]]): Aux[[γ$97$]Coproduct[F, G, γ$97$], [β$98$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$98$]]

    Permalink
  2. object ::\::

    Permalink
  3. object Branches

    Permalink
  4. object BucketIndex extends Serializable

    Permalink
  5. object BucketKey extends Serializable

    Permalink
  6. object Center extends JoinSide3 with Product with Serializable

    Permalink
  7. object DeadEnd

    Permalink
  8. object DiscoverPath extends DiscoverPathInstances

    Permalink
  9. object Drop extends SelectionOp with Product with Serializable

    Permalink

    Drops the first count elements from a dataset.

  10. object EquiJoin extends Serializable

    Permalink
  11. object ExcludeId extends IdStatus with Product with Serializable

    Permalink
  12. object ExpandMapFunc extends ExpandMapFuncInstances with Serializable

    Permalink
  13. object ExtractFunc

    Permalink
  14. object ExtractPath extends ExtractPathInstances

    Permalink
  15. object Filter extends Serializable

    Permalink
  16. object Hole

    Permalink
  17. def HoleF[T[_[_]]]: FreeMap[T]

    Permalink
  18. def HoleQS[T[_[_]]]: FreeQS[T]

    Permalink
  19. object IdOnly extends IdStatus with Product with Serializable

    Permalink
  20. object IdStatus

    Permalink
  21. object IncludeId extends IdStatus with Product with Serializable

    Permalink
  22. object Injectable

    Permalink
  23. object JoinSide

    Permalink
  24. object JoinSide3

    Permalink
  25. object LeftShift extends Serializable

    Permalink
  26. object LeftSide extends JoinSide with Product with Serializable

    Permalink
  27. object LeftSide3 extends JoinSide3 with Product with Serializable

    Permalink
  28. def LeftSideF[T[_[_]]]: JoinFunc[T]

    Permalink
  29. object MFC

    Permalink
  30. object MFD

    Permalink
  31. object Map extends Serializable

    Permalink
  32. object MapFunc

    Permalink
  33. object MapFuncCore

    Permalink
  34. object MapFuncDerived

    Permalink
  35. object MapFuncsCore

    Permalink
  36. object MapFuncsDerived

    Permalink
  37. object ProjectBucket

    Permalink
  38. object QCE

    Permalink
  39. object QCT

    Permalink
  40. object QScriptCore extends Serializable

    Permalink
  41. object Read extends Serializable

    Permalink
  42. object Reduce extends Serializable

    Permalink
  43. object ReduceFunc

    Permalink
  44. object ReduceFuncs

    Permalink
  45. object ReduceIndex extends Serializable

    Permalink
  46. def ReduceIndexF[T[_[_]]](i: \/[slamdata.Predef.Int, slamdata.Predef.Int]): FreeMapA[T, ReduceIndex]

    Permalink
  47. object RenderQScriptDSL

    Permalink
    Annotations
    @SuppressWarnings()
  48. object RightSide extends JoinSide with Product with Serializable

    Permalink
  49. object RightSide3 extends JoinSide3 with Product with Serializable

    Permalink
  50. def RightSideF[T[_[_]]]: JoinFunc[T]

    Permalink
  51. object Root extends DeadEnd with Product with Serializable

    Permalink

    The top level of a filesystem.

    The top level of a filesystem. During compilation this represents /, but in the structure a backend sees, it represents the mount point.

  52. object Sample extends SelectionOp with Product with Serializable

    Permalink

    Similar to Take, but keeps a random sampling of elements.

  53. object SelectionOp

    Permalink
  54. object ShiftType extends Serializable

    Permalink
  55. object ShiftedRead extends Serializable

    Permalink
  56. object Sort extends Serializable

    Permalink
  57. object SrcHole extends Hole with Product with Serializable

    Permalink
  58. object Subset extends Serializable

    Permalink
  59. object Take extends SelectionOp with Product with Serializable

    Permalink

    Drops all elements after the first count elements from a dataset.

  60. object ThetaJoin extends Serializable

    Permalink
  61. object Trans

    Permalink
  62. object UnaryFunctions

    Permalink
  63. object Union extends Serializable

    Permalink
  64. object Unreferenced extends Serializable

    Permalink
  65. package analysis

    Permalink
  66. object construction

    Permalink
  67. def educatedToTotal[T[_[_]]]: Aux[[β$24$]Coproduct[[β$23$]QScriptCore[T, β$23$], [A]Coproduct[[β$20$]ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[Read[Path[Abs, File, Sandboxed]], β$22$], A], A], β$24$], [β$25$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$25$]]

    Permalink
  68. def injectRepeatedly[F[_], G[_], A](op: (F[A]) ⇒ slamdata.Predef.Option[G[A]])(implicit F: :<:[F, G]): (F[A]) ⇒ G[A]

    Permalink

    A variant of repeatedly that works with Inject instances.

    A variant of repeatedly that works with Inject instances.

    Annotations
    @SuppressWarnings()
  69. package provenance

    Permalink
  70. implicit def qScriptReadToQscriptTotal[T[_[_]]]: Aux[[β$46$]Coproduct[[β$45$]QScriptCore[T, β$45$], [A]Coproduct[[β$42$]ThetaJoin[T, β$42$], [A]Coproduct[[β$43$]Const[Read[Path[Abs, Dir, Sandboxed]], β$43$], [β$44$]Const[Read[Path[Abs, File, Sandboxed]], β$44$], A], A], β$46$], [β$47$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$47$]]

    Permalink
  71. implicit def qScriptShiftReadToQScriptTotal[T[_[_]]]: Aux[[β$56$]Coproduct[[β$55$]QScriptCore[T, β$55$], [A]Coproduct[[β$52$]ThetaJoin[T, β$52$], [A]Coproduct[[β$53$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$53$], [β$54$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$54$], A], A], β$56$], [β$57$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$57$]]

    Permalink
  72. implicit def qScriptToQscriptTotal[T[_[_]]]: Aux[[β$37$]Coproduct[[β$36$]QScriptCore[T, β$36$], [A]Coproduct[[β$34$]ThetaJoin[T, β$34$], [β$35$]Const[DeadEnd, β$35$], A], β$37$], [β$38$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$38$]]

    Permalink
  73. package qsu

    Permalink
  74. def rebase[M[_], A](in: M[A], key: M[A])(implicit arg0: Bind[M]): M[A]

    Permalink
  75. def rebaseT[T[_[_]], F[_]](target: FreeQS[T])(src: T[F])(implicit arg0: BirecursiveT[T], arg1: Traverse[F], FI: Aux[F, [β$81$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$81$]]): slamdata.Predef.Option[T[F]]

    Permalink
  76. def rebaseTCo[T[_[_]], F[_]](target: FreeQS[T])(srcCo: T[[γ$83$]CoEnv[Hole, F, γ$83$]])(implicit arg0: BirecursiveT[T], arg1: Traverse[F], FI: Aux[F, [β$84$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]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$], β$84$]]): slamdata.Predef.Option[T[[γ$85$]CoEnv[Hole, F, γ$85$]]]

    Permalink
  77. package rewrites

    Permalink

Inherited from AnyRef

Inherited from Any

MRA

Ungrouped