git.iko.soy/typeable/ether
on master help sign in
Flag to disable HasLens instances for tuples
f782c9fVladislav Zavialov
ether.cabal+18−12
compare with master
unifiedsplit
@@ -24,6 +24,20 @@ source-repository head
24 location: git@github.com:int-index/ether.git
24 location: git@github.com:int-index/ether.git
25
25
26
26
27+flag disable-tup-instances
28+
29+ description:
30+ Disable auto-generated 'HasLens' instances for tuples. The reason one
31+ might want to do this is to reduce the size of .hi-files, as well as the
32+ time and memory GHC needs to build Ether. To recover flattening with
33+ tuples, use 'Ether.Internal.makeTupleInstancesHasLens' at specific tuple
34+ sizes you need in your application.
35+
36+ This is a build-time performance hack, enable this flag at your own risk.
37+
38+ default: False
39+ manual: True
40+
27library
41library
28
42
29 exposed-modules:
43 exposed-modules:
@@ -41,18 +55,7 @@ library
41 Ether.Internal.HasLens
55 Ether.Internal.HasLens
42 Ether.Internal.TH_Utils
56 Ether.Internal.TH_Utils
43 Ether.Internal.TH_TupleInstances
57 Ether.Internal.TH_TupleInstances
44− Ether.Internal.TupleInstances_TagsK
58+ Ether.Internal.TupleInstances
45− Ether.Internal.TupleInstances_Tags
46− Ether.Internal.TupleInstances_HasLens
47− Ether.Internal.TupleInstances_HasLens_1
48− Ether.Internal.TupleInstances_HasLens_2
49− Ether.Internal.TupleInstances_HasLens_3
50− Ether.Internal.TupleInstances_HasLens_4
51− Ether.Internal.TupleInstances_HasLens_5
52− Ether.Internal.TupleInstances_HasLens_6
53− Ether.Internal.TupleInstances_HasLens_7
54− Ether.Internal.TupleInstances_HasLens_8
55− Ether.Internal.TupleInstances_HasLens_9
56
59
57 build-depends:
60 build-depends:
58 base >=4.9 && <4.11,
61 base >=4.9 && <4.11,
@@ -102,6 +105,9 @@ library
102 ghc-options:
105 ghc-options:
103 -Wall -O2
106 -Wall -O2
104
107
108+ if flag(disable-tup-instances)
109+ cpp-options: -DDISABLE_TUP_INSTANCES
110+
105test-suite regression
111test-suite regression
106
112
107 build-depends:
113 build-depends:
src/Ether/Internal.hs+3−3
@@ -16,6 +16,7 @@ module Ether.Internal
16 , HandleSuper
16 , HandleSuper
17 , HandleConstraint
17 , HandleConstraint
18 , Handle(..)
18 , Handle(..)
19+ , makeTupleInstancesHasLens
19 ) where
20 ) where
20
21
21import Control.Applicative
22import Control.Applicative
@@ -27,9 +28,8 @@ import GHC.Exts (Constraint)
27
28
28import Ether.Internal.HasLens
29import Ether.Internal.HasLens
29import Ether.Internal.Tags
30import Ether.Internal.Tags
30−import Ether.Internal.TupleInstances_Tags ()
31+import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
31−import Ether.Internal.TupleInstances_TagsK ()
32+import Ether.Internal.TupleInstances ()
32−import Ether.Internal.TupleInstances_HasLens ()
33
33
34data TAGGED e t
34data TAGGED e t
35
35
src/Ether/Internal/TupleInstances.hsnew file+24
@@ -0,0 +1,24 @@
1+{-# OPTIONS -fno-warn-orphans #-}
2+{-# LANGUAGE CPP #-}
3+
4+module Ether.Internal.TupleInstances () where
5+
6+import Data.Tagged
7+import Ether.Internal.Tags
8+import Ether.Internal.TH_TupleInstances
9+
10+type instance TagsK () = '[]
11+type instance TagsK (Tagged t a) = '[KindOf t]
12+type instance TagsK (Tagged t0 a, Tagged t1 b) = '[KindOf t0, KindOf t1]
13+
14+makeTupleInstancesTagsK
15+
16+type instance Tags () = 'HNil
17+type instance Tags (Tagged t a) = 'HCons t 'HNil
18+type instance Tags (Tagged t0 a, Tagged t1 b) = 'HCons t0 ('HCons t1 'HNil)
19+
20+makeTupleInstancesTags
21+
22+#ifndef DISABLE_TUP_INSTANCES
23+makeTupleInstancesHasLens [2..62]
24+#endif
src/Ether/Internal/TupleInstances_HasLens.hsdeleted−11
@@ -1,11 +0,0 @@
1−module Ether.Internal.TupleInstances_HasLens () where
2−
3−import Ether.Internal.TupleInstances_HasLens_1 ()
4−import Ether.Internal.TupleInstances_HasLens_2 ()
5−import Ether.Internal.TupleInstances_HasLens_3 ()
6−import Ether.Internal.TupleInstances_HasLens_4 ()
7−import Ether.Internal.TupleInstances_HasLens_5 ()
8−import Ether.Internal.TupleInstances_HasLens_6 ()
9−import Ether.Internal.TupleInstances_HasLens_7 ()
10−import Ether.Internal.TupleInstances_HasLens_8 ()
11−import Ether.Internal.TupleInstances_HasLens_9 ()
src/Ether/Internal/TupleInstances_HasLens_1.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_1 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [2..20]
src/Ether/Internal/TupleInstances_HasLens_2.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_2 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [21..29]
src/Ether/Internal/TupleInstances_HasLens_3.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_3 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [30..36]
src/Ether/Internal/TupleInstances_HasLens_4.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_4 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [37..42]
src/Ether/Internal/TupleInstances_HasLens_5.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_5 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [43..47]
src/Ether/Internal/TupleInstances_HasLens_6.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_6 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [48..52]
src/Ether/Internal/TupleInstances_HasLens_7.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_7 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [53..56]
src/Ether/Internal/TupleInstances_HasLens_8.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_8 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [57..60]
src/Ether/Internal/TupleInstances_HasLens_9.hsdeleted−7
@@ -1,7 +0,0 @@
1−{-# OPTIONS -fno-warn-orphans #-}
2−
3−module Ether.Internal.TupleInstances_HasLens_9 () where
4−
5−import Ether.Internal.TH_TupleInstances (makeTupleInstancesHasLens)
6−
7−makeTupleInstancesHasLens [61..62]
src/Ether/Internal/TupleInstances_Tags.hsdeleted−13
@@ -1,13 +0,0 @@
1−module Ether.Internal.TupleInstances_Tags () where
2−
3−import Data.Tagged
4−
5−import Ether.Internal.Tags
6−import Ether.Internal.TupleInstances_TagsK ()
7−import Ether.Internal.TH_TupleInstances (makeTupleInstancesTags)
8−
9−type instance Tags () = 'HNil
10−type instance Tags (Tagged t a) = 'HCons t 'HNil
11−type instance Tags (Tagged t0 a, Tagged t1 b) = 'HCons t0 ('HCons t1 'HNil)
12−
13−makeTupleInstancesTags
src/Ether/Internal/TupleInstances_TagsK.hsdeleted−12
@@ -1,12 +0,0 @@
1−module Ether.Internal.TupleInstances_TagsK () where
2−
3−import Data.Tagged
4−
5−import Ether.Internal.Tags
6−import Ether.Internal.TH_TupleInstances (makeTupleInstancesTagsK)
7−
8−type instance TagsK () = '[]
9−type instance TagsK (Tagged t a) = '[KindOf t]
10−type instance TagsK (Tagged t0 a, Tagged t1 b) = '[KindOf t0, KindOf t1]
11−
12−makeTupleInstancesTagsK