narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell.




type Env = [(Var, Value)]Source

appPrim :: String -> [Value] -> ValueSource

appPrim: apply a primitive function to a list of value arguments.

eval :: Env -> TypedTerm -> ValueSource

eval: Evaluate a typed term in a closing environment. Captures the effects performed by the term. (NB: type info is not actually used; should eliminate this.)