Packages

final class ReifyIdentities[T[_[_]]] extends QSUTTypes[T]

TODO With smarter structural MapFunc simplification, we could just ConcatMaps(LeftSide, <value>) when preserving identities instead of reconstructing the identity key, however this currently defeats the mini structural evaluator that simplifies things like ProjectKey(MakeMap(foo, <bar>), foo) => bar.

Linear Supertypes
QSUTTypes[T], TTypes[T], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ReifyIdentities
  2. QSUTTypes
  3. TTypes
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type CoEnvMap[A] = CoEnv[Hole, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], A]
    Definition Classes
    TTypes
  2. type CoEnvMapA[A, B] = CoEnv[A, [β$75$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$75$], B]
    Definition Classes
    TTypes
  3. 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[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]
    Definition Classes
    TTypes
  4. type EquiJoin[A] = qscript.EquiJoin[T, A]
    Definition Classes
    TTypes
  5. type FreeAccess[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], qsu.QAccess[T, A]]
    Definition Classes
    QSUTTypes
  6. type FreeMap = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], Hole]
    Definition Classes
    TTypes
  7. type FreeMapA[A] = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], A]
    Definition Classes
    TTypes
  8. 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[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]
    Definition Classes
    TTypes
  9. type JoinFunc = Free[[β$73$]Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], β$73$], JoinSide]
    Definition Classes
    TTypes
  10. type MapFunc[A] = Coproduct[[β$62$]qscript.MapFuncCore[T, β$62$], [β$63$]qscript.MapFuncDerived[T, β$63$], A]
    Definition Classes
    TTypes
  11. type MapFuncCore[A] = qscript.MapFuncCore[T, A]
    Definition Classes
    TTypes
  12. type MapFuncDerived[A] = qscript.MapFuncDerived[T, A]
    Definition Classes
    TTypes
  13. type ProjectBucket[A] = qscript.ProjectBucket[T, A]
    Definition Classes
    TTypes
  14. type QAccess[A] = Access[T[EJson], A]
    Definition Classes
    QSUTTypes
  15. type QAuth = qsu.QAuth[T]
    Definition Classes
    QSUTTypes
  16. type QDims = IList[P[T]]
    Definition Classes
    QSUTTypes
  17. type QIdAccess = IdAccess[T[EJson]]
    Definition Classes
    QSUTTypes
  18. type QSUGraph = qsu.QSUGraph[T]
    Definition Classes
    QSUTTypes
  19. type QScriptCore[A] = qscript.QScriptCore[T, A]
    Definition Classes
    TTypes
  20. type QScriptEducated[A] = Coproduct[[β$23$]qscript.QScriptCore[T, β$23$], [A]Coproduct[[β$20$]qscript.ThetaJoin[T, β$20$], [A]Coproduct[[β$21$]Const[Read[Path[Abs, Dir, Sandboxed]], β$21$], [β$22$]Const[Read[Path[Abs, File, Sandboxed]], β$22$], A], A], A]
    Definition Classes
    QSUTTypes
  21. 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]
    Definition Classes
    TTypes
  22. type QScriptUniform[A] = qsu.QScriptUniform[T, A]
    Definition Classes
    QSUTTypes
  23. type References = qsu.References[T, T[EJson]]
    Definition Classes
    QSUTTypes
  24. type RevIdx = scala.collection.immutable.Map[qsu.QScriptUniform[T, slamdata.Predef.Symbol], slamdata.Predef.Symbol]
    Definition Classes
    QSUTTypes
  25. type RevIdxM[F[_]] = MonadState_[F, QSUGraph.RevIdx[T]]
    Definition Classes
    QSUTTypes
  26. type ThetaJoin[A] = qscript.ThetaJoin[T, A]
    Definition Classes
    TTypes

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[F[_]](aqsu: AuthenticatedQSU[T])(implicit arg0: Monad[F], arg1: NameGenerator[F], arg2: PlannerErrorME[F]): F[ResearchedQSU[T]]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from QSUTTypes[T]

Inherited from TTypes[T]

Inherited from AnyRef

Inherited from Any

Ungrouped