Type Members

1.  trait Abt [S, V, O, T] extends AnyRef
   S

   Sort (syntactic category)

   V

   Type of variables

   O

   underlying AST

   T

   Abt concrete instance

2.  sealed trait AbtError [S, V] extends AnyRef
3.  final case class Arity [Sort](args: slamdata.Predef.Vector[Valence[Sort]], sort: Sort) extends Product with Serializable

   Specifies an operator with sort sort accepting args arguments with cooresponding valences.

4.  sealed abstract class ArityInstances extends AnyRef
5.  final class Coord extends AnyRef
6.  sealed trait LN [S, V, O] extends AnyRef

   Locally nameless terms with operators in O, variables V and sorts S

7.  trait MonadVar [F[_], A] extends Monad[F]
8.  trait Operator [S, O] extends AnyRef
9.  final case class ShiftFn [A, B](f: (Coord, A) ⇒ B) extends slamdata.Predef.AnyVal with Product with Serializable
10.  final case class Valence [Sort](vars: slamdata.Predef.Vector[Sort], sort: Sort) extends Product with Serializable

    Describes the sort of an argument to an operator along with the number and sorts of the variables bound within it.

11.  sealed abstract class ValenceInstances extends AnyRef
12.  sealed trait View [V, O, A] extends AnyRef
    V

    Type of Variables in the ADT (kind of like identifier)

    O

    The underlying AST