Dsl

Type Members

type Ann = qscript.Ann[T]

Definition Classes
TTypes
type Bin[A] = (A, A) ⇒ Binary[T, A]
type CoEnvJoin[A] = CoEnv[JoinSide, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

Definition Classes
TTypes
type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

Definition Classes
TTypes
type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]

Definition Classes
TTypes
type CoEnvQS[A] = CoEnv[Hole, [β$74$]Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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[qscript.Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[qscript.Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], β$74$], A]

Definition Classes
TTypes
type EquiJoin[A] = qscript.EquiJoin[T, A]

Definition Classes
TTypes
type FreeAccess[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Access[A]]

Definition Classes
QSUTTypes
type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]

Definition Classes
TTypes
type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]

Definition Classes
TTypes
type FreeQS = Free[[β$72$]Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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[qscript.Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[qscript.Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], β$72$], Hole]

Definition Classes
TTypes
type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]

Definition Classes
TTypes
type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]

Definition Classes
TTypes
type MapFuncCore[A] = qscript.MapFuncCore[T, A]

Definition Classes
TTypes
type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]

Definition Classes
TTypes
type ProjectBucket[A] = qscript.ProjectBucket[T, A]

Definition Classes
TTypes
type QSUGraph = qsu.QSUGraph[T]

Definition Classes
QSUTTypes
type QScriptCore[A] = qscript.QScriptCore[T, A]

Definition Classes
TTypes
type QScriptEducated[A] = Coproduct[[β$23$]qscript.QScriptCore[T, β$23$], [A]Coproduct[[β$20$]qscript.ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[qscript.Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[qscript.Read[Path[Abs, File, Sandboxed]], β$22$], A], A], A]

Definition Classes
QSUTTypes
type QScriptTotal[A] = Coproduct[[β$0$]qscript.QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]qscript.ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]qscript.ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]qscript.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[qscript.Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[qscript.Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], A]

Definition Classes
TTypes
type QScriptUniform[A] = qsu.QScriptUniform[T, A]

Definition Classes
QSUTTypes
type References = qsu.References[T]

Definition Classes
QSUTTypes
type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]

Definition Classes
QSUTTypes
type Target[F[_]] = qscript.Target[T, F]

Definition Classes
TTypes
type ThetaJoin[A] = qscript.ThetaJoin[T, A]

Definition Classes
TTypes
type Tri[A] = (A, A, A) ⇒ Ternary[T, A]

Abstract Value Members

abstract val iso: Iso[A, F[QScriptUniform[A]]]
abstract def lifting[S, A]: (Prism[S, A]) ⇒ Prism[F[S], F[A]]

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def _autojoin2: Prism[A, F[(A, A, MapFunc[JoinSide])]]
def _autojoin3: Prism[A, F[(A, A, A, MapFunc[JoinSide3])]]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def autojoin2(input: F[(A, A, scalaz.Forall.CPS[Bin])]): A
def autojoin3(input: F[(A, A, A, scalaz.Forall.CPS[Tri])]): A
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def dimEdit: Prism[A, F[(A, DTrans[T])]]
def distinct: Prism[A, F[A]]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def groupBy: Prism[A, F[(A, A)]]
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def joinSideRef: Prism[A, F[slamdata.Predef.Symbol]]
def leftShift: Prism[A, F[(A, FreeMap, IdStatus, JoinFunc)]]
def lpFilter: Prism[A, F[(A, A)]]
def lpJoin: Prism[A, F[(A, A, A, JoinType, slamdata.Predef.Symbol, slamdata.Predef.Symbol)]]
def lpReduce: Prism[A, F[(A, ReduceFunc[slamdata.Predef.Unit])]]
def lpSort: Prism[A, F[(A, NonEmptyList[(A, SortDir)])]]
def map: Prism[A, F[(A, FreeMap)]]
def map1(pair: F[(A, MapFuncCore[Hole])]): A
def mfc[A]: Prism[MapFunc[A], MapFuncCore[A]]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def qsFilter: Prism[A, F[(A, FreeMap)]]
def qsReduce: Prism[A, F[(A, slamdata.Predef.List[FreeAccess[Hole]], slamdata.Predef.List[ReduceFunc[FreeMap]], FreeMapA[ReduceIndex])]]
def qsSort: Prism[A, F[(A, slamdata.Predef.List[FreeAccess[Hole]], NonEmptyList[(FreeMap, SortDir)])]]
def read: Prism[A, F[AFile]]
def subset: Prism[A, F[(A, SelectionOp, A)]]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def thetaJoin: Prism[A, F[(A, A, FreeAccess[JoinSide], JoinType, JoinFunc)]]
def toString(): String

Definition Classes
AnyRef → Any
def transpose: Prism[A, F[(A, Retain, Rotation)]]
def unary: Prism[A, F[(A, MapFunc[Hole])]]
def union: Prism[A, F[(A, A)]]
def unreferenced: Prism[A, F[slamdata.Predef.Unit]]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package QScriptUniform

sealed abstract class Dsl[T[_[_]], F[_], A] extends QSUTTypes[T]

Type Members

type Ann = qscript.Ann[T]

type Bin[A] = (A, A) ⇒ Binary[T, A]

type CoEnvJoin[A] = CoEnv[JoinSide, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]

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

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

type EquiJoin[A] = qscript.EquiJoin[T, A]

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

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

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

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

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

type MapFuncCore[A] = qscript.MapFuncCore[T, A]

type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]

type ProjectBucket[A] = qscript.ProjectBucket[T, A]

type QSUGraph = qsu.QSUGraph[T]

type QScriptCore[A] = qscript.QScriptCore[T, A]

type QScriptEducated[A] = Coproduct[[β$23$]qscript.QScriptCore[T, β$23$], [A]Coproduct[[β$20$]qscript.ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[qscript.Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[qscript.Read[Path[Abs, File, Sandboxed]], β$22$], A], A], A]

type QScriptUniform[A] = qsu.QScriptUniform[T, A]

type References = qsu.References[T]

type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]

type Target[F[_]] = qscript.Target[T, F]

type ThetaJoin[A] = qscript.ThetaJoin[T, A]

type Tri[A] = (A, A, A) ⇒ Ternary[T, A]

Abstract Value Members

abstract val iso: Iso[A, F[QScriptUniform[A]]]

abstract def lifting[S, A]: (Prism[S, A]) ⇒ Prism[F[S], F[A]]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def _autojoin2: Prism[A, F[(A, A, MapFunc[JoinSide])]]

def _autojoin3: Prism[A, F[(A, A, A, MapFunc[JoinSide3])]]

final def asInstanceOf[T0]: T0

def autojoin2(input: F[(A, A, scalaz.Forall.CPS[Bin])]): A

def autojoin3(input: F[(A, A, A, scalaz.Forall.CPS[Tri])]): A

def clone(): AnyRef

def dimEdit: Prism[A, F[(A, DTrans[T])]]

def distinct: Prism[A, F[A]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def groupBy: Prism[A, F[(A, A)]]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def joinSideRef: Prism[A, F[slamdata.Predef.Symbol]]

def leftShift: Prism[A, F[(A, FreeMap, IdStatus, JoinFunc)]]

def lpFilter: Prism[A, F[(A, A)]]

def lpJoin: Prism[A, F[(A, A, A, JoinType, slamdata.Predef.Symbol, slamdata.Predef.Symbol)]]

def lpReduce: Prism[A, F[(A, ReduceFunc[slamdata.Predef.Unit])]]

def lpSort: Prism[A, F[(A, NonEmptyList[(A, SortDir)])]]

def map: Prism[A, F[(A, FreeMap)]]

def map1(pair: F[(A, MapFuncCore[Hole])]): A

def mfc[A]: Prism[MapFunc[A], MapFuncCore[A]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def qsFilter: Prism[A, F[(A, FreeMap)]]

def qsReduce: Prism[A, F[(A, slamdata.Predef.List[FreeAccess[Hole]], slamdata.Predef.List[ReduceFunc[FreeMap]], FreeMapA[ReduceIndex])]]

def qsSort: Prism[A, F[(A, slamdata.Predef.List[FreeAccess[Hole]], NonEmptyList[(FreeMap, SortDir)])]]

def read: Prism[A, F[AFile]]

def subset: Prism[A, F[(A, SelectionOp, A)]]

final def synchronized[T0](arg0: ⇒ T0): T0

def thetaJoin: Prism[A, F[(A, A, FreeAccess[JoinSide], JoinType, JoinFunc)]]

def toString(): String

def transpose: Prism[A, F[(A, Retain, Rotation)]]

def unary: Prism[A, F[(A, MapFunc[Hole])]]

def union: Prism[A, F[(A, A)]]

def unreferenced: Prism[A, F[slamdata.Predef.Unit]]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from QSUTTypes[T]

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any