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

Index

absDatabase.Narc
appDatabase.Narc
applyTySubstDatabase.Narc.Type
bindDatabase.Narc.Type
cnstDatabase.Narc
composeTySubstDatabase.Narc.Type
disjoinSubstDatabase.Narc.Type
emptyTySubstDatabase.Narc.Type
foreachDatabase.Narc
ftvsDatabase.Narc.Type
ftvsSubstDatabase.Narc.Type
havingDatabase.Narc
ifthenelseDatabase.Narc
instanceOfDatabase.Narc.Type
instantiateDatabase.Narc.Type
isBaseTyDatabase.Narc.Type
isDBRecordTyDatabase.Narc.Type
isDBTableTyDatabase.Narc.Type
isRecordTyDatabase.Narc.Type
isTyVarDatabase.Narc.Type
mainDatabase.Narc.Test
narcToSQLDatabase.Narc
narcToSQLStringDatabase.Narc
nilDatabase.Narc
normalizerTestsDatabase.Narc.Test
normalizeTypeDatabase.Narc.Type
numFtvsDatabase.Narc.Type
occursDatabase.Narc.Type
primAppDatabase.Narc
projectDatabase.Narc
prop_compile_safeDatabase.Narc.Test
prop_composeTySubstDatabase.Narc.Type
prop_typedTermGen_tyCheckDatabase.Narc.Test
prop_unify_apply_substDatabase.Narc.Type
QTypeDatabase.Narc.Type
recordDatabase.Narc
resultDatabase.Narc
runDatabase.Narc.HDBC
runNormalizeTypeDatabase.Narc.Type
runUnitTestsDatabase.Narc.Test
serializeDatabase.Narc
singletonDatabase.Narc
tableDatabase.Narc
TArrDatabase.Narc.Type, Database.Narc
TBoolDatabase.Narc.Type, Database.Narc
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