logict-sequence: A backtracking logic-programming monad with asymptotic improvements to msplit

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Adapted from the paper http://okmij.org/ftp/Haskell/zseq.pdf by Atze van der Ploeg and Oleg Kiselyov


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.0.0, 0.1.0.1, 0.2, 0.2.0.1, 0.2.0.2
Change log CHANGELOG.md
Dependencies base (>=4.3 && <5), fail, logict, mtl (>=2.0 && <2.3), sequence (>=0.9.8 && <0.10), transformers, type-aligned (>=0.9.6 && <0.10) [details]
License MIT
Copyright (c) 2021 Jason Dagit, (c) 2014 Atze van der Ploeg
Author Jason Dagit
Maintainer Jason dagit <dagitj@gmail.com>
Category Control
Home page https://github.com/dagit/logict-sequence
Bug tracker https://github.com/dagit/logict-sequence/issues
Source repo head: git clone https://github.com/dagit/logict-sequence
Uploaded by JasonDagit at 2021-07-20T03:45:03Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for logict-sequence-0.1.0.0

[back to package description]

LogicT-Sequence

Provides a variant of the LogicT monad that should have asymptotically better performance when frequently observing results. This is based on the the Reflection without Remorse paper. I created this package mainly because the code from the paper was not easy to use as a library.

Please see the LogicT paper for examples on how to use this monad.