souffle-haskell-0.1.0: Souffle Datalog bindings for Haskell
Contents
Index
Index
addFact
Language.Souffle
addFacts
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
CollectFacts
Language.Souffle
containsTuple
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
countFacts
Language.Souffle.Internal
embedProgram
Language.Souffle.TH
Fact
Language.Souffle
factName
Language.Souffle
findFact
Language.Souffle
free
Language.Souffle.Internal.Bindings
freeRelationIterator
Language.Souffle.Internal.Bindings
freeTuple
Language.Souffle.Internal.Bindings
getFacts
Language.Souffle
getNumThreads
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
3 (Function)
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
Language.Souffle
init
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
3 (Function)
Language.Souffle
loadAll
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
loadFiles
Language.Souffle
Marshal
Language.Souffle.Marshal
,
Language.Souffle
MarshalT
Language.Souffle.Marshal
MonadSouffle
Language.Souffle
pop
Language.Souffle.Marshal
,
Language.Souffle
printAll
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
Program
Language.Souffle
ProgramFacts
Language.Souffle
programName
Language.Souffle
push
Language.Souffle.Marshal
,
Language.Souffle
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
runMarshalT
Language.Souffle.Marshal
runSouffle
Language.Souffle
setNumThreads
1 (Function)
Language.Souffle.Internal.Bindings
2 (Function)
Language.Souffle.Internal
3 (Function)
Language.Souffle
SimpleProduct
Language.Souffle.Internal.Constraints
Souffle
Language.Souffle.Internal.Bindings
,
Language.Souffle.Internal
SouffleM
Language.Souffle
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