tardis 0.4.1.0 → 0.4.2.0
raw patch · 2 files changed
+5/−4 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Control.Monad.Tardis: data TardisT bw fw m a
+ Control.Monad.Tardis: evalTardis :: Tardis bw fw a -> (bw, fw) -> a
+ Control.Monad.Tardis: evalTardisT :: Monad m => TardisT bw fw m a -> (bw, fw) -> m a
+ Control.Monad.Tardis: execTardis :: Tardis bw fw a -> (bw, fw) -> (bw, fw)
+ Control.Monad.Tardis: execTardisT :: Monad m => TardisT bw fw m a -> (bw, fw) -> m (bw, fw)
+ Control.Monad.Tardis: noState :: (a, b)
+ Control.Monad.Tardis: runTardis :: Tardis bw fw a -> (bw, fw) -> (a, (bw, fw))
+ Control.Monad.Tardis: type Tardis bw fw = TardisT bw fw Identity
- Control.Monad.Tardis.Class: class (Applicative m, MonadFix m) => MonadTardis bw fw m | m -> bw, m -> fw where getPast = tardis $ \ ~(bw, fw) -> (fw, (bw, fw)) getFuture = tardis $ \ ~(bw, fw) -> (bw, (bw, fw)) sendPast bw' = tardis $ \ ~(_bw, fw) -> ((), (bw', fw)) sendFuture fw' = tardis $ \ ~(bw, _fw) -> ((), (bw, fw')) tardis f = do { rec { let (a, (future', past')) = f (future, past); sendPast future'; past <- getPast; future <- getFuture; sendFuture past' }; return a }
+ Control.Monad.Tardis.Class: class (Applicative m, MonadFix m) => MonadTardis bw fw m | m -> bw, m -> fw
Files
- Control/Monad/Trans/Tardis.hs +1/−1
- tardis.cabal +4/−3
Control/Monad/Trans/Tardis.hs view
@@ -144,7 +144,7 @@ return (x, s') instance MFunctor (TardisT bw fw) where- hoist = mapTardisT+ hoist f = mapTardisT f -- Basics -------------------------------------------------
tardis.cabal view
@@ -1,5 +1,5 @@ name: tardis-version: 0.4.1.0+version: 0.4.2.0 synopsis: Bidirectional state monad transformer homepage: https://github.com/DanBurton/tardis bug-reports: https://github.com/DanBurton/tardis/issues@@ -9,7 +9,7 @@ maintainer: danburton.email@gmail.com category: Control build-type: Simple-cabal-version: >=1.8+cabal-version: >=1.10 description: A Tardis is a combination of both a forwards and a backwards@@ -21,11 +21,12 @@ library+ default-language: Haskell2010 exposed-modules: Control.Monad.Tardis , Control.Monad.Tardis.Class , Control.Monad.Trans.Tardis - build-depends: base==4.*+ build-depends: base >= 4.8 && < 5 , mtl==2.* , mmorph==1.*