./devel/hs-logict, Backtracking logic-programming monad

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.8.1.0nb2, Package name: hs-logict-0.8.1.0nb2, Maintainer: pkgsrc-users

Adapted 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)


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.