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

Index

absDatabase.Narc
appDatabase.Narc
applyTySubstDatabase.Narc.Type
AverageDatabase.Narc.SQL
bindDatabase.Narc.Type
cnstDatabase.Narc
composeTySubstDatabase.Narc.Type
condDatabase.Narc.SQL
ConstableDatabase.Narc
CountDatabase.Narc.SQL
disjoinSubstDatabase.Narc.Type
DivideDatabase.Narc.SQL
emptyQueryDatabase.Narc.SQL
emptyTySubstDatabase.Narc.Type
EqDatabase.Narc.SQL
foreachDatabase.Narc
freevarsQueryDatabase.Narc.SQL
ftvsDatabase.Narc.Type
ftvsSubstDatabase.Narc.Type
groundQueryDatabase.Narc.SQL
groundQueryExprDatabase.Narc.SQL
havingDatabase.Narc
ifthenelseDatabase.Narc
instanceOfDatabase.Narc.Type
instantiateDatabase.Narc.Type
isBaseTyDatabase.Narc.Type
isDBRecordTyDatabase.Narc.Type
isDBTableTyDatabase.Narc.Type
isQRecordDatabase.Narc.SQL
isRecordTyDatabase.Narc.Type
isTyVarDatabase.Narc.Type
LessDatabase.Narc.SQL
mainDatabase.Narc.Test
makeNormalizerTestsDatabase.Narc.Test
MaxDatabase.Narc.SQL
MinDatabase.Narc.SQL
MinusDatabase.Narc.SQL
NarcTermDatabase.Narc
narcToSQLDatabase.Narc
narcToSQLStringDatabase.Narc
nilDatabase.Narc
normalizeTypeDatabase.Narc.Type
numFtvsDatabase.Narc.Type
occursDatabase.Narc.Type
OpDatabase.Narc.SQL
PlusDatabase.Narc.SQL
primAppDatabase.Narc
projectDatabase.Narc
prop_composeTySubstDatabase.Narc.Type
prop_eval_safeDatabase.Narc.Test
prop_typedTermGen_tyCheckDatabase.Narc.Test
prop_unify_apply_substDatabase.Narc.Type
QBoolDatabase.Narc.SQL
QExistsDatabase.Narc.SQL
QFieldDatabase.Narc.SQL
QIfDatabase.Narc.SQL
QNotDatabase.Narc.SQL
QNumDatabase.Narc.SQL
QOpDatabase.Narc.SQL
QRecordDatabase.Narc.SQL
QTypeDatabase.Narc.Type
QueryDatabase.Narc.SQL
QUnionDatabase.Narc.SQL
recordDatabase.Narc
rsltDatabase.Narc.SQL
runDatabase.Narc.HDBC
runNormalizeTypeDatabase.Narc.Type
runUnitTestsDatabase.Narc.Test
SelectDatabase.Narc.SQL
serializeDatabase.Narc.SQL
serializeAtomDatabase.Narc.SQL
serializeOpDatabase.Narc.SQL
serializeRowDatabase.Narc.SQL
singletonDatabase.Narc
sizeQueryDatabase.Narc.SQL
sizeQueryExactDatabase.Narc.SQL
SumDatabase.Narc.SQL
tableDatabase.Narc
tabsDatabase.Narc.SQL
TArrDatabase.Narc.Type, Database.Narc
TBoolDatabase.Narc.Type, Database.Narc
TimesDatabase.Narc.SQL
TListDatabase.Narc.Type, Database.Narc
TNumDatabase.Narc.Type, Database.Narc
TRecordDatabase.Narc.Type, Database.Narc
TStringDatabase.Narc.Type, Database.Narc
TUnitDatabase.Narc.Type, Database.Narc
TVarDatabase.Narc.Type, Database.Narc
TyEnvDatabase.Narc.Type
TypeDatabase.Narc.Type, Database.Narc
TySubstDatabase.Narc.Type
TyVarDatabase.Narc.Type
unifyDatabase.Narc.Type
unifyAllDatabase.Narc.Type
unionDatabase.Narc
unitDatabase.Narc
unitTestsDatabase.Narc.Test
UnOpDatabase.Narc.SQL