these-optics 1.0.1.1 → 1.0.1.2
raw patch · 3 files changed
+22/−7 lines, 3 filesdep ~basedep ~optics-coredep ~thesePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, optics-core, these
API changes (from Hackage documentation)
- Data.These.Optics: instance (a Data.Type.Equality.~ a', b Data.Type.Equality.~ b') => Optics.Each.Core.Each (Data.Either.Either () ()) (Data.These.These a a') (Data.These.These b b') a b
+ Data.These.Optics: instance (a GHC.Types.~ a', b GHC.Types.~ b') => Optics.Each.Core.Each (Data.Either.Either () ()) (Data.These.These a a') (Data.These.These b b') a b
Files
- CHANGELOG.md +5/−1
- src/Data/These/Optics.hs +4/−0
- these-optics.cabal +13/−6
CHANGELOG.md view
@@ -1,4 +1,8 @@-# 1.0.1+# 1.0.1.2++- Support GHC-9.0++# 1.0.1.1 - Add `Each These` instance
src/Data/These/Optics.hs view
@@ -1,5 +1,6 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE RankNTypes #-} {-# LANGUAGE Trustworthy #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-}@@ -19,6 +20,7 @@ itraversalVL, prism) -- $setup+-- >>> import Data.These -- >>> import Optics.Core -------------------------------------------------------------------------------@@ -35,6 +37,7 @@ -- here :: AffineTraversal (These a c) (These b c) a b here = atraversalVL here' where+ here' :: Functor f => (forall r. r -> f r) -> (a -> f b) -> These a c -> f (These b c) here' _ f (This x) = This <$> f x here' _ f (These x y) = flip These y <$> f x here' point _ (That x) = point (That x)@@ -49,6 +52,7 @@ -- there :: AffineTraversal (These c a) (These c b) a b there = atraversalVL there' where+ there' :: Functor f => (forall r. r -> f r) -> (a -> f b) -> These c a -> f (These c b) there' point _ (This x) = point (This x) there' _ f (These x y) = These x <$> f y there' _ f (That x) = That <$> f x
these-optics.cabal view
@@ -1,8 +1,8 @@ cabal-version: >=1.10 name: these-optics-version: 1.0.1.1+version: 1.0.1.2 synopsis: Optics for These-homepage: https://github.com/isomorphism/these+homepage: https://github.com/haskellari/these license: BSD3 license-file: LICENSE author: C. McCann, Oleg Grenrus@@ -12,12 +12,19 @@ extra-source-files: CHANGELOG.md description: This package provides Prism and Traversals for @These@. tested-with:- GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.3 || ==8.10.1+ GHC ==8.0.2+ || ==8.2.2+ || ==8.4.4+ || ==8.6.5+ || ==8.8.4+ || ==8.10.4+ || ==9.0.1 , GHCJS ==8.4 source-repository head type: git- location: https://github.com/isomorphism/these.git+ location: https://github.com/haskellari/these.git+ subdir: these-optics library default-language: Haskell2010@@ -30,10 +37,10 @@ exposed-modules: Data.These.Optics -- ghc boot libs- build-depends: base >=4.9 && <4.15+ build-depends: base >=4.9 && <4.16 -- these build-depends: these >=1 && <1.2 -- other dependencies- build-depends: optics-core >=0.1 && <0.4+ build-depends: optics-core >=0.3 && <0.5