microlens-pro 0.2.0.4 → 0.2.0.5
raw patch · 2 files changed
+6/−2 lines, 2 filesdep ~microlensdep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: microlens, template-haskell
API changes (from Hackage documentation)
+ Lens.Micro.Pro: ($dm_Empty) :: (AsEmpty a, Monoid a, Eq a) => Prism' a ()
+ Lens.Micro.Pro: _6 :: Field6 s t a b => Lens s t a b
+ Lens.Micro.Pro: _7 :: Field7 s t a b => Lens s t a b
+ Lens.Micro.Pro: _8 :: Field8 s t a b => Lens s t a b
+ Lens.Micro.Pro: _9 :: Field9 s t a b => Lens s t a b
+ Lens.Micro.Pro: class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field5 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field6 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field7 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field8 s t a b | s -> a, t -> b, s b -> t, t a -> s
+ Lens.Micro.Pro: class Field9 s t a b | s -> a, t -> b, s b -> t, t a -> s
- Lens.Micro.Pro: _Empty :: (AsEmpty a, Monoid a, Eq a) => Prism' a ()
+ Lens.Micro.Pro: _Empty :: AsEmpty a => Prism' a ()
- Lens.Micro.Pro: _Just :: Prism (Maybe a) (Maybe b) a b
+ Lens.Micro.Pro: _Just :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Maybe a) (f (Maybe b))
- Lens.Micro.Pro: _Left :: Prism (Either a c) (Either b c) a b
+ Lens.Micro.Pro: _Left :: forall a c b p f. (Choice p, Applicative f) => p a (f b) -> p (Either a c) (f (Either b c))
- Lens.Micro.Pro: _Nothing :: Prism' (Maybe a) ()
+ Lens.Micro.Pro: _Nothing :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Maybe a) (f (Maybe a))
- Lens.Micro.Pro: _Right :: Prism (Either c a) (Either c b) a b
+ Lens.Micro.Pro: _Right :: forall c a b p f. (Choice p, Applicative f) => p a (f b) -> p (Either c a) (f (Either c b))
- Lens.Micro.Pro: data () => DefName
+ Lens.Micro.Pro: data DefName
- Lens.Micro.Pro: data () => LensRules
+ Lens.Micro.Pro: data LensRules
- Lens.Micro.Pro: mapping :: (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b)
+ Lens.Micro.Pro: mapping :: forall (f :: Type -> Type) (g :: Type -> Type) s t a b. (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b)
- Lens.Micro.Pro: type APrism s t a b = Market a b a (Identity b) -> Market a b s (Identity t)
+ Lens.Micro.Pro: type APrism s t a b = Market a b a Identity b -> Market a b s Identity t
- Lens.Micro.Pro: type APrism' s a = Market a a a (Identity a) -> Market a a s (Identity s)
+ Lens.Micro.Pro: type APrism' s a = Market a a a Identity a -> Market a a s Identity s
- Lens.Micro.Pro: type AReview t b = Tagged b (Identity b) -> Tagged t (Identity t)
+ Lens.Micro.Pro: type AReview t b = Tagged b Identity b -> Tagged t Identity t
- Lens.Micro.Pro: type AnIso s t a b = Exchange a b a (Identity b) -> Exchange a b s (Identity t)
+ Lens.Micro.Pro: type AnIso s t a b = Exchange a b a Identity b -> Exchange a b s Identity t
- Lens.Micro.Pro: type SimpleReview t b = forall p. (Choice p, Bifunctor p) => p b (Identity b) -> p t (Identity t)
+ Lens.Micro.Pro: type SimpleReview t b = forall (p :: Type -> Type -> Type). (Choice p, Bifunctor p) => p b Identity b -> p t Identity t
- Lens.Micro.Pro: withIso :: forall s t a b rep (r :: TYPE rep). AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
+ Lens.Micro.Pro: withIso :: AnIso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
- Lens.Micro.Pro.Internal: type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)
+ Lens.Micro.Pro.Internal: type Prism s t a b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Choice p, Applicative f) => p a f b -> p s f t
- Lens.Micro.Pro.Type: type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)
+ Lens.Micro.Pro.Type: type Prism s t a b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Choice p, Applicative f) => p a f b -> p s f t
Files
- CHANGELOG.md +4/−0
- microlens-pro.cabal +2/−2
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 0.2.0.5++* Bump version for microlens 0.5.+ # 0.2.0.4 * Allow building with containers 0.8.
microlens-pro.cabal view
@@ -1,5 +1,5 @@ name: microlens-pro-version: 0.2.0.4+version: 0.2.0.5 synopsis: Prisms and isomorphisms for microlens description: This package provides lens-compatible 'Prism' and 'Iso'. Consequently, it@@ -57,7 +57,7 @@ build-depends: base >=4.5 && <5 , containers >=0.4.0 && <0.9 , unordered-containers >=0.2.4 && <0.3- , microlens >=0.4.11.3 && <0.5+ , microlens >=0.5.0.0 && <0.6 , microlens-th >=0.4.3.3 && <0.5 , microlens-contra >=0.1.0 && <0.2 , microlens-platform >=0.4.3 && <0.5