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

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

Branch: CURRENT, Version: 0.8.2.0nb2, Package name: hs-logict-0.8.2.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: 19.685 KB

Version history: (Expand)

CVS history: (Expand)


   2025-03-05 04:40:14 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
recursive revbump after patching lang/ghc910
   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
Bump all Haskell packages after switching the default compiler.
   2025-01-31 08:35:36 by Masatake Daimon | Files touched by this commit (3) | Package updated
Log message:
devel/hs-logict: update to logict-0.8.2.0

# 0.8.2.0

* Add instances for `MonadThrow` and `MonadCatch`.
* Add instances `Eq`, `Ord`, `Show`, `Read`, `IsList` for `Logic a`.
* Speed up `instance MonadLogic Logic` with a trick to determine whether a \ 
callback is a constant failure.
   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   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