diff --git a/CHANGELOG b/CHANGELOG --- a/CHANGELOG +++ b/CHANGELOG @@ -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). diff --git a/src/Control/Unification/IntVar.hs b/src/Control/Unification/IntVar.hs --- a/src/Control/Unification/IntVar.hs +++ b/src/Control/Unification/IntVar.hs @@ -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 diff --git a/src/Control/Unification/Ranked/IntVar.hs b/src/Control/Unification/Ranked/IntVar.hs --- a/src/Control/Unification/Ranked/IntVar.hs +++ b/src/Control/Unification/Ranked/IntVar.hs @@ -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 diff --git a/src/Data/Functor/Fixedpoint.hs b/src/Data/Functor/Fixedpoint.hs --- a/src/Data/Functor/Fixedpoint.hs +++ b/src/Data/Functor/Fixedpoint.hs @@ -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 diff --git a/unification-fd.cabal b/unification-fd.cabal --- a/unification-fd.cabal +++ b/unification-fd.cabal @@ -6,11 +6,11 @@ -- ---------------------------------------------------------------- --- wren gayle romano ~ 2024-08-30 +-- wren gayle romano ~ 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., -- -- - , 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