package
logicalplan
Type Members
-
sealed abstract
class
Component[T, A] extends AnyRef
-
final
case class
Constant[A](data: Data) extends LogicalPlan[A] with Product with Serializable
-
final
case class
ConstrainedPlan[T](inferred: Type, constraints: slamdata.Predef.List[NamedConstraint[T]], plan: T) extends Product with Serializable
-
final
case class
EquiCond[T, A](run0: (T, T) ⇒ A) extends Component[T, A] with Product with Serializable
-
final
case class
Free[A](name: Symbol) extends LogicalPlan[A] with Product with Serializable
-
final
case class
Invoke[N <: Nat, A](func: GenericFunc[N], values: Input[A, N]) extends LogicalPlan[A] with Product with Serializable
-
final
case class
Join[A](left: A, right: A, tpe: JoinType, condition: JoinCondition[A]) extends LogicalPlan[A] with Product with Serializable
-
final
case class
JoinCondition[A](leftName: Symbol, rightName: Symbol, value: A) extends Product with Serializable
-
final
case class
JoinSideName[A](name: Symbol) extends LogicalPlan[A] with Product with Serializable
-
final
case class
LeftCond[T, A](run0: (T) ⇒ A) extends Component[T, A] with Product with Serializable
-
final
case class
Let[A](let: Symbol, form: A, in: A) extends LogicalPlan[A] with Product with Serializable
-
sealed abstract
class
LogicalPlan[A] extends slamdata.Predef.Product with slamdata.Predef.Serializable
-
final
class
LogicalPlanR[T] extends AnyRef
-
final
case class
NamedConstraint[T](name: Symbol, inferred: Type, term: T) extends Product with Serializable
-
final
case class
NeitherCond[T, A](run0: A) extends Component[T, A] with Product with Serializable
-
final
class
Optimizer[T] extends AnyRef
-
final
case class
OtherCond[T, A](run0: (T, T) ⇒ A) extends Component[T, A] with Product with Serializable
-
final
case class
Read[A](path: FPath) extends LogicalPlan[A] with Product with Serializable
-
final
case class
RightCond[T, A](run0: (T) ⇒ A) extends Component[T, A] with Product with Serializable
-
final
case class
Sort[A](src: A, order: NonEmptyList[(A, SortDir)]) extends LogicalPlan[A] with Product with Serializable
-
final
case class
TemporalTrunc[A](part: TemporalPart, src: A) extends LogicalPlan[A] with Product with Serializable
-
final
case class
Typecheck[A](expr: A, typ: Type, cont: A, fallback: A) extends LogicalPlan[A] with Product with Serializable
Value Members
-
-
-
object
LogicalPlan extends Serializable
-
-
def
free[A]: Prism[LogicalPlan[A], Symbol]
-
def
freshName(prefix: slamdata.Predef.String): State[NameGen, Symbol]
-
-
-
def
joinSideName[A]: Prism[LogicalPlan[A], Symbol]
-
def
let[A]: Prism[LogicalPlan[A], (Symbol, A, A)]
-
def
read[A]: Prism[LogicalPlan[A], FPath]
-
def
sort[A]: Prism[LogicalPlan[A], (A, NonEmptyList[(A, SortDir)])]
-
-
def
typecheck[A]: Prism[LogicalPlan[A], (A, Type, A, A)]
Inherited from AnyRef
Inherited from Any