souffle-haskell v2.0.1 Release Notes

Release Date: 2020-09-05 // about 2 years ago

Previous changes from v2.0.0

  • ➕ Added

    • The Fact typeclass 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.Experimental for more information.

    🔄 Changed

    • 👍 souffle-haskell now supports Soufflé version 2.0.1.
    • getFacts, findFact, addFact and addFacts now have stricter constraints in their type signatures to prevent invalid usage of facts.
    • runSouffle for both compiled and interpreted mode and runSouffleWith for interpreted mode have updated type signatures to be able to automatically cleanup temporary files created while interacting with Souffle.

    ✂ Removed

    • init function 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.
    • cleanup function for interpreted mode, this is handled automatically now.