| addFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| addFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| ByteBuf | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
| cfgDatalogDir | Language.Souffle.Interpreted |
| cfgFactDir | Language.Souffle.Interpreted |
| cfgOutputDir | Language.Souffle.Interpreted |
| cfgSouffleBin | Language.Souffle.Interpreted |
| CollectFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| Config | |
| 1 (Type/Class) | Language.Souffle.Interpreted |
| 2 (Data Constructor) | Language.Souffle.Interpreted |
| ContainsFact | Language.Souffle.Class |
| containsFact | Language.Souffle.Internal |
| ContainsInputFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| ContainsOutputFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| containsTuple | Language.Souffle.Internal.Bindings |
| defaultConfig | Language.Souffle.Interpreted |
| Direction | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| Fact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| FactDirection | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| factName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| findFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| free | Language.Souffle.Internal.Bindings |
| getFacts | Language.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 |
| Handler | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| init | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| Input | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| InputOutput | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| Internal | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| loadAll | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| loadFiles | Language.Souffle.Class, Language.Souffle.Compiled |
| Marshal | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| MonadPop | Language.Souffle.Marshal |
| MonadPush | Language.Souffle.Marshal |
| MonadSouffle | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| MonadSouffleFileIO | Language.Souffle.Class, Language.Souffle.Compiled |
| Output | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| pop | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| popByteBuf | Language.Souffle.Internal.Bindings |
| popFacts | Language.Souffle.Internal |
| popFloat | Language.Souffle.Marshal |
| popInt32 | Language.Souffle.Marshal |
| popString | Language.Souffle.Marshal |
| popText | Language.Souffle.Marshal |
| popTextUtf16 | Language.Souffle.Marshal |
| popUInt32 | Language.Souffle.Marshal |
| printAll | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| Program | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| ProgramFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| programName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| push | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| pushByteBuf | Language.Souffle.Internal.Bindings |
| pushFacts | Language.Souffle.Internal |
| pushFloat | Language.Souffle.Marshal |
| pushInt32 | Language.Souffle.Marshal |
| pushString | Language.Souffle.Marshal |
| pushText | Language.Souffle.Marshal |
| pushTextUtf16 | Language.Souffle.Marshal |
| pushUInt32 | Language.Souffle.Marshal |
| Relation | Language.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 |
| runSouffleWith | Language.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 |
| SimpleProduct | Language.Souffle.Internal.Constraints |
| Souffle | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
| SouffleM | |
| 1 (Type/Class) | Language.Souffle.Interpreted |
| 2 (Type/Class) | Language.Souffle.Compiled |
| souffleStdErr | Language.Souffle.Interpreted |
| souffleStdOut | Language.Souffle.Interpreted |
| Submit | Language.Souffle.Compiled |
| SubmitFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| writeFiles | Language.Souffle.Class, Language.Souffle.Compiled |