microlens-mtl 0.2.0.2 → 0.2.0.3
raw patch · 3 files changed
+25/−4 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Lens.Micro.Mtl.Internal: type family Magnified (m :: * -> *) :: * -> * -> *
+ Lens.Micro.Mtl.Internal: type family Magnified (m :: Type -> Type) :: Type -> Type -> Type
Files
- CHANGELOG.md +4/−0
- microlens-mtl.cabal +6/−4
- src/Lens/Micro/Mtl/Internal.hs +15/−0
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 0.2.0.2++* Added support for mtl 2.3 and transformers 0.6 per [#152](https://github.com/stevenfontanella/microlens/issues/152).+ # 0.2.0.1 * No more conditional `Safe` (see [#122](https://github.com/monadfix/microlens/issues/122)).
microlens-mtl.cabal view
@@ -1,5 +1,5 @@ name: microlens-mtl-version: 0.2.0.2+version: 0.2.0.3 synopsis: microlens support for Reader/Writer/State from mtl description: This package contains functions (like 'view' or '+=') which work on 'MonadReader', 'MonadWriter', and 'MonadState' from the mtl package.@@ -8,7 +8,7 @@ license: BSD3 license-file: LICENSE author: Edward Kmett, Artyom Kazak-maintainer: Monadfix <hi@monadfix.com>+maintainer: Steven Fontanella <steven.fontanella@gmail.com> homepage: http://github.com/monadfix/microlens bug-reports: http://github.com/monadfix/microlens/issues -- copyright:@@ -26,8 +26,9 @@ GHC==8.6.5 GHC==8.8.4 GHC==8.10.7- GHC==9.0.1- GHC==9.2.1+ GHC==9.0.2+ GHC==9.2.5+ GHC==9.4.3 source-repository head type: git@@ -50,3 +51,4 @@ hs-source-dirs: src default-language: Haskell2010+ default-extensions: TypeOperators
src/Lens/Micro/Mtl/Internal.hs view
@@ -9,6 +9,9 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE Trustworthy #-}+#if !MIN_VERSION_base(4, 9, 0)+{-# LANGUAGE DataKinds #-}+#endif -- This is needed because ErrorT is deprecated. {-# OPTIONS_GHC -fno-warn-warnings-deprecations #-}@@ -78,13 +81,21 @@ import Data.Monoid #endif +#if MIN_VERSION_base(4,9,0)+import Data.Kind (Type)+#endif + ------------------------------------------------------------------------------ -- Zoomed ------------------------------------------------------------------------------ -- | This type family is used by 'Zoom' to describe the common effect type.+#if MIN_VERSION_base(4,9,0)+type family Zoomed (m :: Type -> Type) :: Type -> Type -> Type+#else type family Zoomed (m :: * -> *) :: * -> * -> *+#endif type instance Zoomed (Strict.StateT s z) = Focusing z type instance Zoomed (Lazy.StateT s z) = Focusing z type instance Zoomed (ReaderT e m) = Zoomed m@@ -419,7 +430,11 @@ ------------------------------------------------------------------------------ -- | This type family is used by 'Magnify' to describe the common effect type.+#if MIN_VERSION_base(4,9,0)+type family Magnified (m :: Type -> Type) :: Type -> Type -> Type+#else type family Magnified (m :: * -> *) :: * -> * -> *+#endif type instance Magnified (ReaderT b m) = Effect m type instance Magnified ((->)b) = Const type instance Magnified (Strict.RWST a w s m) = EffectRWS w s m