souffle-haskell v0.2.0 Release Notes

Release Date: 2020-04-22 // about 4 years ago
  • โž• Added

    • โž• Added Interpreted module. The location of the souffle interpreter and datalog input directory can be controlled set via SOUFFLE_BIN and DATALOG_DIR. When invoked with the runSouffle, if not given, souffle is looked up via whereis souffle and the input datalog files are searched, in the active directory. When invoked with runSouffleWith the path for the datalog program needs to be given. NOTE: For this mode the datalog program must render the output csv using TAB characters as separators.

    ๐Ÿ”„ Changed

    • Introduced Language.Souffle.Class module as separation of the typeclass and the Compiled module made the implementation of the Interpreted module easier.
    • ๐Ÿ†“ Marshaling is now based on the free monad approach. The implementors of the Souffle type class needs to give an interpretation of the Marshal expressions too.