Transform

Instance Constructors

new Transform()(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: EqualT[T], arg3: ShowT[T])

Type Members

type DoubleFreeMap = (FreeMap[T], FreeMap[T])
type DoublePures = (Pures[Unit], Pures[Unit])
type Inner = T[[β]Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], β]]
type InnerPure = T[[β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β]]
case class Merge3(src: ThetaJoin[T, Inner], first: FreeMap[T], second: FreeMap[T], fands: FreeMap[T], third: FreeMap[T]) extends Product with Serializable
type Pures[A] = List[QScriptInternal[T, A]]
type QSState[A] = IndexedStateT[[β]\/[PlannerError, β], NameGen, NameGen, A]
type TriplePures = (Pures[Unit], Pures[Unit], Pures[Unit])

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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def basicJF: JoinFunc[T]

Definition Classes
Helpers
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val consZipped: Algebra[[β]ListF[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit], β], TriplePures]
def delinearizeFreeQS[F[_], A](implicit arg0: Functor[F]): ElgotCoalgebra[[β]\/[Unit, β], F, List[F[A]]]
def delinearizeInner[F[_], A](implicit arg0: Functor[F], DE: :<:[[β]Const[DeadEnd, β], F]): Coalgebra[F, List[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] )
def findBucket(inner: Inner): QSState[(Inner, FreeMap[T], FreeMap[T])]
def fromData[T[_[_]]](data: Data)(implicit arg0: Corecursive[T]): \/[String, T[EJson]]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def invokeExpansion1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): QScriptInternal[T, Inner]
def invokeExpansion2(func: BinaryFunc, values: Input[Inner, shapeless.Nat._2]): QSState[SourcedPathable[T, Inner]]
def invokeMapping1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): SourcedPathable[T, Inner]
def invokeMapping2(func: BinaryFunc, values: Input[Inner, shapeless.Nat._2]): QSState[SourcedPathable[T, Inner]]
def invokeMapping3(func: TernaryFunc, values: Input[Inner, shapeless.Nat._3]): QSState[SourcedPathable[T, Inner]]
def invokeReduction1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): QSState[QScriptCore[T, Inner]]
def invokeThetaJoin(input: Input[Inner, shapeless.Nat._3], tpe: JoinType): QSState[ThetaJoin[T, Inner]]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def linearize[F[_]](implicit arg0: Functor[F], arg1: Foldable[F]): Algebra[F, List[F[Unit]]]
def lpToQScript: (LogicalPlan[Inner]) ⇒ QSState[QScriptInternal[T, Inner]]
def makeBasicTheta[A](src: A, left: FreeQS[T], right: FreeQS[T]): QSState[Merge[T, ThetaJoin[T, A]]]
def merge(left: Inner, right: Inner): State[NameGen, MergeJoin[T, Inner]]
def merge2Expansion(values: Input[Inner, shapeless.Nat._2])(func: (FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]]): QSState[SourcedPathable[T, Inner]]
def merge2Map(values: Input[Inner, shapeless.Nat._2])(func: (FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]]): QSState[SourcedPathable[T, Inner]]
def merge3(a1: Inner, a2: Inner, a3: Inner): QSState[Merge3]
def merge3Map(values: Input[Inner, shapeless.Nat._3])(func: (FreeMap[T], FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]])(implicit ma: Aux[T, QScriptInternal[T, Unit]]): QSState[SourcedPathable[T, Inner]]
def mergeTheta[A](inl: Inner, inr: Inner, out: (Merge[T, ThetaJoin[T, Inner]]) ⇒ A): QSState[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 pathToProj(path: Path[_, _, _]): FreeMap[T]
def substitute[T[_[_]], F[_]](original: T[F], replacement: T[F])(implicit T: Equal[T[F]]): (T[F]) ⇒ \/[T[F], T[F]]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transApoT[T[_[_]], F[_]](t: T[F])(f: (T[F]) ⇒ \/[T[F], T[F]])(implicit arg0: FunctorT[T], arg1: Functor[F]): T[F]
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( ... )
val zipper: ElgotCoalgebraM[[β]\/[(List[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit]], List[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit]], List[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit]]), β], [β]IndexedStateT[[+X]X, NameGen, NameGen, β], [β]ListF[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit], β], (DoubleFreeMap, DoublePures)]

Related Doc: package qscript

class Transform[T[_[_]]] extends Helpers[T]

Instance Constructors

new Transform()(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: EqualT[T], arg3: ShowT[T])

Type Members

type DoubleFreeMap = (FreeMap[T], FreeMap[T])

type DoublePures = (Pures[Unit], Pures[Unit])

type Inner = T[[β]Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], β]]

type InnerPure = T[[β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β]]

case class Merge3(src: ThetaJoin[T, Inner], first: FreeMap[T], second: FreeMap[T], fands: FreeMap[T], third: FreeMap[T]) extends Product with Serializable

type Pures[A] = List[QScriptInternal[T, A]]

type QSState[A] = IndexedStateT[[β]\/[PlannerError, β], NameGen, NameGen, A]

type TriplePures = (Pures[Unit], Pures[Unit], Pures[Unit])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def basicJF: JoinFunc[T]

def clone(): AnyRef

val consZipped: Algebra[[β]ListF[Coproduct[[β]QScriptBucket[T, β], [β]Coproduct[[β]ThetaJoin[T, β], [β]Coproduct[[β]QScriptCore[T, β], [β]Coproduct[[β]Const[DeadEnd, β], [β]SourcedPathable[T, β], β], β], β], Unit], β], TriplePures]

def delinearizeFreeQS[F[_], A](implicit arg0: Functor[F]): ElgotCoalgebra[[β]\/[Unit, β], F, List[F[A]]]

def delinearizeInner[F[_], A](implicit arg0: Functor[F], DE: :<:[[β]Const[DeadEnd, β], F]): Coalgebra[F, List[F[A]]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def findBucket(inner: Inner): QSState[(Inner, FreeMap[T], FreeMap[T])]

def fromData[T[_[_]]](data: Data)(implicit arg0: Corecursive[T]): \/[String, T[EJson]]

final def getClass(): Class[_]

def hashCode(): Int

def invokeExpansion1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): QScriptInternal[T, Inner]

def invokeExpansion2(func: BinaryFunc, values: Input[Inner, shapeless.Nat._2]): QSState[SourcedPathable[T, Inner]]

def invokeMapping1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): SourcedPathable[T, Inner]

def invokeMapping2(func: BinaryFunc, values: Input[Inner, shapeless.Nat._2]): QSState[SourcedPathable[T, Inner]]

def invokeMapping3(func: TernaryFunc, values: Input[Inner, shapeless.Nat._3]): QSState[SourcedPathable[T, Inner]]

def invokeReduction1(func: UnaryFunc, values: Input[Inner, shapeless.Nat._1]): QSState[QScriptCore[T, Inner]]

def invokeThetaJoin(input: Input[Inner, shapeless.Nat._3], tpe: JoinType): QSState[ThetaJoin[T, Inner]]

final def isInstanceOf[T0]: Boolean

def linearize[F[_]](implicit arg0: Functor[F], arg1: Foldable[F]): Algebra[F, List[F[Unit]]]

def lpToQScript: (LogicalPlan[Inner]) ⇒ QSState[QScriptInternal[T, Inner]]

def makeBasicTheta[A](src: A, left: FreeQS[T], right: FreeQS[T]): QSState[Merge[T, ThetaJoin[T, A]]]

def merge(left: Inner, right: Inner): State[NameGen, MergeJoin[T, Inner]]

def merge2Expansion(values: Input[Inner, shapeless.Nat._2])(func: (FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]]): QSState[SourcedPathable[T, Inner]]

def merge2Map(values: Input[Inner, shapeless.Nat._2])(func: (FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]]): QSState[SourcedPathable[T, Inner]]

def merge3(a1: Inner, a2: Inner, a3: Inner): QSState[Merge3]

def merge3Map(values: Input[Inner, shapeless.Nat._3])(func: (FreeMap[T], FreeMap[T], FreeMap[T]) ⇒ MapFunc[T, FreeMap[T]])(implicit ma: Aux[T, QScriptInternal[T, Unit]]): QSState[SourcedPathable[T, Inner]]

def mergeTheta[A](inl: Inner, inr: Inner, out: (Merge[T, ThetaJoin[T, Inner]]) ⇒ A): QSState[A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def pathToProj(path: Path[_, _, _]): FreeMap[T]

def substitute[T[_[_]], F[_]](original: T[F], replacement: T[F])(implicit T: Equal[T[F]]): (T[F]) ⇒ \/[T[F], T[F]]

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

def toString(): String

def transApoT[T[_[_]], F[_]](t: T[F])(f: (T[F]) ⇒ \/[T[F], T[F]])(implicit arg0: FunctorT[T], arg1: Functor[F]): T[F]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Helpers[T]

Inherited from AnyRef

Inherited from Any

Ungrouped