souffle-haskell-1.0.0: Souffle Datalog bindings for Haskell

Index

addFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
addFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
addTuple 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
allocTuple 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
cfgDatalogDirLanguage.Souffle.Interpreted
cfgFactDirLanguage.Souffle.Interpreted
cfgOutputDirLanguage.Souffle.Interpreted
cfgSouffleBinLanguage.Souffle.Interpreted
cleanupLanguage.Souffle.Interpreted
CollectFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
Config 
1 (Type/Class)Language.Souffle.Interpreted
2 (Data Constructor)Language.Souffle.Interpreted
ContainsFactLanguage.Souffle.Class
containsTuple 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
countFactsLanguage.Souffle.Internal
defaultConfigLanguage.Souffle.Interpreted
FactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
factNameLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
findFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
freeLanguage.Souffle.Internal.Bindings
freeRelationIteratorLanguage.Souffle.Internal.Bindings
freeTupleLanguage.Souffle.Internal.Bindings
getFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
getNumThreads 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
getRelation 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
getRelationIterator 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
getTupleCountLanguage.Souffle.Internal.Bindings
Handle 
1 (Type/Class)Language.Souffle.Interpreted
2 (Type/Class)Language.Souffle.Compiled, Language.Souffle
HandlerLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
init 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
loadAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
loadFilesLanguage.Souffle.Class
MarshalLanguage.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
MonadPopLanguage.Souffle.Marshal
MonadPushLanguage.Souffle.Marshal
MonadSouffleLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
MonadSouffleFileIOLanguage.Souffle.Class
popLanguage.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
popIntLanguage.Souffle.Marshal
popStringLanguage.Souffle.Marshal
printAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
ProgramLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
ProgramFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
programNameLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
pushLanguage.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
pushIntLanguage.Souffle.Marshal
pushStringLanguage.Souffle.Marshal
RelationLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
RelationIteratorLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
relationIteratorNext 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
run 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
runSouffle 
1 (Function)Language.Souffle.Interpreted
2 (Function)Language.Souffle.Compiled, Language.Souffle
runSouffleWithLanguage.Souffle.Interpreted
setNumThreads 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle
SimpleProductLanguage.Souffle.Internal.Constraints
SouffleLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
SouffleM 
1 (Type/Class)Language.Souffle.Interpreted
2 (Type/Class)Language.Souffle.Compiled, Language.Souffle
souffleStdErrLanguage.Souffle.Interpreted
souffleStdOutLanguage.Souffle.Interpreted
TupleLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
tuplePopInt 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
tuplePopString 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
tuplePushInt 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
tuplePushString 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
writeFilesLanguage.Souffle.Class