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

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

Branch: CURRENT, Version: 0.8.1.0nb1, Package name: hs-logict-0.8.1.0nb1, 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)


   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.