Contents
Index
narc-0.1.3: Query SQL databases using Nested Relational Calculus embedded in Haskell.
Index
abs
Database.Narc
app
Database.Narc
applyTySubst
Database.Narc.Type
bind
Database.Narc.Type
cnst
Database.Narc
composeTySubst
Database.Narc.Type
disjoinSubst
Database.Narc.Type
emptyTySubst
Database.Narc.Type
foreach
Database.Narc
ftvs
Database.Narc.Type
ftvsSubst
Database.Narc.Type
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
isRecordTy
Database.Narc.Type
isTyVar
Database.Narc.Type
main
Database.Narc.Test
narcToSQL
Database.Narc
narcToSQLString
Database.Narc
nil
Database.Narc
normalizerTests
Database.Narc.Test
normalizeType
Database.Narc.Type
numFtvs
Database.Narc.Type
occurs
Database.Narc.Type
primApp
Database.Narc
project
Database.Narc
prop_compile_safe
Database.Narc.Test
prop_composeTySubst
Database.Narc.Type
prop_typedTermGen_tyCheck
Database.Narc.Test
prop_unify_apply_subst
Database.Narc.Type
QType
Database.Narc.Type
record
Database.Narc
result
Database.Narc
run
Database.Narc.HDBC
runNormalizeType
Database.Narc.Type
runUnitTests
Database.Narc.Test
serialize
Database.Narc
singleton
Database.Narc
table
Database.Narc
TArr
Database.Narc.Type
,
Database.Narc
TBool
Database.Narc.Type
,
Database.Narc
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