Type Members

1.  case class Binding(name: String, value: Value) extends Product with Serializable
2.  case class Component[F[_]](mapping: Mapping[F], join: (Cursor, Query) => Result[Query], child: Query) extends Query with Product with Serializable

   Identifies a component boundary.

   Identifies a component boundary. join is applied to the current cursor and child yielding a continuation query which will be evaluated by the interpreter identified by componentId.

3.  case class Defer(join: (Cursor, Query) => Result[Query], child: Query) extends Query with Product with Serializable

   A deferred query.

   A deferred query. join is applied to the current cursor and child yielding a continuation query which will be evaluated by the current interpreter in its next stage.

4.  type Env = Map[String, (Type, Value)]
5.  case class Filter(pred: Predicate, child: Query) extends Query with Product with Serializable

   Retains only elements satisfying pred and continuse with child

6.  case class Group(queries: List[Query]) extends Query with Product with Serializable

   A Group of sibling queries at the same level

7.  case class GroupList(queries: List[Query]) extends Query with Product with Serializable

   A Group of sibling queries as a list

8.  case class Introspect(schema: Schema, child: Query) extends Query with Product with Serializable
9.  case class Narrow(subtpe: TypeRef, child: Query) extends Query with Product with Serializable

   The result of child if the focus is of type subtpe, Empty otherwise.

10.  case class Rename(name: String, child: Query) extends Query with Product with Serializable

    Rename the topmost field of sel to name.

11.  case class Select(name: String, args: List[Binding], child: Query = Empty) extends Query with Product with Serializable

    Select field name given arguments args and continue with child

12.  case class Skip(sense: Boolean, cond: Value, child: Query) extends Query with Product with Serializable
13.  case class Unique(pred: Predicate, child: Query) extends Query with Product with Serializable

    Picks out the unique element satisfying pred and continues with child

14.  case class UntypedNarrow(tpnme: String, child: Query) extends Query with Product with Serializable

    Untyped precursor of Narrow.

    Untyped precursor of Narrow.

    Trees of this type will be replaced by a corresponding Narrow by SelectElaborator.

15.  case class UntypedVarDef(name: String, tpe: Ast.Type, default: Option[Value]) extends Product with Serializable
16.  type UntypedVarDefs = List[UntypedVarDef]
17.  type VarDefs = List[InputValue]
18.  case class Wrap(name: String, child: Query) extends Query with Product with Serializable

    Wraps the result of child as a field named name of an enclosing object.