lens-sop 0.3.0 → 0.3.1
raw patch · 2 files changed
+18/−7 lines, 2 filesdep −transformersdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: transformers
Dependency ranges changed: base
API changes (from Hackage documentation)
- Generics.SOP.Lens: fromIso :: (Monad r, Monad w) => Iso' a b -> GLens r w a b
+ Generics.SOP.Lens: fromIso :: forall (r :: Type -> Type) (w :: Type -> Type) a b. (Monad r, Monad w) => Iso' a b -> GLens r w a b
- Generics.SOP.Lens: fromLens :: (Monad r, Monad w) => Lens' a b -> GLens r w a b
+ Generics.SOP.Lens: fromLens :: forall (r :: Type -> Type) (w :: Type -> Type) a b. (Monad r, Monad w) => Lens' a b -> GLens r w a b
- Generics.SOP.Lens: get :: GLens r w a b -> a -> r b
+ Generics.SOP.Lens: get :: forall r (w :: Type -> Type) a b. GLens r w a b -> a -> r b
- Generics.SOP.Lens: glenses :: forall r w a xs. (Generic a, Code a ~ '[xs], Monad r, Monad w) => NP (GLens r w a) xs
+ Generics.SOP.Lens: glenses :: forall (r :: Type -> Type) (w :: Type -> Type) a (xs :: [Type]). (Generic a, Code a ~ '[xs], Monad r, Monad w) => NP (GLens r w a) xs
- Generics.SOP.Lens: head :: (Monad r, Monad w) => GLens r w (NP f (x : xs)) (f x)
+ Generics.SOP.Lens: head :: forall (r :: Type -> Type) (w :: Type -> Type) f x (xs :: [Type]). (Monad r, Monad w) => GLens r w (NP f (x ': xs)) (f x)
- Generics.SOP.Lens: i :: (Monad r, Monad w) => GLens r w (I a) a
+ Generics.SOP.Lens: i :: forall (r :: Type -> Type) (w :: Type -> Type) a. (Monad r, Monad w) => GLens r w (I a) a
- Generics.SOP.Lens: modify :: GLens r w a b -> (b -> w b) -> a -> w a
+ Generics.SOP.Lens: modify :: forall (r :: Type -> Type) w a b. GLens r w a b -> (b -> w b) -> a -> w a
- Generics.SOP.Lens: np :: forall r w xs. (Monad r, Monad w, SListI xs) => NP (GLens r w (NP I xs)) xs
+ Generics.SOP.Lens: np :: forall (r :: Type -> Type) (w :: Type -> Type) (xs :: [Type]). (Monad r, Monad w, SListI xs) => NP (GLens r w (NP I xs)) xs
- Generics.SOP.Lens: rep :: (Monad r, Monad w, Generic a) => GLens r w a (Rep a)
+ Generics.SOP.Lens: rep :: forall (r :: Type -> Type) (w :: Type -> Type) a. (Monad r, Monad w, Generic a) => GLens r w a (Rep a)
- Generics.SOP.Lens: set :: Monad w => GLens r w a b -> b -> a -> w a
+ Generics.SOP.Lens: set :: forall w (r :: Type -> Type) a b. Monad w => GLens r w a b -> b -> a -> w a
- Generics.SOP.Lens: sop :: (Monad r, Monad w) => GLens r w (SOP f '[xs]) (NP f xs)
+ Generics.SOP.Lens: sop :: forall (r :: Type -> Type) (w :: Type -> Type) (f :: Type -> Type) (xs :: [Type]). (Monad r, Monad w) => GLens r w (SOP f '[xs]) (NP f xs)
- Generics.SOP.Lens: tail :: (Monad r, Monad w) => GLens r w (NP f (x : xs)) (NP f xs)
+ Generics.SOP.Lens: tail :: forall (r :: Type -> Type) (w :: Type -> Type) (f :: Type -> Type) x (xs :: [Type]). (Monad r, Monad w) => GLens r w (NP f (x ': xs)) (NP f xs)
- Generics.SOP.Lens.Computed: AbstractLens :: GLens r w a x -> AbstractLens r w c a
+ Generics.SOP.Lens.Computed: AbstractLens :: GLens r w a x -> AbstractLens (r :: Type -> Type) (w :: Type -> Type) (c :: Type -> Constraint) a
- Generics.SOP.Lens.Computed: abstractId :: (Monad r, c a) => AbstractLens r w c a
+ Generics.SOP.Lens.Computed: abstractId :: forall (r :: Type -> Type) (c :: Type -> Constraint) a (w :: Type -> Type). (Monad r, c a) => AbstractLens r w c a
- Generics.SOP.Lens.Computed: afterGLens :: Monad r => AbstractLens r w c a -> GLens r w b a -> AbstractLens r w c b
+ Generics.SOP.Lens.Computed: afterGLens :: forall (r :: Type -> Type) (w :: Type -> Type) (c :: Type -> Constraint) a b. Monad r => AbstractLens r w c a -> GLens r w b a -> AbstractLens r w c b
- Generics.SOP.Lens.Computed: class CLens r w c a
+ Generics.SOP.Lens.Computed: class CLens (r :: Type -> Type) (w :: Type -> Type) (c :: Type -> Constraint) a
- Generics.SOP.Lens.Computed: data AbstractLens r w c a
+ Generics.SOP.Lens.Computed: data AbstractLens (r :: Type -> Type) (w :: Type -> Type) (c :: Type -> Constraint) a
- Generics.SOP.Lens.Computed: emptyPathOnly :: (Monad r, c a) => LensOptions -> Path -> Either String (AbstractLens r w c a)
+ Generics.SOP.Lens.Computed: emptyPathOnly :: forall (r :: Type -> Type) (c :: Type -> Constraint) a (w :: Type -> Type). (Monad r, c a) => LensOptions -> Path -> Either String (AbstractLens r w c a)
- Generics.SOP.Lens.Computed: get :: AbstractLens r w c a -> (forall x. c x => (a -> r x) -> b) -> b
+ Generics.SOP.Lens.Computed: get :: forall r (w :: Type -> Type) c a b. AbstractLens r w c a -> (forall x. c x => (a -> r x) -> b) -> b
- Generics.SOP.Lens.Computed: getM :: AbstractLens r w c a -> (forall x. c x => (a -> r x) -> m b) -> m b
+ Generics.SOP.Lens.Computed: getM :: forall r (w :: Type -> Type) c a m b. AbstractLens r w c a -> (forall x. c x => (a -> r x) -> m b) -> m b
- Generics.SOP.Lens.Computed: modify :: AbstractLens r w c a -> (forall x. c x => x -> w x) -> a -> w a
+ Generics.SOP.Lens.Computed: modify :: forall (r :: Type -> Type) w c a. AbstractLens r w c a -> (forall x. c x => x -> w x) -> a -> w a
- Generics.SOP.Lens.Computed: modifyM :: Functor m => AbstractLens r w c a -> (forall x. c x => m (x -> w x)) -> m (a -> w a)
+ Generics.SOP.Lens.Computed: modifyM :: forall m (r :: Type -> Type) w c a. Functor m => AbstractLens r w c a -> (forall x. c x => m (x -> w x)) -> m (a -> w a)
- Generics.SOP.Lens.Computed: set :: Monad w => AbstractLens r w c a -> (forall x. c x => x) -> a -> w a
+ Generics.SOP.Lens.Computed: set :: forall w (r :: Type -> Type) c a. Monad w => AbstractLens r w c a -> (forall x. c x => x) -> a -> w a
- Generics.SOP.Lens.Computed: setM :: (Monad w, Functor m) => AbstractLens r w c a -> (forall x. c x => m x) -> m (a -> w a)
+ Generics.SOP.Lens.Computed: setM :: forall w m (r :: Type -> Type) c a. (Monad w, Functor m) => AbstractLens r w c a -> (forall x. c x => m x) -> m (a -> w a)
- Generics.SOP.Lens.Named: NamedLens :: GLens I I a b -> NamedLens a ctxt
+ Generics.SOP.Lens.Named: NamedLens :: GLens I I a b -> NamedLens a (ctxt :: Type -> Constraint)
- Generics.SOP.Lens.Named: [unNamedLens] :: NamedLens a ctxt -> GLens I I a b
+ Generics.SOP.Lens.Named: [unNamedLens] :: NamedLens a (ctxt :: Type -> Constraint) -> GLens I I a b
- Generics.SOP.Lens.Named: data NamedLens a ctxt
+ Generics.SOP.Lens.Named: data NamedLens a (ctxt :: Type -> Constraint)
- Generics.SOP.Lens.Named: gnamedLenses :: forall a ctxt xs. (HasDatatypeInfo a, Code a ~ '[xs], All ctxt xs) => (DatatypeName -> ConstructorName -> LensName) -> [(String, NamedLens a ctxt)]
+ Generics.SOP.Lens.Named: gnamedLenses :: forall a (ctxt :: Type -> Constraint) (xs :: [Type]). (HasDatatypeInfo a, Code a ~ '[xs], All ctxt xs) => (DatatypeName -> ConstructorName -> LensName) -> [(String, NamedLens a ctxt)]
Files
- CHANGELOG.md +6/−1
- lens-sop.cabal +12/−6
CHANGELOG.md view
@@ -1,6 +1,11 @@ # Change log -## 0.3 - 2023-02-22+## 0.3.1 -- 2026-01-07++* Support `ghc-9.12` (Alexandre Esteves, #7) and `ghc-9.14` (#8)+* Drop unnecessary dependency on `transformers`++## 0.3 -- 2023-02-22 This release modernizes the library a bit (breaking backwards compatibility): instead of providing interoperability with `fclabels`, it instead uses
lens-sop.cabal view
@@ -1,5 +1,5 @@ name: lens-sop-version: 0.3.0+version: 0.3.1 synopsis: Computing lenses generically using generics-sop description: This library contains a definition of generalized lenses, along with SOP-style@@ -18,8 +18,15 @@ category: Generics build-type: Simple cabal-version: >=1.10-extra-source-files: CHANGELOG.md-tested-with: GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.5 || ==9.4.4+extra-source-files: CHANGELOG.md+tested-with: GHC==8.10.7+ , GHC==9.2.8+ , GHC==9.4.8+ , GHC==9.6.6+ , GHC==9.8.2+ , GHC==9.10.1+ , GHC==9.12.1+ , GHC==9.14.1 source-repository head type: git@@ -29,10 +36,9 @@ exposed-modules: Generics.SOP.Lens Generics.SOP.Lens.Named Generics.SOP.Lens.Computed- build-depends: base >= 4.6 && < 4.18,+ build-depends: base >= 4.14 && < 4.23, generics-sop >= 0.2.3 && < 0.6,- optics-core >= 0.4 && < 0.5,- transformers >= 0.3 && < 0.7+ optics-core >= 0.4 && < 0.5 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall