class
Merge[T[_[_]]] extends TTypes[T]
Instance Constructors
-
new
Merge()(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T])
Type Members
-
-
type
CoEnvJoin[A] = CoEnv[JoinSide, [β$47$]qscript.MapFunc[T, β$47$], A]
-
type
CoEnvMap[A] = CoEnv[Hole, [β$47$]qscript.MapFunc[T, β$47$], A]
-
type
CoEnvMapA[A, B] = CoEnv[A, [β$47$]qscript.MapFunc[T, β$47$], B]
-
type
CoEnvQS[A] = CoEnv[Hole, [β$46$]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[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$], β$46$], A]
-
-
type
FreeMap = Free[[β$45$]qscript.MapFunc[T, β$45$], Hole]
-
type
FreeMapA[A] = Free[[β$45$]qscript.MapFunc[T, β$45$], A]
-
type
FreeQS = Free[[β$44$]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[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$], β$44$], Hole]
-
-
-
-
-
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[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]
-
-
-
case class
ZipperAcc[G[_]](acc: slamdata.Predef.List[G[ExternallyManaged]], sides: ZipperSides, tails: ZipperTails[G]) extends Product with Serializable
-
-
case class
ZipperTails[G[_]](lTail: slamdata.Predef.List[G[ExternallyManaged]], rTail: slamdata.Predef.List[G[ExternallyManaged]]) extends Product with Serializable
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
mergePair[S[_[_]], G[_], H[_]](left: S[H], right: S[H])(HtoG: ~>[H, G], unify: (slamdata.Predef.List[G[ExternallyManaged]]) ⇒ FreeQS)(implicit arg0: Traverse[G], mergeable: Aux[T, G], C: Aux[S[H], G], R: Aux[S[H], G], DE: :<:[[β$5$]Const[DeadEnd, β$5$], H]): SrcMerge[S[H], FreeQS]
-
def
mergeT[G[_]](left: T[G], right: T[G])(implicit arg0: Traverse[G], mergeable: Aux[T, G], coalesce: Aux[T, G, G], N: Normalizable[G], DE: :<:[[β$6$]Const[DeadEnd, β$6$], G], QC: :<:[QScriptCore, G], FI: Aux[G, QScriptTotal]): SrcMerge[T[G], FreeQS]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
