souffle-haskell-4.0.0: Souffle Datalog bindings for Haskell

Index

addFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
addFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
AnalysisLanguage.Souffle.Analysis
ByteBufLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
cfgDatalogDirLanguage.Souffle.Interpreted
cfgFactDirLanguage.Souffle.Interpreted
cfgOutputDirLanguage.Souffle.Interpreted
cfgSouffleBinLanguage.Souffle.Interpreted
CollectFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
Config 
1 (Type/Class)Language.Souffle.Interpreted
2 (Data Constructor)Language.Souffle.Interpreted
ContainsFactLanguage.Souffle.Class
containsFactLanguage.Souffle.Internal
ContainsInputFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
ContainsOutputFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
containsTupleLanguage.Souffle.Internal.Bindings
defaultConfigLanguage.Souffle.Interpreted
DirectionLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
execAnalysisLanguage.Souffle.Analysis
FactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
FactDirectionLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
factNameLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
FactOptions 
1 (Type/Class)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
2 (Data Constructor)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
findFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
freeLanguage.Souffle.Internal.Bindings
getFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
getNumThreads 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
3 (Function)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
getRelation 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
Handle 
1 (Type/Class)Language.Souffle.Interpreted
2 (Type/Class)Language.Souffle.Compiled
HandlerLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
init 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
InputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
InputOutputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
InternalLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
loadAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
loadFilesLanguage.Souffle.Class, Language.Souffle.Compiled
MarshalLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
mkAnalysisLanguage.Souffle.Analysis
MonadPopLanguage.Souffle.Marshal
MonadPushLanguage.Souffle.Marshal
MonadSouffleLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
MonadSouffleFileIOLanguage.Souffle.Class, Language.Souffle.Compiled
OutputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
popLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
popByteBufLanguage.Souffle.Internal.Bindings
popFactsLanguage.Souffle.Internal
popFloatLanguage.Souffle.Marshal
popInt32Language.Souffle.Marshal
popStringLanguage.Souffle.Marshal
popTextLanguage.Souffle.Marshal
popUInt32Language.Souffle.Marshal
printAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
ProgramLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
ProgramFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
programNameLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
ProgramOptions 
1 (Type/Class)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
2 (Data Constructor)Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
pushLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
pushByteBufLanguage.Souffle.Internal.Bindings
pushFactsLanguage.Souffle.Internal
pushFloatLanguage.Souffle.Marshal
pushInt32Language.Souffle.Marshal
pushStringLanguage.Souffle.Marshal
pushTextLanguage.Souffle.Marshal
pushUInt32Language.Souffle.Marshal
RelationLanguage.Souffle.Internal.Bindings, 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
runSouffle 
1 (Function)Language.Souffle.Interpreted
2 (Function)Language.Souffle.Compiled
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
SimpleProductLanguage.Souffle.Marshal
SouffleLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
SouffleM 
1 (Type/Class)Language.Souffle.Interpreted
2 (Type/Class)Language.Souffle.Compiled
souffleStdErrLanguage.Souffle.Interpreted
souffleStdOutLanguage.Souffle.Interpreted
SubmitLanguage.Souffle.Compiled
SubmitFactsLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
writeFilesLanguage.Souffle.Class, Language.Souffle.Compiled