Path to this page:
./
devel/hs-logict,
Backtracking logic-programming monad
Branch: CURRENT,
Version: 0.8.1.0nb2,
Package name: hs-logict-0.8.1.0nb2,
Maintainer: pkgsrc-usersAdapted from the paper "Backtracking, Interleaving, and Terminating Monad
Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
Sabry.
Master sites:
Filesize: 18.282 KB
Version history: (Expand)
- (2024-05-09) Updated to version: hs-logict-0.8.1.0nb2
- (2023-11-02) Updated to version: hs-logict-0.8.1.0nb1
- (2023-10-24) Updated to version: hs-logict-0.8.1.0
- (2023-10-09) Updated to version: hs-logict-0.8.0.0nb2
- (2023-02-09) Updated to version: hs-logict-0.8.0.0nb1
- (2023-01-24) Updated to version: hs-logict-0.8.0.0
CVS history: (Expand)
2024-04-28 18:47:05 by Masatake Daimon | Files touched by this commit (1) |
Log message:
devel/hs-logict: Fix build with GHC 9.8
This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
|
2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) |
Log message:
Revbump all Haskell after updating lang/ghc96
|
2023-10-24 14:31:41 by Masatake Daimon | Files touched by this commit (4) |
Log message:
devel/hs-logict: Update to 0.8.1.0
* Add instance MonadLogic (Control.Monad.Writer.CPS.WriterT w m).
|
2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) |
Log message:
Bump Haskell packages after updating lang/ghc94
|
2023-01-24 17:43:04 by Masatake Daimon | Files touched by this commit (4) |
Log message:
devel/hs-logict: Updateto 0.8.0.0
0.8.0.0
* Breaking change: do not re-export Control.Monad and Control.Monad.Trans
from Control.Monad.Logic.
* Generalize instance Traversable (LogicT Identity) to instance
(Traversable m, Monad m) => Traversable (LogicT m).
* Add conversion functions fromLogicT and fromLogicTWith to facilitate
interoperation with list-t and logict-sequence packages.
* Add hoistLogicT and embedLogicT to convert LogicT computations from one
underlying monad to another.
|
2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) |
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
|
2022-02-16 10:46:06 by Masatake Daimon | Files touched by this commit (5) |
Log message:
devel/hs-logict: import hs-logict-0.7.1.0
Adapted from the paper "Backtracking, Interleaving, and Terminating Monad
Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
Sabry.
|