Contents
Index
narc-0.1.2: Query SQL databases using Nested Relational Calculus embedded in Haskell.
Index
abs
Database.Narc
app
Database.Narc
applyTySubst
Database.Narc.Type
Average
Database.Narc.SQL
bind
Database.Narc.Type
cnst
Database.Narc
composeTySubst
Database.Narc.Type
cond
Database.Narc.SQL
Constable
Database.Narc
Count
Database.Narc.SQL
disjoinSubst
Database.Narc.Type
Divide
Database.Narc.SQL
emptyQuery
Database.Narc.SQL
emptyTySubst
Database.Narc.Type
Eq
Database.Narc.SQL
foreach
Database.Narc
freevarsQuery
Database.Narc.SQL
ftvs
Database.Narc.Type
ftvsSubst
Database.Narc.Type
groundQuery
Database.Narc.SQL
groundQueryExpr
Database.Narc.SQL
having
Database.Narc
ifthenelse
Database.Narc
instanceOf
Database.Narc.Type
instantiate
Database.Narc.Type
isBaseTy
Database.Narc.Type
isDBRecordTy
Database.Narc.Type
isDBTableTy
Database.Narc.Type
isQRecord
Database.Narc.SQL
isRecordTy
Database.Narc.Type
isTyVar
Database.Narc.Type
Less
Database.Narc.SQL
main
Database.Narc.Test
makeNormalizerTests
Database.Narc.Test
Max
Database.Narc.SQL
Min
Database.Narc.SQL
Minus
Database.Narc.SQL
NarcTerm
Database.Narc
narcToSQL
Database.Narc
narcToSQLString
Database.Narc
nil
Database.Narc
normalizeType
Database.Narc.Type
numFtvs
Database.Narc.Type
occurs
Database.Narc.Type
Op
Database.Narc.SQL
Plus
Database.Narc.SQL
primApp
Database.Narc
project
Database.Narc
prop_composeTySubst
Database.Narc.Type
prop_eval_safe
Database.Narc.Test
prop_typedTermGen_tyCheck
Database.Narc.Test
prop_unify_apply_subst
Database.Narc.Type
QBool
Database.Narc.SQL
QExists
Database.Narc.SQL
QField
Database.Narc.SQL
QIf
Database.Narc.SQL
QNot
Database.Narc.SQL
QNum
Database.Narc.SQL
QOp
Database.Narc.SQL
QRecord
Database.Narc.SQL
QType
Database.Narc.Type
Query
Database.Narc.SQL
QUnion
Database.Narc.SQL
record
Database.Narc
rslt
Database.Narc.SQL
run
Database.Narc.HDBC
runNormalizeType
Database.Narc.Type
runUnitTests
Database.Narc.Test
Select
Database.Narc.SQL
serialize
Database.Narc.SQL
serializeAtom
Database.Narc.SQL
serializeOp
Database.Narc.SQL
serializeRow
Database.Narc.SQL
singleton
Database.Narc
sizeQuery
Database.Narc.SQL
sizeQueryExact
Database.Narc.SQL
Sum
Database.Narc.SQL
table
Database.Narc
tabs
Database.Narc.SQL
TArr
Database.Narc.Type
,
Database.Narc
TBool
Database.Narc.Type
,
Database.Narc
Times
Database.Narc.SQL
TList
Database.Narc.Type
,
Database.Narc
TNum
Database.Narc.Type
,
Database.Narc
TRecord
Database.Narc.Type
,
Database.Narc
TString
Database.Narc.Type
,
Database.Narc
TUnit
Database.Narc.Type
,
Database.Narc
TVar
Database.Narc.Type
,
Database.Narc
TyEnv
Database.Narc.Type
Type
Database.Narc.Type
,
Database.Narc
TySubst
Database.Narc.Type
TyVar
Database.Narc.Type
unify
Database.Narc.Type
unifyAll
Database.Narc.Type
union
Database.Narc
unit
Database.Narc
unitTests
Database.Narc.Test
UnOp
Database.Narc.SQL