| addFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| addFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| 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 |
| 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 |
| 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 |
| freeRelationIterator | Language.Souffle.Internal.Bindings |
| freeTuple | 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 |
| 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 |
| Handler | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| init | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| 3 (Function) | 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 |
| Marshal | Language.Souffle.Marshal, 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 |
| pop | Language.Souffle.Marshal, Language.Souffle.Interpreted, Language.Souffle.Compiled |
| popFloat | Language.Souffle.Marshal |
| popInt32 | Language.Souffle.Marshal |
| popString | 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.Interpreted, Language.Souffle.Compiled |
| pushFloat | Language.Souffle.Marshal |
| pushInt32 | Language.Souffle.Marshal |
| pushString | Language.Souffle.Marshal |
| pushUInt32 | 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 |
| 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 |
| Tuple | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
| tuplePopFloat | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePopInt32 | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePopString | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePopUInt32 | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePushFloat | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePushInt32 | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePushString | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| tuplePushUInt32 | |
| 1 (Function) | Language.Souffle.Internal.Bindings |
| 2 (Function) | Language.Souffle.Internal |
| writeFiles | Language.Souffle.Class |