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

Narc.Eval

Synopsis

Documentation

type Env = [(Var, Value)]Source

data Value Source

Constructors

VUnit 
VBool Bool 
VNum Integer 
VList [Value] 
VRecord [(String, Value)] 
VAbs Var TypedTerm Env 

Instances

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.)