souffle-haskell-0.1.0: Souffle Datalog bindings for Haskell

Index

addFactLanguage.Souffle
addFactsLanguage.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
CollectFactsLanguage.Souffle
containsTuple 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
countFactsLanguage.Souffle.Internal
embedProgramLanguage.Souffle.TH
FactLanguage.Souffle
factNameLanguage.Souffle
findFactLanguage.Souffle
freeLanguage.Souffle.Internal.Bindings
freeRelationIteratorLanguage.Souffle.Internal.Bindings
freeTupleLanguage.Souffle.Internal.Bindings
getFactsLanguage.Souffle
getNumThreads 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)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
HandleLanguage.Souffle
init 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle
loadAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
loadFilesLanguage.Souffle
MarshalLanguage.Souffle.Marshal, Language.Souffle
MarshalTLanguage.Souffle.Marshal
MonadSouffleLanguage.Souffle
popLanguage.Souffle.Marshal, Language.Souffle
printAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
ProgramLanguage.Souffle
ProgramFactsLanguage.Souffle
programNameLanguage.Souffle
pushLanguage.Souffle.Marshal, Language.Souffle
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
runMarshalTLanguage.Souffle.Marshal
runSouffleLanguage.Souffle
setNumThreads 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle
SimpleProductLanguage.Souffle.Internal.Constraints
SouffleLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
SouffleMLanguage.Souffle
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