Strafunski-StrategyLib 5.0.0.8 → 5.0.0.9
raw patch · 1 files changed
+5/−5 lines, 1 filesdep ~basedep ~directorydep ~sybnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, directory, syb
API changes (from Hackage documentation)
- Control.Monad.Run: cons :: ListAlg a b -> a -> b -> b
- Control.Monad.Run: first :: StateAlg s a b -> s
- Control.Monad.Run: instance [overlap ok] MonadRun (->) IO
- Control.Monad.Run: instance [overlap ok] MonadRun (->) Identity
- Control.Monad.Run: instance [overlap ok] MonadRun (ErrorAlg e) (Either e)
- Control.Monad.Run: instance [overlap ok] MonadRun (StateAlg s) (State s)
- Control.Monad.Run: instance [overlap ok] MonadRun ListAlg []
- Control.Monad.Run: instance [overlap ok] MonadRun MaybeAlg Maybe
- Control.Monad.Run: instance [overlap ok] MonadUnTrans (ErrorAlg e) (ErrorT e)
- Control.Monad.Run: instance [overlap ok] MonadUnTrans (StateAlg s) (StateT s)
- Control.Monad.Run: instance [overlap ok] MonadUnTrans ListAlg ListT
- Control.Monad.Run: instance [overlap ok] MonadUnTrans MaybeAlg MaybeT
- Control.Monad.Run: just :: MaybeAlg a b -> a -> b
- Control.Monad.Run: left :: ErrorAlg e a b -> e -> b
- Control.Monad.Run: next :: StateAlg s a b -> (a, s) -> b
- Control.Monad.Run: nil :: ListAlg a b -> b
- Control.Monad.Run: nothing :: MaybeAlg a b -> b
- Control.Monad.Run: right :: ErrorAlg e a b -> a -> b
- Data.Generics.Strafunski.StrategyLib.MetricsTheme: instance [overlap ok] Monoid Metrics
- Data.Generics.Strafunski.StrategyLib.Models.Deriving.TermRep: instance [overlap ok] (Typeable x, Data x) => Term x
- Data.Generics.Strafunski.StrategyLib.MoreMonoids: instance [overlap ok] Num a => Monoid a
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, MonadPlus m, Strategy (TU u) m) => StrategyPlus (TU u) m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, MonadPlus m, Strategy TP m) => StrategyPlus TP m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, Monoid u, Strategy (TU u) m) => StrategyMonoid (TU u) m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, Strategy TP m) => StrategyMonoid TP m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, Term t) => StrategyApply (TU a) m t a
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] (Monad m, Term t) => StrategyApply TP m t t
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] Monad m => Strategy (TU a) m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] Monad m => Strategy TP m
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] StrategyMSubst (TU a)
- Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance [overlap ok] StrategyMSubst TP
- Data.Generics.Strafunski.StrategyLib.StrategyLib: runIdentity :: Identity a -> a
- Data.Generics.Strafunski.StrategyLib.StrategyLib: runStateT :: StateT s a -> s -> m (a, s)
+ Control.Monad.Run: [cons] :: ListAlg a b -> a -> b -> b
+ Control.Monad.Run: [first] :: StateAlg s a b -> s
+ Control.Monad.Run: [just] :: MaybeAlg a b -> a -> b
+ Control.Monad.Run: [left] :: ErrorAlg e a b -> e -> b
+ Control.Monad.Run: [next] :: StateAlg s a b -> (a, s) -> b
+ Control.Monad.Run: [nil] :: ListAlg a b -> b
+ Control.Monad.Run: [nothing] :: MaybeAlg a b -> b
+ Control.Monad.Run: [right] :: ErrorAlg e a b -> a -> b
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun (->) Data.Functor.Identity.Identity
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun (->) GHC.Types.IO
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun (Control.Monad.Run.ErrorAlg e) (Data.Either.Either e)
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun (Control.Monad.Run.StateAlg s) (Control.Monad.Trans.State.Lazy.State s)
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun Control.Monad.Run.ListAlg []
+ Control.Monad.Run: instance Control.Monad.Run.MonadRun Control.Monad.Run.MaybeAlg GHC.Base.Maybe
+ Control.Monad.Run: instance Control.Monad.Run.MonadUnTrans (Control.Monad.Run.ErrorAlg e) (Control.Monad.Trans.Error.ErrorT e)
+ Control.Monad.Run: instance Control.Monad.Run.MonadUnTrans (Control.Monad.Run.StateAlg s) (Control.Monad.Trans.State.Lazy.StateT s)
+ Control.Monad.Run: instance Control.Monad.Run.MonadUnTrans Control.Monad.Run.ListAlg Control.Monad.Trans.List.ListT
+ Control.Monad.Run: instance Control.Monad.Run.MonadUnTrans Control.Monad.Run.MaybeAlg Control.Monad.Trans.Maybe.MaybeT
+ Data.Generics.Strafunski.StrategyLib.MetricsTheme: instance GHC.Base.Monoid Data.Generics.Strafunski.StrategyLib.MetricsTheme.Metrics
+ Data.Generics.Strafunski.StrategyLib.Models.Deriving.TermRep: instance (Data.Typeable.Internal.Typeable x, Data.Data.Data x) => Data.Generics.Strafunski.StrategyLib.Models.Deriving.TermRep.Term x
+ Data.Generics.Strafunski.StrategyLib.MoreMonoids: instance GHC.Num.Num a => GHC.Base.Monoid a
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, Data.Generics.Strafunski.StrategyLib.Models.Deriving.TermRep.Term t) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyApply (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU a) m t a
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, Data.Generics.Strafunski.StrategyLib.Models.Deriving.TermRep.Term t) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyApply Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m t t
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyMonoid Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, GHC.Base.MonadPlus m, Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU u) m) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyPlus (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU u) m
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, GHC.Base.MonadPlus m, Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyPlus Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance (GHC.Base.Monad m, GHC.Base.Monoid u, Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU u) m) => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyMonoid (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU u) m
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyMSubst (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU a)
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance Data.Generics.Strafunski.StrategyLib.OverloadingTheme.StrategyMSubst Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance GHC.Base.Monad m => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy (Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TU a) m
+ Data.Generics.Strafunski.StrategyLib.OverloadingTheme: instance GHC.Base.Monad m => Data.Generics.Strafunski.StrategyLib.OverloadingTheme.Strategy Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives.TP m
+ Data.Generics.Strafunski.StrategyLib.StrategyInfix: infixl 1 >>>-
+ Data.Generics.Strafunski.StrategyLib.StrategyInfix: infixl 2 -+
+ Data.Generics.Strafunski.StrategyLib.StrategyLib: [runIdentity] :: Identity a -> a
+ Data.Generics.Strafunski.StrategyLib.StrategyLib: [runStateT] :: StateT s a -> s -> m (a, s)
- Control.Monad.Run: mayswitch :: Monad m => [MaybeT m b] -> m b -> m b
+ Control.Monad.Run: mayswitch :: (Monad m) => [MaybeT m b] -> m b -> m b
Files
Strafunski-StrategyLib.cabal view
@@ -1,11 +1,11 @@ name: Strafunski-StrategyLib-version: 5.0.0.8+version: 5.0.0.9 synopsis: Library for strategic programming description: This is a version of the StrategyLib library originally shipped with Strafunski, Cabalized and updated to newer versions of GHC. A description of much of StrategyLib can be found in the paper "Design Patterns for Functional Strategic Programming." license: BSD3 license-file: LICENSE author: Ralf Laemmel, Joost Visser-maintainer: darmanithird@gmail.com+maintainer: darmanithird@gmail.com,alan.zimm@gmail.com category: Generics build-type: Simple cabal-version: >=1.8@@ -51,9 +51,9 @@ -- other-modules: build-depends:- base > 4.4 && < 4.9,+ base > 4.4 && < 4.10, mtl > 2.2,- syb > 0.3,- directory > 1.1,+ syb > 0.3 && < 4.1,+ directory > 1.1 && < 1.2.7, transformers >= 0.2