Skip to content
This repository was archived by the owner on May 25, 2022. It is now read-only.

Commit 8e0394e

Browse files
DridusDridus
authored
Merge pull request #52 from locallycompact/lc/contravariant-pattern
Add (:!:) pattern for contravariant functors and contravariant lens
2 parents 312040b + ea3719f commit 8e0394e

File tree

23 files changed

+377
-84
lines changed

23 files changed

+377
-84
lines changed

‎composite-aeson-path/composite-aeson-path.cabal‎

Lines changed: 25 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
cabal-version: 1.12
22

3-
-- This file has been generated from package.yaml by hpack version 0.34.3.
3+
-- This file has been generated from package.yaml by hpack version 0.34.4.
44
--
55
-- see: https://github.com/sol/hpack
66
--
7-
-- hash: 6cf5aa5a674723a2cb68f4070e600bc24a79d087b3b16eafb3268df4f4c3a0bf
7+
-- hash: a4066140c496fecb26e6cfeeff88c4087efdba2a3c2bdb079826114af9895eb9
88

99
name: composite-aeson-path
1010
version: 0.7.5.0
@@ -25,10 +25,30 @@ library
2525
Paths_composite_aeson_path
2626
hs-source-dirs:
2727
src
28-
default-extensions: DataKinds FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeFamilies TypeOperators ViewPatterns
28+
default-extensions:
29+
DataKinds
30+
FlexibleContexts
31+
FlexibleInstances
32+
GeneralizedNewtypeDeriving
33+
LambdaCase
34+
MultiParamTypeClasses
35+
MultiWayIf
36+
OverloadedStrings
37+
PatternSynonyms
38+
PolyKinds
39+
QuasiQuotes
40+
RankNTypes
41+
ScopedTypeVariables
42+
StandaloneDeriving
43+
StrictData
44+
TemplateHaskell
45+
TupleSections
46+
TypeFamilies
47+
TypeOperators
48+
ViewPatterns
2949
ghc-options: -Wall -O2
3050
build-depends:
31-
base >=4.7 && <5
32-
, composite-aeson >=0.7 && <0.8
51+
base >=4.12 && <5
52+
, composite-aeson ==0.7.*
3353
, path >=0.6 && <0.9
3454
default-language: Haskell2010

‎composite-aeson-path/package.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ copyright: 2017 Confer Health, Inc., 2020-2021 Vital Biosciences
1010
category: Records
1111

1212
dependencies:
13-
- base >= 4.7 && < 5
13+
- base >= 4.12 && < 5
1414
- path >= 0.6 && < 0.9
1515
- composite-aeson >= 0.7 && < 0.8
1616

‎composite-aeson-refined/composite-aeson-refined.cabal‎

Lines changed: 25 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
cabal-version: 1.12
22

3-
-- This file has been generated from package.yaml by hpack version 0.34.3.
3+
-- This file has been generated from package.yaml by hpack version 0.34.4.
44
--
55
-- see: https://github.com/sol/hpack
66
--
7-
-- hash: cc4c674145c73cbeecab0efb83fee3f018641398f412b114fdc3a3aa8b6405ad
7+
-- hash: 4e1131b3777a8c511a2d35d07dd82508bb402d0db1a7cda4b2d25f4829fad8cc
88

99
name: composite-aeson-refined
1010
version: 0.7.5.0
@@ -25,12 +25,32 @@ library
2525
Paths_composite_aeson_refined
2626
hs-source-dirs:
2727
src
28-
default-extensions: DataKinds FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeFamilies TypeOperators ViewPatterns
28+
default-extensions:
29+
DataKinds
30+
FlexibleContexts
31+
FlexibleInstances
32+
GeneralizedNewtypeDeriving
33+
LambdaCase
34+
MultiParamTypeClasses
35+
MultiWayIf
36+
OverloadedStrings
37+
PatternSynonyms
38+
PolyKinds
39+
QuasiQuotes
40+
RankNTypes
41+
ScopedTypeVariables
42+
StandaloneDeriving
43+
StrictData
44+
TemplateHaskell
45+
TupleSections
46+
TypeFamilies
47+
TypeOperators
48+
ViewPatterns
2949
ghc-options: -Wall -O2
3050
build-depends:
3151
aeson-better-errors >=0.9.1.0 && <0.10
32-
, base >=4.7 && <5
33-
, composite-aeson >=0.7 && <0.8
52+
, base >=4.12 && <5
53+
, composite-aeson ==0.7.*
3454
, mtl >=2.2.1 && <2.3
3555
, refined >=0.1.2.1 && <0.7
3656
default-language: Haskell2010

‎composite-aeson-refined/package.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ copyright: 2017 Confer Health, Inc., 2020-2021 Vital Biosciences
1010
category: Records
1111

1212
dependencies:
13-
- base >= 4.7 && < 5
13+
- base >= 4.12 && < 5
1414
- aeson-better-errors >= 0.9.1.0 && < 0.10
1515
- composite-aeson >= 0.7 && < 0.8
1616
- mtl >= 2.2.1 && < 2.3

‎composite-aeson/composite-aeson.cabal‎

Lines changed: 50 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
cabal-version: 1.12
22

3-
-- This file has been generated from package.yaml by hpack version 0.34.3.
3+
-- This file has been generated from package.yaml by hpack version 0.34.4.
44
--
55
-- see: https://github.com/sol/hpack
66
--
7-
-- hash: 5ed294fd597a5fe41cec4edea20e59e45dc7d5f01b64ad8f078ef75e5e748468
7+
-- hash: c527166c37e70d59b1575a743e5716d678130dc8efeac1783f5e533f73c6f6a2
88

99
name: composite-aeson
1010
version: 0.7.5.0
@@ -36,13 +36,34 @@ library
3636
Paths_composite_aeson
3737
hs-source-dirs:
3838
src
39-
default-extensions: DataKinds FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns
39+
default-extensions:
40+
DataKinds
41+
FlexibleContexts
42+
FlexibleInstances
43+
GeneralizedNewtypeDeriving
44+
LambdaCase
45+
MultiParamTypeClasses
46+
MultiWayIf
47+
OverloadedStrings
48+
PatternSynonyms
49+
PolyKinds
50+
QuasiQuotes
51+
RankNTypes
52+
ScopedTypeVariables
53+
StandaloneDeriving
54+
StrictData
55+
TemplateHaskell
56+
TupleSections
57+
TypeApplications
58+
TypeFamilies
59+
TypeOperators
60+
ViewPatterns
4061
ghc-options: -Wall -O2
4162
build-depends:
4263
aeson >=1.1.2.0 && <1.6
4364
, aeson-better-errors >=0.9.1.0 && <0.10
44-
, base >=4.7 && <5
45-
, composite-base >=0.7 && <0.8
65+
, base >=4.12 && <5
66+
, composite-base ==0.7.*
4667
, containers >=0.5.7.0 && <0.7
4768
, contravariant >=1.4 && <1.6
4869
, generic-deriving >=1.11.2 && <1.14
@@ -74,16 +95,37 @@ test-suite composite-aeson-test
7495
Paths_composite_aeson
7596
hs-source-dirs:
7697
test
77-
default-extensions: DataKinds FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns
98+
default-extensions:
99+
DataKinds
100+
FlexibleContexts
101+
FlexibleInstances
102+
GeneralizedNewtypeDeriving
103+
LambdaCase
104+
MultiParamTypeClasses
105+
MultiWayIf
106+
OverloadedStrings
107+
PatternSynonyms
108+
PolyKinds
109+
QuasiQuotes
110+
RankNTypes
111+
ScopedTypeVariables
112+
StandaloneDeriving
113+
StrictData
114+
TemplateHaskell
115+
TupleSections
116+
TypeApplications
117+
TypeFamilies
118+
TypeOperators
119+
ViewPatterns
78120
ghc-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N -fno-warn-orphans
79121
build-depends:
80122
QuickCheck
81123
, aeson >=1.1.2.0 && <1.6
82124
, aeson-better-errors >=0.9.1.0 && <0.10
83125
, aeson-qq
84-
, base >=4.7 && <5
126+
, base >=4.12 && <5
85127
, composite-aeson
86-
, composite-base >=0.7 && <0.8
128+
, composite-base ==0.7.*
87129
, containers >=0.5.7.0 && <0.7
88130
, contravariant >=1.4 && <1.6
89131
, generic-deriving >=1.11.2 && <1.14

‎composite-aeson/package.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ copyright: 2017 Confer Health, Inc., 2020-2021 Vital Biosciences
1010
category: Records
1111

1212
dependencies:
13-
- base >= 4.7 && < 5
13+
- base >= 4.12 && < 5
1414
- aeson >= 1.1.2.0 && < 1.6
1515
- aeson-better-errors >= 0.9.1.0 && < 0.10
1616
- composite-base >= 0.7 && < 0.8

‎composite-base/composite-base.cabal‎

Lines changed: 54 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
cabal-version: 1.12
22

3-
-- This file has been generated from package.yaml by hpack version 0.34.3.
3+
-- This file has been generated from package.yaml by hpack version 0.34.4.
44
--
55
-- see: https://github.com/sol/hpack
66
--
7-
-- hash: afc6990732690309917603d2a17b1c010034e560db9f68dcb358fe45bf7f0cb0
7+
-- hash: f5caba9cc5d5f935e3e3a058eb2c2889a5ade77af7652ec0d630e79c3523ec77
88

99
name: composite-base
1010
version: 0.7.5.0
@@ -29,11 +29,34 @@ library
2929
Paths_composite_base
3030
hs-source-dirs:
3131
src
32-
default-extensions: ConstraintKinds DataKinds FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving MultiParamTypeClasses NamedFieldPuns OverloadedStrings PatternSynonyms PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns
32+
default-extensions:
33+
ConstraintKinds
34+
DataKinds
35+
FlexibleContexts
36+
FlexibleInstances
37+
FunctionalDependencies
38+
GADTs
39+
GeneralizedNewtypeDeriving
40+
MultiParamTypeClasses
41+
NamedFieldPuns
42+
OverloadedStrings
43+
PatternSynonyms
44+
PolyKinds
45+
RankNTypes
46+
RecordWildCards
47+
ScopedTypeVariables
48+
StandaloneDeriving
49+
StrictData
50+
TemplateHaskell
51+
TupleSections
52+
TypeApplications
53+
TypeFamilies
54+
TypeOperators
55+
ViewPatterns
3356
ghc-options: -Wall -O2
3457
build-depends:
35-
base >=4.7 && <5
36-
, deepseq >=1.4 && <1.5
58+
base >=4.12 && <5
59+
, deepseq ==1.4.*
3760
, exceptions >=0.8.3 && <0.11
3861
, lens >=4.15.4 && <5.1
3962
, monad-control >=1.0.2.2 && <1.1
@@ -56,13 +79,36 @@ test-suite composite-base-test
5679
Paths_composite_base
5780
hs-source-dirs:
5881
test
59-
default-extensions: ConstraintKinds DataKinds FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving MultiParamTypeClasses NamedFieldPuns OverloadedStrings PatternSynonyms PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns
82+
default-extensions:
83+
ConstraintKinds
84+
DataKinds
85+
FlexibleContexts
86+
FlexibleInstances
87+
FunctionalDependencies
88+
GADTs
89+
GeneralizedNewtypeDeriving
90+
MultiParamTypeClasses
91+
NamedFieldPuns
92+
OverloadedStrings
93+
PatternSynonyms
94+
PolyKinds
95+
RankNTypes
96+
RecordWildCards
97+
ScopedTypeVariables
98+
StandaloneDeriving
99+
StrictData
100+
TemplateHaskell
101+
TupleSections
102+
TypeApplications
103+
TypeFamilies
104+
TypeOperators
105+
ViewPatterns
60106
ghc-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N -fno-warn-orphans
61107
build-depends:
62108
QuickCheck
63-
, base >=4.7 && <5
109+
, base >=4.12 && <5
64110
, composite-base
65-
, deepseq >=1.4 && <1.5
111+
, deepseq ==1.4.*
66112
, exceptions >=0.8.3 && <0.11
67113
, hspec
68114
, lens >=4.15.4 && <5.1

‎composite-base/package.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ copyright: 2017 Confer Health, Inc., 2020-2021 Vital Biosciences
1010
category: Records
1111

1212
dependencies:
13-
- base >= 4.7 && < 5
13+
- base >= 4.12 && < 5
1414
- deepseq >= 1.4 && < 1.5
1515
- exceptions >= 0.8.3 && < 0.11
1616
- lens >= 4.15.4 && < 5.1

0 commit comments

Comments
 (0)