| addFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| addFacts | Language.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 |
| cfgDatalogDir | Language.Souffle.Interpreted |
| cfgFactDir | Language.Souffle.Interpreted |
| cfgOutputDir | Language.Souffle.Interpreted |
| cfgSouffleBin | Language.Souffle.Interpreted |
| cleanup | Language.Souffle.Interpreted |
| CollectFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| Config | |
| 1 (Type/Class) | Language.Souffle.Interpreted |
| 2 (Data Constructor) | Language.Souffle.Interpreted |
| ContainsFact | Language.Souffle.Class |
| containsTuple | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| countFacts | Language.Souffle.Internal |
| defaultConfig | Language.Souffle.Interpreted |
| Fact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| factName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| findFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| free | Language.Souffle.Internal.Bindings |
| freeRelationIterator | Language.Souffle.Internal.Bindings |
| freeTuple | Language.Souffle.Internal.Bindings |
| getFacts | Language.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 |
| getTupleCount | Language.Souffle.Internal.Bindings |
| Handle | |
| 1 (Type/Class) | Language.Souffle.Interpreted |
| 2 (Type/Class) | Language.Souffle.Compiled, Language.Souffle |
| Handler | Language.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 |
| loadFiles | Language.Souffle.Class |
| Marshal | Language.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| MonadPop | Language.Souffle.Marshal |
| MonadPush | Language.Souffle.Marshal |
| MonadSouffle | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| MonadSouffleFileIO | Language.Souffle.Class |
| pop | Language.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| popInt | Language.Souffle.Marshal |
| popString | 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, Language.Souffle |
| ProgramFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| programName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| push | Language.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled, Language.Souffle |
| pushInt | Language.Souffle.Marshal |
| pushString | Language.Souffle.Marshal |
| Relation | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
| RelationIterator | Language.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 |
| 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, Language.Souffle |
| 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, Language.Souffle |
| souffleStdErr | Language.Souffle.Interpreted |
| souffleStdOut | Language.Souffle.Interpreted |
| Tuple | Language.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 |
| writeFiles | Language.Souffle.Class |