souffle-haskell v2.0.1 Release NotesRelease Date: 2020-09-05 // about 2 years ago
No data yet 😐
You can check the official repo
Previous changes from v2.0.0
Facttypeclass now also requires you to specify the
FactDirection. This prevents inconsistent and buggy behavior when trying to use a fact in an invalid way (e.g. trying to add an output-only fact).
- DSL for creating Soufflé programs directly from Haskell.
See the docs of
Language.Souffle.Experimentalfor more information.
- 👍 souffle-haskell now supports Soufflé version 2.0.1.
addFactsnow have stricter constraints in their type signatures to prevent invalid usage of facts.
runSoufflefor both compiled and interpreted mode and
runSouffleWithfor interpreted mode have updated type signatures to be able to automatically cleanup temporary files created while interacting with Souffle.
initfunction for both compiled and interpreted mode. Initialization is now handled by the
runSouffle*functions. This change makes automatic cleanup of created files possible and prevents double initialization of Souffle programs.
cleanupfunction for interpreted mode, this is handled automatically now.