souffle-haskell-2.0.0: Souffle Datalog bindings for Haskell

Index

.!=Language.Souffle.Experimental
.%Language.Souffle.Experimental
.<Language.Souffle.Experimental
.<=Language.Souffle.Experimental
.=Language.Souffle.Experimental
.>Language.Souffle.Experimental
.>=Language.Souffle.Experimental
.^Language.Souffle.Experimental
addFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
addFactsLanguage.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
AutomaticLanguage.Souffle.Experimental
bandLanguage.Souffle.Experimental
BodyLanguage.Souffle.Experimental
borLanguage.Souffle.Experimental
BrieLanguage.Souffle.Experimental
BTreeLanguage.Souffle.Experimental
bxorLanguage.Souffle.Experimental
catLanguage.Souffle.Experimental
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
containsLanguage.Souffle.Experimental
ContainsFactLanguage.Souffle.Class
ContainsInputFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
ContainsOutputFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
containsTuple 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
countFactsLanguage.Souffle.Internal
defaultConfigLanguage.Souffle.Interpreted
DefinitionLanguage.Souffle.Experimental
DirectionLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled
DSLLanguage.Souffle.Experimental
embedProgramLanguage.Souffle.Experimental
EqRelLanguage.Souffle.Experimental
FactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
FactDirectionLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
FactMetadataLanguage.Souffle.Experimental
factNameLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
factOptsLanguage.Souffle.Experimental
findFactLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
FragmentLanguage.Souffle.Experimental
freeLanguage.Souffle.Internal.Bindings
freeRelationIteratorLanguage.Souffle.Internal.Bindings
freeTupleLanguage.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
getRelationIterator 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
getTupleCountLanguage.Souffle.Internal.Bindings
Handle 
1 (Type/Class)Language.Souffle.Interpreted
2 (Type/Class)Language.Souffle.Compiled
HandlerLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
HeadLanguage.Souffle.Experimental
init 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
InlineLanguage.Souffle.Experimental
InlineOptLanguage.Souffle.Experimental
InputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled
InputOutputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled
InternalLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled
landLanguage.Souffle.Experimental
loadAll 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
loadFilesLanguage.Souffle.Class, Language.Souffle.Compiled
lorLanguage.Souffle.Experimental
MarshalLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
matchLanguage.Souffle.Experimental
max'Language.Souffle.Experimental
Metadata 
1 (Type/Class)Language.Souffle.Experimental
2 (Data Constructor)Language.Souffle.Experimental
min'Language.Souffle.Experimental
MonadPopLanguage.Souffle.Marshal
MonadPushLanguage.Souffle.Marshal
MonadSouffleLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
MonadSouffleFileIOLanguage.Souffle.Class, Language.Souffle.Compiled
NoInlineLanguage.Souffle.Experimental
not'Language.Souffle.Experimental
NoVarsInAtomLanguage.Souffle.Experimental
ordLanguage.Souffle.Experimental
OutputLanguage.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled
popLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
popFloatLanguage.Souffle.Marshal
popInt32Language.Souffle.Marshal
popStringLanguage.Souffle.Marshal
popUInt32Language.Souffle.Marshal
Predicate 
1 (Type/Class)Language.Souffle.Experimental
2 (Data Constructor)Language.Souffle.Experimental
predicateForLanguage.Souffle.Experimental
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
pushLanguage.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled
pushFloatLanguage.Souffle.Marshal
pushInt32Language.Souffle.Marshal
pushStringLanguage.Souffle.Marshal
pushUInt32Language.Souffle.Marshal
Relation 
1 (Type/Class)Language.Souffle.Internal.Bindings, Language.Souffle.Internal
2 (Data Constructor)Language.Souffle.Experimental
RelationIteratorLanguage.Souffle.Internal.Bindings, Language.Souffle.Internal
relationIteratorNext 
1 (Function)Language.Souffle.Internal.Bindings
2 (Function)Language.Souffle.Internal
renderLanguage.Souffle.Experimental
renderIOLanguage.Souffle.Experimental
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
runSouffleInterpretedLanguage.Souffle.Experimental
runSouffleInterpretedWithLanguage.Souffle.Experimental
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.Internal.Constraints
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
strlenLanguage.Souffle.Experimental
StructureLanguage.Souffle.Experimental
StructureOptLanguage.Souffle.Experimental
substrLanguage.Souffle.Experimental
SupportsArithmeticLanguage.Souffle.Experimental
TermLanguage.Souffle.Experimental
ToPredicateLanguage.Souffle.Experimental
to_numberLanguage.Souffle.Experimental
to_stringLanguage.Souffle.Experimental
Tuple 
1 (Type/Class)Language.Souffle.Internal.Bindings, Language.Souffle.Internal
2 (Type/Class)Language.Souffle.Experimental
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
underscoreLanguage.Souffle.Experimental
UsageContextLanguage.Souffle.Experimental
varLanguage.Souffle.Experimental
VarNameLanguage.Souffle.Experimental
writeFilesLanguage.Souffle.Class, Language.Souffle.Compiled
\/Language.Souffle.Experimental
__Language.Souffle.Experimental
|-Language.Souffle.Experimental