unification-fd 0.12.0 → 0.12.0.1

raw patch · 5 files changed

+26/−13 lines, 5 filesdep ~logictPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: logict

API changes (from Hackage documentation)

Files

• CHANGELOG +2/−0
• src/Control/Unification/IntVar.hs +10/−5
• src/Control/Unification/Ranked/IntVar.hs +10/−4
• src/Data/Functor/Fixedpoint.hs +1/−1
• unification-fd.cabal +3/−3

@@ -1,3 +1,5 @@+0.12.0.1 (2024-11-26):+    - Nudged the version upper bound for logict 0.12.0 (2024-08-30):     - Switched to using data-fix, which causes several breaking changes.       * The oldest supported GHC is now 8.6.1 (September 2018).

@@ -5,10 +5,10 @@            #-} {-# OPTIONS_GHC -Wall -fwarn-tabs #-} -------------------------------------------------------------------                                                  ~ 2021.11.07+--                                                  ~ 2024-11-20 -- | -- Module      :  Control.Unification.IntVar--- Copyright   :  Copyright (c) 2007--2021 wren gayle romano+-- Copyright   :  Copyright (c) 2007--2024 wren gayle romano -- License     :  BSD -- Maintainer  :  wren@cpan.org -- Stability   :  experimental@@ -168,16 +168,21 @@  ---------------------------------------------------------------- +-- | Run the binding computation with the empty initial binding+-- state, and return both the final value and the final state. runIntBindingT :: IntBindingT t m a -> m (a, IntBindingState t) runIntBindingT (IBT m) = runStateT m emptyIntBindingState ---- | N.B., you should explicitly apply bindings before calling this+-- | Run the binding computation with the empty initial binding+-- state, and return both the final value but discard the final state.+--+-- NOTE: you should explicitly apply bindings before calling this -- function, or else the bindings will be lost evalIntBindingT :: (Monad m) => IntBindingT t m a -> m a evalIntBindingT (IBT m) = evalStateT m emptyIntBindingState -+-- | Run the binding computation with the empty initial binding+-- state, and return both the final state but discard the final value. execIntBindingT :: (Monad m) => IntBindingT t m a -> m (IntBindingState t) execIntBindingT (IBT m) = execStateT m emptyIntBindingState 

@@ -5,10 +5,10 @@            #-} {-# OPTIONS_GHC -Wall -fwarn-tabs #-} -------------------------------------------------------------------                                                  ~ 2021.11.07+--                                                  ~ 2024-11-20 -- | -- Module      :  Control.Unification.Ranked.IntVar--- Copyright   :  Copyright (c) 2007--2021 wren gayle romano+-- Copyright   :  Copyright (c) 2007--2024 wren gayle romano -- License     :  BSD -- Maintainer  :  wren@cpan.org -- Stability   :  highly experimental@@ -127,16 +127,22 @@  ---------------------------------------------------------------- +-- | Run the binding computation with the empty initial binding+-- state, and return both the final value and the final state. runIntRBindingT :: IntRBindingT t m a -> m (a, IntRBindingState t) runIntRBindingT (IRBT m) = runStateT m emptyIntRBindingState ---- | N.B., you should explicitly apply bindings before calling this+-- | Run the binding computation with the empty initial binding+-- state, and return both the final value but discard the final state.+--+-- NOTE: you should explicitly apply bindings before calling this -- function, or else the bindings will be lost evalIntRBindingT :: (Monad m) => IntRBindingT t m a -> m a evalIntRBindingT (IRBT m) = evalStateT m emptyIntRBindingState  +-- | Run the binding computation with the empty initial binding+-- state, and return both the final state but discard the final value. execIntRBindingT :: (Monad m) => IntRBindingT t m a -> m (IntRBindingState t) execIntRBindingT (IRBT m) = execStateT m emptyIntRBindingState 

@@ -16,7 +16,7 @@ -- of older versions of @unification-fd@, before we switched over -- to using @data-fix@.  New users should prefer calling @data-fix@ -- functions directly, whenever possible.  If you use any of the--- functions that aren't deprecated ('hoistFixM', 'ymap', 'ymapM',+-- functions that aren't deprecated ('hoistFixM'', 'ymap', 'ymapM', -- 'ycata', 'ycataM', 'build'), please let the maintainer know, -- so she can focus on getting those incorporated into @data-fix@. -- Returning users should beware that this module used to provide

@@ -6,11 +6,11 @@ --    <https://github.com/haskell/cabal/issues/4899>  ------------------------------------------------------------------- wren gayle romano <wren@cpan.org>                ~ 2024-08-30+-- wren gayle romano <wren@cpan.org>                ~ 2024-11-26 ----------------------------------------------------------------  Name:           unification-fd-Version:        0.12.0+Version:        0.12.0.1 Build-Type:     Simple Stability:      experimental Homepage:       https://wrengr.org/software/hackage.html@@ -87,7 +87,7 @@                  -- should be resolved now. Cf.,                  -- <https://github.com/Bodigrim/logict/issues/20#issuecomment-774528439>                  -- <https://github.com/wrengr/unification-fd/issues/14>-                 , logict       >= 0.4   && < 0.8.2+                 , logict       >= 0.4   && < 0.8.3                  -- FIXME: What all changed between 0.3.2 and 0.3.4?  And why does my current GHC not want to try 0.3.4?                  , data-fix     >= 0.3.2 && < 0.4