logict-state: Library for logic programming based on haskell package logict

[ bsd3, development, library ] [ Propose Tags ] [ Report a vulnerability ]

Logic programming built on top of part of logict library, in particular for dealing with backtrackable state

Modules

[Index] [Quick Jump]

Control
- Monad
  - Control.Monad.LogicState
    - Control.Monad.LogicState.Class
  - TransLogicState
    - Control.Monad.TransLogicState.Class

Downloads

logict-state-0.1.1.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AtzeDijkstra

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0.3, 0.1.0.4, 0.1.0.5, 0.1.1.0

Versions [RSS]	0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.4, 0.1.0.5, 0.1.1.0
Dependencies	base (>=4.8 && <5), logict (>=0.8.0.0), mtl (>=2.1), transformers (>=0.4.2) [details]
License	BSD-3-Clause
Author	Atze Dijkstra
Maintainer	atzedijkstra@gmail.com
Category	Development
Home page	https://github.com/atzedijkstra/logict-state
Source repo	head: git clone https://github.com/atzedijkstra/logict-state.git
Uploaded	by AtzeDijkstra at 2022-09-16T20:14:42Z
Distributions	NixOS:0.1.1.0
Reverse Dependencies	2 direct, 14 indirect [details]
Downloads	4370 total (9 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2022-09-16 [all 1 reports]