logict 0.5.0.2 → 0.6

raw patch · 2 files changed

+5/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Monad/Logic/Class.hs +2/−0
• logict.cabal +3/−3

@@ -62,6 +62,7 @@     --   be considered. (>>-) takes similar care to consider both branches of     --   a disjunctive computation.     (>>-)      :: m a -> (a -> m b) -> m b+    infixl 1 >>-      -- | Logical conditional. The equivalent of Prolog's soft-cut. If its     --   first argument succeeds at all, then the results will be fed into@@ -90,6 +91,7 @@      once m = do Just (a, _) <- msplit m                 return a+  ------------------------------------------------------------------------------- -- | The inverse of msplit. Satisfies the following law:

@@ -1,5 +1,5 @@ Name:                   logict-Version:                0.5.0.2+Version:                0.6 Description:            A continuation-based, backtracking, logic programming monad.                         An adaptation of the two-continuation implementation found                         in the paper "Backtracking, Interleaving, and Terminating@@ -9,8 +9,8 @@ Category:               Control License:                BSD3 License-File:           LICENSE-Copyright:              Copyright (c) 2007-2010, Dan Doel,-                        Copyright (c) 2011, Edward Kmett+Copyright:              Copyright (c) 2007-2013, Dan Doel,+                        Copyright (c) 2011-2013, Edward Kmett Author:                 Dan Doel Maintainer:             dan.doel@gmail.com Homepage:               http://code.haskell.org/~dolio/logict