@@ -1,237 +0,0 @@
1−{-# LANGUAGE RankNTypes #-}
2−{-# LANGUAGE TypeSynonymInstances #-}
3−{-# LANGUAGE DataKinds #-}
4−{-# LANGUAGE TypeOperators #-}
5−{-# LANGUAGE UndecidableInstances #-}
6−{-# LANGUAGE FlexibleInstances #-}
7−{-# LANGUAGE GADTs #-}
8−{-# LANGUAGE TypeFamilies #-}
9−{-# LANGUAGE TemplateHaskell #-}
10−{-# LANGUAGE StandaloneDeriving #-}
11−{-# LANGUAGE AllowAmbiguousTypes #-}
12−{-# LANGUAGE DeriveGeneric #-}
13−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
14−
15−module Control.Ether.Flatten
16− ( HasLens(..)
17− , Product(..)
18− ) where
19−
20−import Control.DeepSeq
21−import Control.Lens
22−import GHC.Generics (Generic)
23−
24−class HasLens tag outer inner | tag outer -> inner where
25− lensOf :: Lens' outer inner
26−
27−data family Product :: [k] -> [*] -> *
28−
29−data instance Product ts '[a1, a2, a3, a4] =
30− P4
31− { p4_1 :: !a1
32− , p4_2 :: !a2
33− , p4_3 :: !a3
34− , p4_4 :: !a4
35− } deriving (Generic)
36−
37−deriving instance
38− ( Show a1
39− , Show a2
40− , Show a3
41− , Show a4
42− ) => Show (Product ts '[a1, a2, a3, a4])
43−
44−instance
45− ( NFData a1
46− , NFData a2
47− , NFData a3
48− , NFData a4
49− ) => NFData (Product ts '[a1, a2, a3, a4])
50−
51−instance a ~ a1 => HasLens t1
52− (Product
53− '[t1, t2, t3, t4]
54− '[a1, a2, a3, a4]) a where
55− lensOf = lens p4_1 (\p a -> p{ p4_1 = a })
56− {-# INLINE lensOf #-}
57−
58−instance a ~ a2 => HasLens t2
59− (Product
60− '[t1, t2, t3, t4]
61− '[a1, a2, a3, a4]) a where
62− lensOf = lens p4_2 (\p a -> p{ p4_2 = a })
63− {-# INLINE lensOf #-}
64−
65−instance a ~ a3 => HasLens t3
66− (Product
67− '[t1, t2, t3, t4]
68− '[a1, a2, a3, a4]) a where
69− lensOf = lens p4_3 (\p a -> p{ p4_3 = a })
70− {-# INLINE lensOf #-}
71−
72−instance a ~ a4 => HasLens t4
73− (Product
74− '[t1, t2, t3, t4]
75− '[a1, a2, a3, a4]) a where
76− lensOf = lens p4_4 (\p a -> p{ p4_4 = a })
77− {-# INLINE lensOf #-}
78−
79−data instance Product ts '[a1, a2, a3, a4, a5] =
80− P5
81− { p5_1 :: !a1
82− , p5_2 :: !a2
83− , p5_3 :: !a3
84− , p5_4 :: !a4
85− , p5_5 :: !a5
86− } deriving (Generic)
87−
88−deriving instance
89− ( Show a1
90− , Show a2
91− , Show a3
92− , Show a4
93− , Show a5
94− ) => Show (Product ts '[a1, a2, a3, a4, a5])
95−
96−instance
97− ( NFData a1
98− , NFData a2
99− , NFData a3
100− , NFData a4
101− , NFData a5
102− ) => NFData (Product ts '[a1, a2, a3, a4, a5])
103−
104−instance a ~ a1 => HasLens t1
105− (Product
106− '[t1, t2, t3, t4, t5]
107− '[a1, a2, a3, a4, a5]) a where
108− lensOf = lens p5_1 (\p a -> p{ p5_1 = a })
109− {-# INLINE lensOf #-}
110−
111−instance a ~ a2 => HasLens t2
112− (Product
113− '[t1, t2, t3, t4, t5]
114− '[a1, a2, a3, a4, a5]) a where
115− lensOf = lens p5_2 (\p a -> p{ p5_2 = a })
116− {-# INLINE lensOf #-}
117−
118−instance a ~ a3 => HasLens t3
119− (Product
120− '[t1, t2, t3, t4, t5]
121− '[a1, a2, a3, a4, a5]) a where
122− lensOf = lens p5_3 (\p a -> p{ p5_3 = a })
123− {-# INLINE lensOf #-}
124−
125−instance a ~ a4 => HasLens t4
126− (Product
127− '[t1, t2, t3, t4, t5]
128− '[a1, a2, a3, a4, a5]) a where
129− lensOf = lens p5_4 (\p a -> p{ p5_4 = a })
130− {-# INLINE lensOf #-}
131−
132−instance a ~ a5 => HasLens t5
133− (Product
134− '[t1, t2, t3, t4, t5]
135− '[a1, a2, a3, a4, a5]) a where
136− lensOf = lens p5_5 (\p a -> p{ p5_5 = a })
137− {-# INLINE lensOf #-}
138−
139−data instance Product ts '[a1, a2, a3, a4, a5, a6, a7, a8, a9] =
140− P9
141− { p9_1 :: !a1
142− , p9_2 :: !a2
143− , p9_3 :: !a3
144− , p9_4 :: !a4
145− , p9_5 :: !a5
146− , p9_6 :: !a6
147− , p9_7 :: !a7
148− , p9_8 :: !a8
149− , p9_9 :: !a9
150− } deriving (Generic)
151−
152−deriving instance
153− ( Show a1
154− , Show a2
155− , Show a3
156− , Show a4
157− , Show a5
158− , Show a6
159− , Show a7
160− , Show a8
161− , Show a9
162− ) => Show (Product ts '[a1, a2, a3, a4, a5, a6, a7, a8, a9])
163−
164−instance
165− ( NFData a1
166− , NFData a2
167− , NFData a3
168− , NFData a4
169− , NFData a5
170− , NFData a6
171− , NFData a7
172− , NFData a8
173− , NFData a9
174− ) => NFData (Product ts '[a1, a2, a3, a4, a5, a6, a7, a8, a9])
175−
176−instance a ~ a1 => HasLens t1
177− (Product
178− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
179− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
180− lensOf = lens p9_1 (\p a -> p{ p9_1 = a })
181− {-# INLINE lensOf #-}
182−
183−instance a ~ a2 => HasLens t2
184− (Product
185− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
186− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
187− lensOf = lens p9_2 (\p a -> p{ p9_2 = a })
188− {-# INLINE lensOf #-}
189−
190−instance a ~ a3 => HasLens t3
191− (Product
192− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
193− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
194− lensOf = lens p9_3 (\p a -> p{ p9_3 = a })
195− {-# INLINE lensOf #-}
196−
197−instance a ~ a4 => HasLens t4
198− (Product
199− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
200− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
201− lensOf = lens p9_4 (\p a -> p{ p9_4 = a })
202− {-# INLINE lensOf #-}
203−
204−instance a ~ a5 => HasLens t5
205− (Product
206− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
207− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
208− lensOf = lens p9_5 (\p a -> p{ p9_5 = a })
209− {-# INLINE lensOf #-}
210−
211−instance a ~ a6 => HasLens t6
212− (Product
213− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
214− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
215− lensOf = lens p9_6 (\p a -> p{ p9_6 = a })
216− {-# INLINE lensOf #-}
217−
218−instance a ~ a7 => HasLens t7
219− (Product
220− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
221− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
222− lensOf = lens p9_7 (\p a -> p{ p9_7 = a })
223− {-# INLINE lensOf #-}
224−
225−instance a ~ a8 => HasLens t8
226− (Product
227− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
228− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
229− lensOf = lens p9_8 (\p a -> p{ p9_8 = a })
230− {-# INLINE lensOf #-}
231−
232−instance a ~ a9 => HasLens t9
233− (Product
234− '[t1, t2, t3, t4, t5, t6, t7, t8, t9]
235− '[a1, a2, a3, a4, a5, a6, a7, a8, a9]) a where
236− lensOf = lens p9_9 (\p a -> p{ p9_9 = a })
237− {-# INLINE lensOf #-}