LogicalPlanR

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

   

   Definition Classes

   Any

5. val checkTypesƒ: ((Type, LogicalPlan[ConstrainedPlan[T]])) ⇒ NameT[SemDisj, ConstrainedPlan[T]]

   

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def constant(data: Data): T[LogicalPlan]

   

8. def ensureCorrectTypes(term: T[LogicalPlan]): ValidationNel[SemanticError, T[LogicalPlan]]

   

9. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12. def free(name: Symbol): T[LogicalPlan]

    

13. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

15. def inferTypes(typ: Type, term: T[LogicalPlan]): SemValidation[Typed[LogicalPlan]]

    

16. def invoke[N <: Nat](func: GenericFunc[N], values: Input[T[LogicalPlan], N]): T[LogicalPlan]

    

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. def let(name: Symbol, form: T[LogicalPlan], in: T[LogicalPlan]): T[LogicalPlan]

    

19. def lpParaZygoHisto[A, B]: (T[LogicalPlan]) ⇒ ((LogicalPlan[(T[LogicalPlan], B)]) ⇒ B, (LogicalPlan[Cofree[LogicalPlan, (B, A)]]) ⇒ scalaz.Scalaz.Id[A]) ⇒ scalaz.Scalaz.Id[A]

    

20. def lpParaZygoHistoM[M[_], A, B](t: T[LogicalPlan])(f: (LogicalPlan[(T[LogicalPlan], B)]) ⇒ B, g: (LogicalPlan[Cofree[LogicalPlan, (B, A)]]) ⇒ M[A])(implicit arg0: Monad[M]): M[A]

    

21. def lpParaZygoHistoS[S, A, B]: (T[LogicalPlan]) ⇒ ((LogicalPlan[(T[LogicalPlan], B)]) ⇒ B, (LogicalPlan[Cofree[LogicalPlan, (B, A)]]) ⇒ IndexedStateT[[+X]X, S, S, A]) ⇒ IndexedStateT[[+X]X, S, S, A]

    

22. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

23. def normalizeLets(t: T[LogicalPlan]): T[LogicalPlan]

    

24. val normalizeLetsƒ: (LogicalPlan[T[LogicalPlan]]) ⇒ Predef.Option[LogicalPlan[T[LogicalPlan]]]

    

    Per the following: 1.

    Per the following: 1. Successive Lets are re-associated to the right: (let a = (let b = x1 in x2) in x3) becomes (let b = x1 in (let a = x2 in x3)) 2. Lets are "hoisted" outside of Invoke and Typecheck nodes: (add (let a = x1 in x2) (let b = x3 in x4)) becomes (let a = x1 in (let b = x3 in (add x2 x4)) Note that this is safe only if all bound names are unique; otherwise it could create spurious shadowing. normalizeTempNames is recommended. NB: at the moment, Lets are only hoisted one level.

25. def normalizeTempNames(t: T[LogicalPlan]): T[LogicalPlan]

    

26. final def notify(): Unit

    

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

28. def paths(lp: T[LogicalPlan]): Predef.Set[FPath]

    

    The set of paths referenced in the given plan.

29. def read(path: FPath): T[LogicalPlan]

    

30. def rename[M[_]](f: (Symbol) ⇒ M[Symbol])(t: T[LogicalPlan])(implicit arg0: Monad[M]): M[T[LogicalPlan]]

    

31. def renameƒ[M[_]](f: (Symbol) ⇒ M[Symbol])(implicit arg0: Monad[M]): CoalgebraM[M, LogicalPlan, (Predef.Map[Symbol, Symbol], T[LogicalPlan])]

    

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

    

    Definition Classes

    AnyRef

33. def toString(): String

    

    Definition Classes

    AnyRef → Any

34. def typecheck(expr: T[LogicalPlan], typ: Type, cont: T[LogicalPlan], fallback: T[LogicalPlan]): T[LogicalPlan]

    

35. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )