git.iko.soy/typeable/ether
on master help sign in
Merge ether, ether-suite
commit3ccb37be4d67c007284054fc9f25c0c10e93c896 authorVladislav Zavialov <vlad.z.4096@gmail.com> dateMon 24 Apr 2017, 02:02 (9 years ago) parent69dba57
51 files changed+125−140
compare with master
unifiedsplit
ether/CHANGELOG.md → CHANGELOG.md ether/LICENSE → LICENSE ether-suite/Setup.hs → Setup.hs ether-suite/bench/Bench.hs → bench/Bench.hs cabal.project−3 ether-suite/ether-suite.cabal−130 ether/ether.cabal → ether.cabal+122 ether/Setup.hs−2 ether/src/Control/Ether/Abbr.hs → src/Control/Ether/Abbr.hs ether/src/Control/Ether/Implicit/Abbr.hs → src/Control/Ether/Implicit/Abbr.hs ether/src/Control/Ether/Optic.hs → src/Control/Ether/Optic.hs ether/src/Control/Monad/Ether.hs → src/Control/Monad/Ether.hs ether/src/Control/Monad/Ether/Except.hs → src/Control/Monad/Ether/Except.hs ether/src/Control/Monad/Ether/Except/Class.hs → src/Control/Monad/Ether/Except/Class.hs ether/src/Control/Monad/Ether/Handle.hs → src/Control/Monad/Ether/Handle.hs ether/src/Control/Monad/Ether/Implicit.hs → src/Control/Monad/Ether/Implicit.hs ether/src/Control/Monad/Ether/Implicit/Except.hs → src/Control/Monad/Ether/Implicit/Except.hs ether/src/Control/Monad/Ether/Implicit/Reader.hs → src/Control/Monad/Ether/Implicit/Reader.hs ether/src/Control/Monad/Ether/Implicit/State.hs → src/Control/Monad/Ether/Implicit/State.hs ether/src/Control/Monad/Ether/Implicit/State/Lazy.hs → src/Control/Monad/Ether/Implicit/State/Lazy.hs ether/src/Control/Monad/Ether/Implicit/State/Strict.hs → src/Control/Monad/Ether/Implicit/State/Strict.hs ether/src/Control/Monad/Ether/Implicit/Writer.hs → src/Control/Monad/Ether/Implicit/Writer.hs ether/src/Control/Monad/Ether/Reader.hs → src/Control/Monad/Ether/Reader.hs ether/src/Control/Monad/Ether/Reader/Class.hs → src/Control/Monad/Ether/Reader/Class.hs ether/src/Control/Monad/Ether/Reader/Flatten.hs → src/Control/Monad/Ether/Reader/Flatten.hs ether/src/Control/Monad/Ether/State.hs → src/Control/Monad/Ether/State.hs ether/src/Control/Monad/Ether/State/Class.hs → src/Control/Monad/Ether/State/Class.hs ether/src/Control/Monad/Ether/State/Common.hs → src/Control/Monad/Ether/State/Common.hs ether/src/Control/Monad/Ether/State/Flatten.hs → src/Control/Monad/Ether/State/Flatten.hs ether/src/Control/Monad/Ether/State/Lazy.hs → src/Control/Monad/Ether/State/Lazy.hs ether/src/Control/Monad/Ether/State/Strict.hs → src/Control/Monad/Ether/State/Strict.hs ether/src/Control/Monad/Ether/State/Zoom.hs → src/Control/Monad/Ether/State/Zoom.hs+2−1 ether/src/Control/Monad/Ether/TagAttach.hs → src/Control/Monad/Ether/TagAttach.hs ether/src/Control/Monad/Ether/TagReplace.hs → src/Control/Monad/Ether/TagReplace.hs ether/src/Control/Monad/Ether/Writer.hs → src/Control/Monad/Ether/Writer.hs ether/src/Control/Monad/Ether/Writer/Class.hs → src/Control/Monad/Ether/Writer/Class.hs ether/src/Control/Monad/Trans/Ether/Handler.hs → src/Control/Monad/Trans/Ether/Handler.hs stack.yaml+1−4 ether-suite/test/Regression.hs → test/Regression.hs ether-suite/test/Regression/T1.hs → test/Regression/T1.hs ether-suite/test/Regression/T10.hs → test/Regression/T10.hs ether-suite/test/Regression/T11.hs → test/Regression/T11.hs ether-suite/test/Regression/T12.hs → test/Regression/T12.hs ether-suite/test/Regression/T2.hs → test/Regression/T2.hs ether-suite/test/Regression/T3.hs → test/Regression/T3.hs ether-suite/test/Regression/T4.hs → test/Regression/T4.hs ether-suite/test/Regression/T5.hs → test/Regression/T5.hs ether-suite/test/Regression/T6.hs → test/Regression/T6.hs ether-suite/test/Regression/T7.hs → test/Regression/T7.hs ether-suite/test/Regression/T8.hs → test/Regression/T8.hs ether-suite/test/Regression/T9.hs → test/Regression/T9.hs
ether/CHANGELOG.md → CHANGELOG.mdrenamed

The content is the same.

ether/LICENSE → LICENSErenamed

The content is the same.

ether-suite/Setup.hs → Setup.hsrenamed

The content is the same.

ether-suite/bench/Bench.hs → bench/Bench.hsrenamed

The content is the same.

cabal.projectdeleted−3
@@ -1,3 +0,0 @@
1−packages:
2− ether/
3− ether-suite/
ether-suite/ether-suite.cabaldeleted−130
@@ -1,130 +0,0 @@
1−name: ether-suite
2−version: 0.1.0.0
3−build-type: Simple
4−cabal-version: >=1.18
5−
6−library
7− -- Dummy section.
8− default-language: Haskell2010
9−
10−test-suite regression
11−
12− build-depends:
13− base >=4.9 && <4.11,
14− transformers >=0.4.2,
15− mtl >=2.2.1,
16− tasty >=0.10,
17− tasty-quickcheck >=0.8,
18− QuickCheck >=2.8,
19− ghc-prim >=0.3,
20− lens >=4.14,
21− ether
22−
23− main-is:
24− Regression.hs
25−
26− other-modules:
27− Regression.T1
28− Regression.T2
29− Regression.T3
30− Regression.T4
31− Regression.T5
32− Regression.T6
33− Regression.T7
34− Regression.T8
35− Regression.T9
36− Regression.T10
37− Regression.T11
38− Regression.T12
39−
40− type:
41− exitcode-stdio-1.0
42−
43− hs-source-dirs:
44− test
45−
46− default-language:
47− Haskell2010
48−
49− default-extensions:
50− AllowAmbiguousTypes
51− ConstraintKinds
52− DataKinds
53− DeriveGeneric
54− EmptyDataDecls
55− FlexibleContexts
56− FlexibleInstances
57− FunctionalDependencies
58− GADTs
59− GeneralizedNewtypeDeriving
60− PartialTypeSignatures
61− PolyKinds
62− ScopedTypeVariables
63− RankNTypes
64− TemplateHaskell
65− TupleSections
66− TypeApplications
67− TypeFamilies
68− TypeInType
69− TypeOperators
70− TypeSynonymInstances
71− UndecidableInstances
72− UndecidableSuperClasses
73−
74− ghc-options:
75− -Wall -fno-warn-missing-signatures
76−
77−
78−benchmark bench
79−
80− build-depends:
81− base >=4.9 && <4.11,
82− mtl >=2.2.1,
83− transformers >=0.4.2,
84− criterion >=1.1,
85− deepseq >=1.4,
86− lens >=4.14,
87− ether
88−
89− main-is:
90− Bench.hs
91−
92− type:
93− exitcode-stdio-1.0
94−
95− hs-source-dirs:
96− bench
97−
98− default-language:
99− Haskell2010
100−
101− default-extensions:
102− AllowAmbiguousTypes
103− ConstraintKinds
104− DataKinds
105− DeriveGeneric
106− EmptyDataDecls
107− FlexibleContexts
108− FlexibleInstances
109− FunctionalDependencies
110− GADTs
111− GeneralizedNewtypeDeriving
112− PartialTypeSignatures
113− PolyKinds
114− ScopedTypeVariables
115− RankNTypes
116− TemplateHaskell
117− TupleSections
118− TypeApplications
119− TypeFamilies
120− TypeInType
121− TypeOperators
122− TypeSynonymInstances
123− UndecidableInstances
124− UndecidableSuperClasses
125−
126− ghc-options:
127− -Wall -O2
128−
129− ghc-prof-options:
130− -fprof-auto
ether/ether.cabal → ether.cabalrenamed+122
@@ -105,3 +105,125 @@ library
105105
106106 ghc-options:
107107 -Wall -O2
108+
109+test-suite regression
110+
111+ build-depends:
112+ base >=4.9 && <4.11,
113+ transformers >=0.4.2,
114+ mtl >=2.2.1,
115+ tasty >=0.10,
116+ tasty-quickcheck >=0.8,
117+ QuickCheck >=2.8,
118+ ghc-prim >=0.3,
119+ lens >=4.14,
120+ ether
121+
122+ main-is:
123+ Regression.hs
124+
125+ other-modules:
126+ Regression.T1
127+ Regression.T2
128+ Regression.T3
129+ Regression.T4
130+ Regression.T5
131+ Regression.T6
132+ Regression.T7
133+ Regression.T8
134+ Regression.T9
135+ Regression.T10
136+ Regression.T11
137+ Regression.T12
138+
139+ type:
140+ exitcode-stdio-1.0
141+
142+ hs-source-dirs:
143+ test
144+
145+ default-language:
146+ Haskell2010
147+
148+ default-extensions:
149+ AllowAmbiguousTypes
150+ ConstraintKinds
151+ DataKinds
152+ DeriveGeneric
153+ EmptyDataDecls
154+ FlexibleContexts
155+ FlexibleInstances
156+ FunctionalDependencies
157+ GADTs
158+ GeneralizedNewtypeDeriving
159+ PartialTypeSignatures
160+ PolyKinds
161+ ScopedTypeVariables
162+ RankNTypes
163+ TemplateHaskell
164+ TupleSections
165+ TypeApplications
166+ TypeFamilies
167+ TypeInType
168+ TypeOperators
169+ TypeSynonymInstances
170+ UndecidableInstances
171+ UndecidableSuperClasses
172+
173+ ghc-options:
174+ -Wall -fno-warn-missing-signatures
175+
176+
177+benchmark bench
178+
179+ build-depends:
180+ base >=4.9 && <4.11,
181+ mtl >=2.2.1,
182+ transformers >=0.4.2,
183+ criterion >=1.1,
184+ deepseq >=1.4,
185+ lens >=4.14,
186+ ether
187+
188+ main-is:
189+ Bench.hs
190+
191+ type:
192+ exitcode-stdio-1.0
193+
194+ hs-source-dirs:
195+ bench
196+
197+ default-language:
198+ Haskell2010
199+
200+ default-extensions:
201+ AllowAmbiguousTypes
202+ ConstraintKinds
203+ DataKinds
204+ DeriveGeneric
205+ EmptyDataDecls
206+ FlexibleContexts
207+ FlexibleInstances
208+ FunctionalDependencies
209+ GADTs
210+ GeneralizedNewtypeDeriving
211+ PartialTypeSignatures
212+ PolyKinds
213+ ScopedTypeVariables
214+ RankNTypes
215+ TemplateHaskell
216+ TupleSections
217+ TypeApplications
218+ TypeFamilies
219+ TypeInType
220+ TypeOperators
221+ TypeSynonymInstances
222+ UndecidableInstances
223+ UndecidableSuperClasses
224+
225+ ghc-options:
226+ -Wall -O2
227+
228+ ghc-prof-options:
229+ -fprof-auto
ether/Setup.hsdeleted−2
@@ -1,2 +0,0 @@
1−import Distribution.Simple
2−main = defaultMain
ether/src/Control/Ether/Abbr.hs → src/Control/Ether/Abbr.hsrenamed

The content is the same.

ether/src/Control/Ether/Implicit/Abbr.hs → src/Control/Ether/Implicit/Abbr.hsrenamed

The content is the same.

ether/src/Control/Ether/Optic.hs → src/Control/Ether/Optic.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether.hs → src/Control/Monad/Ether.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Except.hs → src/Control/Monad/Ether/Except.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Except/Class.hs → src/Control/Monad/Ether/Except/Class.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Handle.hs → src/Control/Monad/Ether/Handle.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit.hs → src/Control/Monad/Ether/Implicit.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/Except.hs → src/Control/Monad/Ether/Implicit/Except.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/Reader.hs → src/Control/Monad/Ether/Implicit/Reader.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/State.hs → src/Control/Monad/Ether/Implicit/State.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/State/Lazy.hs → src/Control/Monad/Ether/Implicit/State/Lazy.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/State/Strict.hs → src/Control/Monad/Ether/Implicit/State/Strict.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Implicit/Writer.hs → src/Control/Monad/Ether/Implicit/Writer.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Reader.hs → src/Control/Monad/Ether/Reader.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Reader/Class.hs → src/Control/Monad/Ether/Reader/Class.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Reader/Flatten.hs → src/Control/Monad/Ether/Reader/Flatten.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State.hs → src/Control/Monad/Ether/State.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Class.hs → src/Control/Monad/Ether/State/Class.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Common.hs → src/Control/Monad/Ether/State/Common.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Flatten.hs → src/Control/Monad/Ether/State/Flatten.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Lazy.hs → src/Control/Monad/Ether/State/Lazy.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Strict.hs → src/Control/Monad/Ether/State/Strict.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/State/Zoom.hs → src/Control/Monad/Ether/State/Zoom.hsrenamed+2−1
@@ -20,7 +20,7 @@ data TAG_ZOOM t z
2020
2121type TagZoomT t (z :: K.Type) = Handler (TAG_ZOOM t z) IdentityT
2222
23−newtype ReifiedLens s t a b = Lens { runLens :: Lens s t a b }
23+newtype ReifiedLens s t a b = Lens (Lens s t a b)
2424
2525type ReifiedLens' s a = ReifiedLens s s a a
2626
@@ -45,3 +45,4 @@ instance
4545 (state @tag . l)
4646 where
4747 Lens l = reflect (Proxy :: Proxy z)
48+ {-# INLINE state #-}
ether/src/Control/Monad/Ether/TagAttach.hs → src/Control/Monad/Ether/TagAttach.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/TagReplace.hs → src/Control/Monad/Ether/TagReplace.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Writer.hs → src/Control/Monad/Ether/Writer.hsrenamed

The content is the same.

ether/src/Control/Monad/Ether/Writer/Class.hs → src/Control/Monad/Ether/Writer/Class.hsrenamed

The content is the same.

ether/src/Control/Monad/Trans/Ether/Handler.hs → src/Control/Monad/Trans/Ether/Handler.hsrenamed

The content is the same.

stack.yaml+1−4
@@ -1,5 +1,2 @@
11resolver: lts-8.12
2−
3−packages:
4−- 'ether'
5−- 'ether-suite'
2+packages: ['.']
ether-suite/test/Regression.hs → test/Regression.hsrenamed

The content is the same.

ether-suite/test/Regression/T1.hs → test/Regression/T1.hsrenamed

The content is the same.

ether-suite/test/Regression/T10.hs → test/Regression/T10.hsrenamed

The content is the same.

ether-suite/test/Regression/T11.hs → test/Regression/T11.hsrenamed

The content is the same.

ether-suite/test/Regression/T12.hs → test/Regression/T12.hsrenamed

The content is the same.

ether-suite/test/Regression/T2.hs → test/Regression/T2.hsrenamed

The content is the same.

ether-suite/test/Regression/T3.hs → test/Regression/T3.hsrenamed

The content is the same.

ether-suite/test/Regression/T4.hs → test/Regression/T4.hsrenamed

The content is the same.

ether-suite/test/Regression/T5.hs → test/Regression/T5.hsrenamed

The content is the same.

ether-suite/test/Regression/T6.hs → test/Regression/T6.hsrenamed

The content is the same.

ether-suite/test/Regression/T7.hs → test/Regression/T7.hsrenamed

The content is the same.

ether-suite/test/Regression/T8.hs → test/Regression/T8.hsrenamed

The content is the same.

ether-suite/test/Regression/T9.hs → test/Regression/T9.hsrenamed

The content is the same.