statestack-0.3/0000755000000000000000000000000007346545000011713 5ustar0000000000000000statestack-0.3/CHANGES.md0000755000000000000000000000136707346545000013317 0ustar00000000000000000.3 (13 November 2019) ---------------------- - Now builds with with GHC 7.10 through 8.8 - Drop support for GHC < 7.10 - Remove deprecated `ListT` instance 0.2.0.5-r2 (2 April 2018) ------------------------- - Allow `base-4.11` - Allow `transformers-compat-0.6.x` 0.2.0.5-r1 (8 August 2017) ------------------------- - Allow `base-4.10` 0.2.0.5 (17 January 2016) ------------------------- - Allow `transformers-compat-0.5` 0.2.0.4 (19 April 2015) ----------------------- - Use `transformers-compat` to suppress deprecation warnings. 0.2.0.3 (2 June 2014) ---------------------- - Allow `mtl-2.2` - Allow `transformers-0.4` 0.2 (5 Nov 2013) -------- * Update to work with latest versions of everything 0.1: Initial release statestack-0.3/Control/Monad/0000755000000000000000000000000007346545000014371 5ustar0000000000000000statestack-0.3/Control/Monad/StateStack.hs0000644000000000000000000001602607346545000017000 0ustar0000000000000000{-# LANGUAGE CPP #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE MultiParamTypeClasses #-} ----------------------------------------------------------------------------- -- | -- Module : Control.Monad.StateStack -- Copyright : (c) 2011 Brent Yorgey -- License : BSD-style (see LICENSE) -- Maintainer : byorgey@cis.upenn.edu -- -- A state monad which allows the state to be saved and restored on a -- stack. -- -- [Computation type:] Computations with implicit access to a -- read/write state, with additional operations for pushing the -- current state on a stack and later restoring the state from the top -- of the stack. -- -- [Binding strategy:] Same as for the usual state monad; the state -- and accompanying stack of saved states are threaded through -- computations. -- -- [Useful for:] Remembering state while emitting commands for some -- system which itself has saveable/restorable state, such as OpenGL -- or Cairo. -- -- Simple example: -- -- > ghci> let p = get >>= liftIO . print -- > ghci> evalStateStackT (put 2 >> p >> save >> put 3 >> p >> restore >> p) 0 -- > 2 -- > 3 -- > 2 -- ----------------------------------------------------------------------------- module Control.Monad.StateStack ( -- * The @MonadStateStack@ class MonadStateStack(..) -- * The @StateStackT@ transformer , StateStackT(..), StateStack -- * Running @StateStackT@ and @StateStack@ computations , runStateStackT, evalStateStackT, execStateStackT , runStateStack, evalStateStack, execStateStack , liftState ) where import Control.Arrow (second) import Control.Arrow (first, (&&&)) import qualified Control.Monad.State as St import Control.Monad.Identity import Control.Monad.Trans import Control.Monad.Trans.Cont import Control.Monad.Trans.Except import Control.Monad.Trans.Maybe import Control.Monad.Trans.Reader (ReaderT) import Control.Monad.Trans.State.Lazy as Lazy import Control.Monad.Trans.State.Strict as Strict import Control.Monad.Trans.Writer.Lazy as Lazy import Control.Monad.Trans.Writer.Strict as Strict import qualified Control.Monad.Cont.Class as CC import qualified Control.Monad.IO.Class as IC ------------------------------------------------------------ -- Implementation ------------------------------------------------------------ -- | A monad transformer which adds a save/restorable state to an -- existing monad. newtype StateStackT s m a = StateStackT { unStateStackT :: St.StateT (s,[s]) m a } deriving (Functor, Applicative, Monad, MonadTrans, IC.MonadIO) -- | Class of monads which support a state along with a stack for -- saving and restoring states. class St.MonadState s m => MonadStateStack s m where save :: m () -- ^ Save the current state on the stack restore :: m () -- ^ Restore the top state from the stack instance Monad m => St.MonadState s (StateStackT s m) where get = StateStackT $ St.gets fst put s = StateStackT $ (St.modify . first) (const s) instance Monad m => MonadStateStack s (StateStackT s m) where save = StateStackT $ St.modify (fst &&& uncurry (:)) restore = StateStackT . St.modify $ \(cur,hist) -> case hist of [] -> (cur,hist) (r:hist') -> (r,hist') -- | Run a @StateStackT@ computation from an initial state, resulting -- in a computation of the underlying monad which yields the return -- value and final state. runStateStackT :: Monad m => StateStackT s m a -> s -> m (a, s) runStateStackT m s = (liftM . second) fst . flip St.runStateT (s,[]) . unStateStackT $ m -- | Like 'runStateStackT', but discard the final state. evalStateStackT :: Monad m => StateStackT s m a -> s -> m a evalStateStackT m s = liftM fst $ runStateStackT m s -- | Like 'runStateStackT', but discard the return value and yield -- only the final state. execStateStackT :: Monad m => StateStackT s m a -> s -> m s execStateStackT m s = liftM snd $ runStateStackT m s type StateStack s a = StateStackT s Identity a -- | Run a @StateStack@ computation from an initial state, resulting -- in a pair of the final return value and final state. runStateStack :: StateStack s a -> s -> (a,s) runStateStack m s = runIdentity $ runStateStackT m s -- | Like 'runStateStack', but discard the final state. evalStateStack :: StateStack s a -> s -> a evalStateStack m s = runIdentity $ evalStateStackT m s -- | Like 'runStateStack', but discard the return value and yield -- only the final state. execStateStack :: StateStack s a -> s -> s execStateStack m s = runIdentity $ execStateStackT m s -- | @StateT@ computations can always be lifted to @StateStackT@ -- computations which do not manipulate the state stack. liftState :: Monad m => St.StateT s m a -> StateStackT s m a liftState st = StateStackT . St.StateT $ \(s,ss) -> (liftM . second) (flip (,) ss) (St.runStateT st s) ------------------------------------------------------------ -- Applying monad transformers to MonadStateStack monads ------------------------------------------------------------ instance MonadStateStack s m => MonadStateStack s (ContT r m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (ExceptT e m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (IdentityT m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (MaybeT m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (ReaderT r m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (Lazy.StateT s m) where save = lift save restore = lift restore instance MonadStateStack s m => MonadStateStack s (Strict.StateT s m) where save = lift save restore = lift restore instance (Monoid w, MonadStateStack s m) => MonadStateStack s (Lazy.WriterT w m) where save = lift save restore = lift restore instance (Monoid w, MonadStateStack s m) => MonadStateStack s (Strict.WriterT w m) where save = lift save restore = lift restore ------------------------------------------------------------ -- Applying StateStackT to other monads ------------------------------------------------------------ instance CC.MonadCont m => CC.MonadCont (StateStackT s m) where callCC c = StateStackT $ CC.callCC (unStateStackT . (\k -> c (StateStackT . k))) {- -- These require UndecidableInstances =( instance EC.MonadError e m => EC.MonadError e (StateStackT s m) where throwError = lift . EC.throwError catchError m h = StateStackT $ EC.catchError (unStateStackT m) (unStateStackT . h) instance RC.MonadReader r m => RC.MonadReader r (StateStackT s m) where ask = lift RC.ask local f = StateStackT . RC.local f . unStateStackT -} statestack-0.3/LICENSE0000644000000000000000000000330007346545000012714 0ustar0000000000000000Copyright (c) 2014-2016 statestack team: Daniel Bergey Ben Gamari Jeffrey Rosenbluth Ryan Scott Brent Yorgey All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of Brent Yorgey nor the names of other contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. statestack-0.3/Setup.hs0000644000000000000000000000005607346545000013350 0ustar0000000000000000import Distribution.Simple main = defaultMain statestack-0.3/statestack.cabal0000644000000000000000000000205707346545000015051 0ustar0000000000000000Name: statestack Version: 0.3 Synopsis: Simple State-like monad transformer with saveable and restorable state Description: Simple State-like monad transformer where states can be saved to and restored from an internal stack. License: BSD3 License-file: LICENSE Extra-source-files: CHANGES.md Author: Brent Yorgey Maintainer: byorgey@gmail.com Category: Control Build-type: Simple Cabal-version: >=1.10 Bug-reports: http://github.com/diagrams/statestack/issues Tested-with: GHC ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.3 || ==8.6.5 || ==8.8.1 Source-repository head type: git location: git://github.com/diagrams/statestack Library Default-language: Haskell2010 Exposed-modules: Control.Monad.StateStack Build-depends: base >= 4.8 && < 4.14, mtl >= 2.1 && < 2.3, transformers >= 0.3 && < 0.6, transformers-compat >= 0.4 && < 0.7