abt

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