logict-state 0.1.0.1 → 0.1.0.2

raw patch · 4 files changed

+9/−9 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.LogicState: instance Control.Monad.State.Class.MonadState s m => Control.Monad.State.Class.MonadState s (Control.Monad.LogicState.LogicStateT gs bs m)

- Control.Monad.TransLogicState.Class: observeManyT :: forall m a. (TransLogicState s t, Monad m) => s -> Int -> t m a -> m [a]

+ Control.Monad.TransLogicState.Class: observeManyT :: (TransLogicState s t, Monad m) => s -> Int -> t m a -> m [a]

Files

logict-state.cabal +1/−1
src/Control/Monad/LogicState.hs +4/−3
src/Control/Monad/LogicState/Class.hs +3/−4
src/Control/Monad/TransLogicState/Class.hs +1/−1

logict-state.cabal view

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                logict-state-version:             0.1.0.1+version:             0.1.0.2 synopsis:            Library for logic programming based on haskell package logict description:         Logic programming built on top of part of logict library, in particular for dealing with backtrackable state homepage:            https://github.com/atzedijkstra/logict-state

src/Control/Monad/LogicState.hs view

@@ -27,13 +27,12 @@     module Control.Monad.Trans,     module Control.Monad.LogicState.Class,     module Control.Monad.TransLogicState.Class,-    -- * The LogicVar monad-    -- LogicVar,+    -- * The LogicState monad     LogicState,     {-     logicVar,     runLogicVar,-    -- * The LogicVarT monad transformer+    -- * The LogicStateT monad transformer     -}     -- LogicVarT(..),     {-@@ -113,9 +112,11 @@ instance (MonadIO m) => MonadIO (LogicStateT gs bs m) where     liftIO = lift . liftIO +{- instance {-# OVERLAPPABLE #-} MonadState s m => MonadState s (LogicStateT gs bs m) where     get = lift get     put = lift . put+-}  instance MonadReader r m => MonadReader r (LogicStateT gs bs m) where     ask = lift ask

src/Control/Monad/LogicState/Class.hs view

@@ -6,12 +6,11 @@   where  import Control.Monad-import Control.Monad.Logic.Class-import Control.Monad.State+import Control.Monad.Logic.Class (MonadLogic)+import Control.Monad.State (MonadState)  ---------------------------------------------------------------------------------- | API for MonadLogic which allows state and backtracking on it--- Minimal implementation: msplit+-- | API for MonadLogic which allows state and backtracking on it. class (MonadLogic m, MonadState s m) => MonadLogicState s m where          -- | Return argument monad with the current backtrackable part of the state remembered.

src/Control/Monad/TransLogicState/Class.hs view

@@ -9,7 +9,7 @@   )   where -import Data.Typeable+-- import Data.Typeable  import Control.Monad.Identity -- import Control.Monad.Trans