kure 2.16.4 → 2.16.6

raw patch · 9 files changed

+33/−17 lines, 9 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• Language/KURE.hs +2/−2
• Language/KURE/Combinators/Arrow.hs +3/−0
• Language/KURE/Combinators/Transform.hs +4/−2
• Language/KURE/MonadCatch.hs +6/−3
• Language/KURE/Path.hs +3/−1
• Language/KURE/Pathfinder.hs +3/−1
• Language/KURE/Transform.hs +3/−1
• Language/KURE/Walker.hs +6/−4
• kure.cabal +3/−3

@@ -12,8 +12,8 @@ -- and the traversal functionality can be found in "Language.KURE.Walker". -- module Language.KURE-	( module Language.KURE.Transform-	, module Language.KURE.Walker+        ( module Language.KURE.Transform+        , module Language.KURE.Walker         , module Language.KURE.Combinators         , module Language.KURE.MonadCatch         , module Language.KURE.Injection

@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} -- | -- Module: Language.KURE.Combinators.Arrow -- Copyright: (c) 2012--2014 The University of Kansas@@ -31,7 +32,9 @@ import Control.Category hiding ((.)) import Control.Arrow +#if !(MIN_VERSION_base(4,8,0)) import Data.Monoid+#endif import Data.Foldable  ------------------------------------------------------------------------------------------

@@ -1,4 +1,4 @@-{-# Language InstanceSigs #-}+{-# Language CPP, InstanceSigs #-} -- | -- Module: Language.KURE.Combinators.Transform -- Copyright: (c) 2012--2014 The University of Kansas@@ -50,8 +50,10 @@  import Prelude hiding (id, map, foldr, mapM) -import Control.Category ((>>>),id)+#if !(MIN_VERSION_base(4,8,0)) import Control.Applicative+#endif+import Control.Category ((>>>),id) import Control.Monad (liftM,ap)  import Data.Foldable

@@ -1,4 +1,4 @@-{-# Language InstanceSigs #-}+{-# Language CPP, InstanceSigs #-} -- | -- Module: Language.KURE.MonadCatch -- Copyright: (c) 2012--2014 The University of Kansas@@ -36,16 +36,19 @@  import Prelude hiding (foldr) -import Control.Applicative import Control.Exception (catch, SomeException) import Control.Monad import Control.Monad.IO.Class  import Data.Foldable import Data.List (isPrefixOf)-import Data.Monoid  import Language.KURE.Combinators.Monad++#if !(MIN_VERSION_base(4,8,0))+import Control.Applicative+import Data.Monoid+#endif  infixl 3 <+ 

@@ -1,4 +1,4 @@-{-# LANGUAGE InstanceSigs, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}+{-# LANGUAGE CPP, InstanceSigs, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} -- | -- Module: Language.KURE.Path -- Copyright: (c) 2012--2014 The University of Kansas@@ -37,7 +37,9 @@        ) where +#if !(MIN_VERSION_base(4,8,0)) import Data.Monoid+#endif  import Control.Arrow ((>>^)) 

@@ -1,4 +1,4 @@-{-# LANGUAGE ScopedTypeVariables, FlexibleContexts #-}+{-# LANGUAGE CPP, ScopedTypeVariables, FlexibleContexts #-}  -- | -- Module: Language.KURE.Pathfinder@@ -34,7 +34,9 @@  import Control.Category hiding ((.)) import Control.Arrow+#if !(MIN_VERSION_base(4,8,0)) import Data.Monoid (mempty)+#endif  import Language.KURE.MonadCatch import Language.KURE.Transform

@@ -1,4 +1,4 @@-{-# Language InstanceSigs #-}+{-# Language CPP, InstanceSigs #-} -- | -- Module: Language.KURE.Transform -- Copyright: (c) 2012--2014 The University of Kansas@@ -38,7 +38,9 @@ import Control.Category import Control.Arrow +#if !(MIN_VERSION_base(4,8,0)) import Data.Monoid+#endif  import Language.KURE.MonadCatch 

@@ -1,4 +1,4 @@-{-# LANGUAGE InstanceSigs, MultiParamTypeClasses, ScopedTypeVariables, FlexibleContexts #-}+{-# LANGUAGE CPP, InstanceSigs, MultiParamTypeClasses, ScopedTypeVariables, FlexibleContexts #-} -- | -- Module: Language.KURE.Walker -- Copyright: (c) 2012--2014 The University of Kansas@@ -78,10 +78,12 @@ import Data.Monoid import Data.DList (singleton, toList) -import Control.Monad+#if !(MIN_VERSION_base(4,8,0)) import Control.Applicative+#endif import Control.Arrow import Control.Category hiding ((.))+import Control.Monad  import Language.KURE.MonadCatch import Language.KURE.Transform@@ -461,12 +463,12 @@ unOneT (OneT f) = f {-# INLINE unOneT #-} -instance (Monoid w, Monad m) => Functor (OneT w m) where+instance Monad m => Functor (OneT w m) where    fmap :: (a -> b) -> OneT w m a -> OneT w m b    fmap = liftM    {-# INLINE fmap #-} -instance (Monoid w, Monad m) => Applicative (OneT w m) where+instance Monad m => Applicative (OneT w m) where    pure :: a -> OneT w m a    pure = return    {-# INLINE pure #-}

@@ -1,5 +1,5 @@ Name:                kure-Version:             2.16.4+Version:             2.16.6 Synopsis:            Combinators for Strategic Programming Description:	     The Kansas University Rewrite Engine (KURE) is a domain-specific language for strategic rewriting. 	 	     KURE was inspired by Stratego and StrategyLib, and has similarities with Scrap Your Boilerplate and Uniplate.@@ -11,7 +11,7 @@                      .                      You can read about KURE in the following article:                      .-                     The Kansas University Rewrite Engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes.  Neil Sculthorpe, Nicolas Frisby and Andy Gill.   Journal of Functional Programming. Cambridge University Press, 2014.+                     The Kansas University Rewrite Engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes.  Neil Sculthorpe, Nicolas Frisby and Andy Gill.  Journal of Functional Programming.  Cambridge University Press, 24(4), pages 434-473, 2014.                      <http://www.cs.swan.ac.uk/~csnas/papers_and_talks/kure.pdf>  Category:            Language@@ -19,7 +19,7 @@ License-file:        LICENSE Author:              Neil Sculthorpe and Andy Gill Maintainer:          Neil Sculthorpe <N.A.Sculthorpe@swansea.ac.uk>-Copyright:           (c) 2006--2014 The University of Kansas+Copyright:           (c) 2006--2015 The University of Kansas Homepage:            http://www.ittc.ku.edu/csdl/fpg/software/kure.html Stability:	     beta build-type: 	     Simple