narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell.
type Env = [(Var, Value)]Source
data Value Source
fromValue :: Value -> TypedTermSource
initialEnv :: EnvSource
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.)
Produced by Haddock version 2.9.2