]> Git — Sourcephile - haskell/symantic-document.git/blob - tests/HUnit.hs
impl: cleanup
[haskell/symantic-document.git] / tests / HUnit.hs
1 {-# LANGUAGE OverloadedStrings #-}
2 module HUnit where
3
4 import Test.Tasty
5 import Test.Tasty.HUnit
6
7 import Data.Foldable (Foldable(..))
8 import Data.Function (($), (.))
9 import Data.Functor ((<$>))
10 import Data.Int (Int)
11 import Data.Maybe (Maybe(..))
12 import Data.Ord (Ord(..))
13 import Data.String (String, IsString(..))
14 import Prelude ((+))
15 import Text.Show (Show(..))
16 import qualified Data.List as List
17
18 import Symantic.Formatter.Class
19 import Symantic.Formatter.Plain (Plain, runPlain)
20
21 -- * Tests
22 hunits :: TestTree
23 hunits = testGroup "HUnit" $
24 [ hunitPlain
25 ]
26
27 hunitPlain :: TestTree
28 hunitPlain = testList "Plain"
29 [ newline ==> "\n"
30 , "hello".>"world" ==> "helloworld"
31 , "hello".>newline.>"world" ==> "hello\nworld"
32 , "hello\nworld" ==> "hello\nworld"
33 , 10`maxWidth` breakpoints ["hello", "world"] ==> "helloworld"
34 , 9`maxWidth` "hello" .> breakpoint .> "world" ==> "hello\nworld"
35 , 6`maxWidth` breakpoints ["he", "ll", "o!"] ==> "hello!"
36 , 6`maxWidth` breakpoints ["he", "ll", "o!", "wo", "rl", "d!"] ==> "hello!\nworld!"
37 , 5`maxWidth` breakpoints ["hello", "world"] ==> "hello\nworld"
38 , 5`maxWidth` breakpoints ["he", "llo", "world"] ==> "hello\nworld"
39 , 5`maxWidth` breakpoints ["he", "ll", "o!"] ==> "hell\no!"
40 , 4`maxWidth` breakpoints ["hello", "world"] ==> "hello\nworld"
41 , 4`maxWidth` breakpoints ["he", "ll", "o!"] ==> "hell\no!"
42 , 4`maxWidth` breakpoints ["he", "llo", "world"] ==> "he\nllo\nworld"
43 , 4`maxWidth` breakpoints ["he", "llo", "w", "orld"] ==> "he\nllow\norld"
44 , 4`maxWidth` breakpoints ["he", "ll", "o!", "wo", "rl", "d!"] ==> "hell\no!wo\nrld!"
45 , 3`maxWidth` breakpoints ["hello", "world"] ==> "hello\nworld"
46 , 3`maxWidth` breakpoints ["he", "ll"] ==> "he\nll"
47 , 3`maxWidth` breakpoints ["he", "ll", "o!"] ==> "he\nll\no!"
48 , 1`maxWidth` breakpoints ["he", "ll", "o!"] ==> "he\nll\no!"
49 , 4`maxWidth` concat ["__", align $ breakpoints ["he", "ll", "o!", "wo", "rl", "d!"]]
50 ==> "__he\n ll\n o!\n wo\n rl\n d!"
51 , testPlain
52 (4`maxWidth` "__" .> align (intercalate_ breakpoint string))
53 ["he", "ll", "o!", "wo", "rl", "d!"]
54 "__he\n ll\n o!\n wo\n rl\n d!"
55 , 6`maxWidth` concat ["__", align $ breakpoints ["he", "ll", "o!", "wo", "rl", "d!"]]
56 ==> "__hell\n o!wo\n rld!"
57 , testPlain
58 (6`maxWidth` "__" .> align (intercalate_ breakpoint string))
59 ["he", "ll", "o!", "wo", "rl", "d!"]
60 "__hell\n o!wo\n rld!"
61 , 16`maxWidth` concat ["__", listHorV ["hello", "world"]] ==> "__[hello, world]"
62 , testPlain
63 (16`maxWidth` "__" .> bracketList string)
64 ["hello", "world"]
65 "__[hello, world]"
66 , 4`maxWidth` concat ["__", listHorV ["hello", "world"]] ==> "__[ hello\n , world\n ]"
67 , 11`maxWidth` breakspaces ["hello", "world"] ==> "hello world"
68 , 10`maxWidth` breakspaces ["hello", "world"] ==> "hello\nworld"
69 , 6`maxWidth` breakspaces ["hel", "lo", "wo", "rld"] ==> "hel lo\nwo rld"
70 , 6`maxWidth` breakspaces ["hel", "lo", "wo", "rld", "HEL", "LO", "WO", "RLD"] ==> "hel lo\nwo rld\nHEL LO\nWO RLD"
71 , 5`maxWidth` breakspaces ["hello", "world"] ==> "hello\nworld"
72 , 19`maxWidth` fun (fun $ fun $ fun $ fun $ listHorV ["abcdefg", "abcdefg"])
73 ==> "function(function(\n function(\n function(\n function(\n [ abcdefg\n , abcdefg\n ]\n )\n )\n )\n ))"
74 , 19`maxWidth` fun (fun $ fun $ fun $ fun $ listHorV ["abcdefgh", "abcdefgh"])
75 ==> "function(\n function(\n function(\n function(\n function(\n [ abcdefgh\n , abcdefgh\n ]\n )\n )\n )\n )\n )"
76 , 7`maxWidth` ("hello".>breakspace.>"world") ==> "hello\nworld"
77 , 7`maxWidth` ("hello ".>"world") ==> "hello\nworld"
78 , " ".> "hello\nworld\n!" ==> " hello\nworld\n!"
79 , "__".>align "hello\nworld\n!" ==> "__hello\n world\n !"
80 , hang 2 "hello\nworld\n!" ==> "hello\n world\n !"
81 , hang 2 "hello\nworld\n!".>"\nhello\n!" ==> "hello\n world\n !\nhello\n!"
82 , "let " .> align (catV $
83 (\(name, typ) -> fill 6 name <+ "::" +> typ)
84 <$> [ ("abcdef","Doc")
85 , ("abcde","Int -> Doc -> Doc")
86 , ("abcdefghi","Doc") ])
87 ==> "let abcdef :: Doc\n abcde :: Int -> Doc -> Doc\n abcdefghi :: Doc"
88 , "let " .> align (catV $
89 (\(name, typ) -> fillOrBreak 6 name <. " ::" +> typ)
90 <$> [ ("abcdef","Doc")
91 , ("abcde","Int -> Doc -> Doc")
92 , ("abcdefghi","Doc") ])
93 ==> "let abcdef :: Doc\n abcde :: Int -> Doc -> Doc\n abcdefghi\n :: Doc"
94 , "let " .> align (catV $
95 (\(name, typ) -> fillOrBreak 6 name <. " ::" +> typ)
96 <$> [("abcdefghi","Doc ->\nDoc")])
97 ==> "let abcdefghi\n :: Doc ->\n Doc"
98 , "let " .> align (catV $
99 (\(name, typ) -> fillOrBreak 6 name <. align (" ::" +> typ))
100 <$> [("abcdefghi","Doc ->\nDoc")])
101 ==> "let abcdefghi\n :: Doc ->\n Doc"
102 , 10 `maxWidth` "1 2 3 4 5 6 7 8 9 10 11 12 13 14 15" ==> "1 2 3 4 5\n6 7 8 9 10\n11 12 13\n14 15"
103 , 10 `maxWidth` "a b ".>"12".>align (" 34 5") ==> "a b 12 34\n 5"
104 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align "") ==> "a b 12 34"
105 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " ") ==> "a b 12 34 "
106 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " 5") ==> "a b 12 34\n 5"
107 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " 56") ==> "a b 12\n 34\n 56"
108 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " 567") ==> "a b\n12 34 567"
109 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " 5678") ==> "a b\n12 34 5678"
110 , 10 `maxWidth` "a b ".>"12".>align (" 34" .> align " 56789") ==> "a b\n12 34\n 56789"
111 , 10 `maxWidth` ("1234567890" .> " ") .> "1" ==> "1234567890\n1"
112 , 10 `maxWidth` nestedAlign 6 ==> "1 2 3 4 5\n 6"
113 , 10 `maxWidth` nestedAlign 7 ==> "1 2 3 4\n 5\n 6\n 7"
114 , 10 `maxWidth` nestedAlign 8 ==> "1 2 3\n 4\n 5\n 6\n 7\n 8"
115 , 10 `maxWidth` nestedAlign 9 ==> "1 2\n 3\n 4\n 5\n 6\n 7\n 8\n 9"
116 , 10 `maxWidth` nestedAlign 10 ==> "1\n 2\n 3\n 4\n 5\n 6\n 7\n 8\n 9\n 10"
117 -- justify justifies
118 , 10 `maxWidth` justify "1 2 3 4 5 6" ==> "1 2 3 4 5\n6"
119 -- justify compresses spaces
120 , 10 `maxWidth` justify "1 2 3 4 5 6" ==> "1 2 3 4 5\n6"
121 , 10 `maxWidth` justify " 1 2 3 4 5 6 7 8 9" ==> " 1 2 3 4 5\n6 7 8 9"
122 -- justify respects concatenating words
123 , 10 `maxWidth` justify (setWidth (Just 11) ("1 2 3".>"4 5 6 7")) ==> "1 2 34 5 6\n7"
124 -- justify flushes the buffer before
125 , 10 `maxWidth` "__" .> align (justify "1 2 3 4 5") ==> "__1 2 3 4\n 5"
126 -- justify does not overflow the alignment
127 , 10 `maxWidth` justify (nestedAlign 6) ==> "1 2 3 4 5\n 6"
128 , 10 `maxWidth` justify ("a b c de " .> nestedAlign 2) ==> "a b c de\n1 2"
129 , 10 `maxWidth` justify (bold ("12 34 56 78 ".> underline "90" .> " 123 456 789"))
130 ==> "\ESC[1m12 34 56\n78 \ESC[4m90\ESC[0;1m 123\n456 789\ESC[0m"
131 -- justify does not justify on explicit newlines
132 , 10 `maxWidth` justify "1 2 3 4 5 6 7\n8 9 1 2 3 4 5" ==> "1 2 3 4 5\n6 7\n8 9 1 2 3\n4 5"
133 -- align flushes the buffer
134 , 10 `maxWidth` justify (ul ["1 2 3 4 5 6 7 8 9"])
135 ==> "- 1 2 3 4\n\
136 \ 5 6 7 8\n\
137 \ 9"
138 -- ul/ol is empty when no item
139 , ul [] ==> ""
140 , ol [] ==> ""
141 -- ul flushes the buffer
142 , 10 `maxWidth` justify (let i = "1 2 3 4 5 6 7 8 9" in ul [i, i])
143 ==> "- 1 2 3 4\n\
144 \ 5 6 7 8\n\
145 \ 9\n\
146 \- 1 2 3 4\n\
147 \ 5 6 7 8\n\
148 \ 9"
149 , testPlain (10 `maxWidth` justify (unorderedList (unwords_ int))) (let i = [1..9] in [i, i])
150 "- 1 2 3 4\n\
151 \ 5 6 7 8\n\
152 \ 9\n\
153 \- 1 2 3 4\n\
154 \ 5 6 7 8\n\
155 \ 9"
156 , testPlain (11 `maxWidth` justify (orderedList (unwords_ int))) (let i = [1..9] in [i, i])
157 "1. 1 2 3 4\n\
158 \ 5 6 7 8\n\
159 \ 9\n\
160 \2. 1 2 3 4\n\
161 \ 5 6 7 8\n\
162 \ 9"
163 , 10 `maxWidth` justify (let i = "1 2 3 4 5 6 7 8 9" in
164 ul [ul [i, i], ul [i, i]])
165 ==> "- - 1 2 3\n\
166 \ 4 5 6\n\
167 \ 7 8 9\n\
168 \ - 1 2 3\n\
169 \ 4 5 6\n\
170 \ 7 8 9\n\
171 \- - 1 2 3\n\
172 \ 4 5 6\n\
173 \ 7 8 9\n\
174 \ - 1 2 3\n\
175 \ 4 5 6\n\
176 \ 7 8 9"
177 , 10 `maxWidth` justify (let i = "1 2 3 4 5 6 7 8 9" in
178 ol [ol [i, i], ol [i, i]])
179 ==> "1. 1. 1 2\n\
180 \ 3 4\n\
181 \ 5 6\n\
182 \ 7 8\n\
183 \ 9\n\
184 \ 2. 1 2\n\
185 \ 3 4\n\
186 \ 5 6\n\
187 \ 7 8\n\
188 \ 9\n\
189 \2. 1. 1 2\n\
190 \ 3 4\n\
191 \ 5 6\n\
192 \ 7 8\n\
193 \ 9\n\
194 \ 2. 1 2\n\
195 \ 3 4\n\
196 \ 5 6\n\
197 \ 7 8\n\
198 \ 9"
199 -- endline breakspaces
200 , 10 `maxWidth` ("a".>endline.>" b") ==> "a\nb"
201 -- endline does no justify
202 , 10 `maxWidth` justify ("a b".>endline.>" c") ==> "a b\nc"
203 -- endline works overflowed
204 , 10 `maxWidth` justify ("abcdefghijk".>endline.>" a") ==> "abcdefghijk\na"
205 -- endline prints no nothing
206 , 10 `maxWidth` justify ("12345678".>endline.>"90ab".>align (" cdefghijk cdefghijk"))
207 ==> "1234567890ab\n\
208 \ cdefghijk\n\
209 \ cdefghijk"
210 -- newline stops overflow
211 , 10 `maxWidth` breakalt "fits" "over".>"\n".>"12345678901"
212 ==> "fits\n\
213 \12345678901"
214 -- breakalt triggers only if its first argument overflows,
215 -- not if what's next overflows.
216 , 10 `maxWidth` spaces 2.>align(breakalt "fits" "over".>newline.>"12345678901")
217 ==> " fits\n\
218 \ 12345678901"
219 -- handle escaping correctly over custom indenting
220 , 10 `maxWidth` setIndent (blue "X") 1 (red ("12".>green "4\n5" .> "6"))
221 ==> "\ESC[31m12\ESC[32m4\n\ESC[34mX\ESC[0;31;32m5\ESC[0;31m6\ESC[0m"
222 , 10 `maxWidth` setIndent (blue "X") 1 (justify (red ("1 2 3 4".>green " 5 6 " .> "7 ") .> "8"))
223 ==> "\ESC[31m1 2 3 4\ESC[32m 5\n\ESC[34mX\ESC[0;31;32m6 \ESC[0;31m7 \ESC[0m8"
224 -- breakspace backtracking is bounded by the removable indentation
225 -- (hence it can actually wrap a few words in reasonable time).
226 , 80 `maxWidth`
227 "Lorem ipsum dolor sit amet, Nulla nec tortor. Donec id elit quis purus\
228 \ consectetur consequat. Nam congue semper tellus. Sed erat dolor,\
229 \ dapibus sit amet, venenatis ornare, ultrices ut, nisi. Aliquam ante.\
230 \ Suspendisse scelerisque dui nec velit. Duis augue augue, gravida euismod,\
231 \ vulputate ac, facilisis id, sem. Morbi in orci. Nulla purus lacus,\
232 \ pulvinar vel, malesuada ac, mattis nec, quam. Nam molestie scelerisque\
233 \ quam. Nullam feugiat cursus lacus.orem ipsum dolor sit amet, consectetur\
234 \ adipiscing elit. Donec libero risus, commodo vitae, pharetra mollis,\
235 \ posuere eu, pede. Nulla nec tortor. Donec id elit quis purus consectetur\
236 \ consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\
237 \ amet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse\
238 \ scelerisque dui nec velit. Duis augue augue, gravida euismod, vulputate ac,\
239 \ facilisis id, sem. Morbi in orci. Nulla purus lacus, pulvinar vel,\
240 \ malesuada ac, mattis nec, quam. Nam molestie scelerisque quam.\
241 \ Nullam feugiat cursus lacus.orem ipsum dolor sit amet, consectetur\
242 \ adipiscing elit. Donec libero risus, commodo vitae, pharetra mollis,\
243 \ posuere eu, pede. Nulla nec tortor. Donec id elit quis purus consectetur\
244 \ consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit amet,\
245 \ venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse\
246 \ scelerisque dui nec velit. Duis augue augue, gravida euismod, vulputate ac,\
247 \ facilisis id, sem. Morbi in orci. Nulla purus lacus, pulvinar vel,\
248 \ malesuada ac, mattis nec, quam. Nam molestie scelerisque quam. Nullam\
249 \ feugiat cursus lacus.orem ipsum dolor sit amet, consectetur adipiscing\
250 \ elit. Donec libero risus, commodo vitae, pharetra mollis, posuere eu, pede.\
251 \ Nulla nec tortor. Donec id elit quis purus consectetur consequat. Nam\
252 \ congue semper tellus. Sed erat dolor, dapibus sit amet, venenatis ornare,\
253 \ ultrices ut, nisi."
254 ==> "Lorem ipsum dolor sit amet, Nulla nec tortor. Donec id elit quis\
255 \ purus\nconsectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus\
256 \ sit\namet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse\
257 \ scelerisque\ndui nec velit. Duis augue augue, gravida euismod, vulputate ac,\
258 \ facilisis id,\nsem. Morbi in orci. Nulla purus lacus, pulvinar vel, malesuada\
259 \ ac, mattis nec,\nquam. Nam molestie scelerisque quam. Nullam feugiat cursus\
260 \ lacus.orem ipsum\ndolor sit amet, consectetur adipiscing elit. Donec libero\
261 \ risus, commodo vitae,\npharetra mollis, posuere eu, pede. Nulla nec tortor.\
262 \ Donec id elit quis purus\nconsectetur consequat. Nam congue semper tellus. Sed\
263 \ erat dolor, dapibus sit\namet, venenatis ornare, ultrices ut, nisi. Aliquam\
264 \ ante. Suspendisse scelerisque\ndui nec velit. Duis augue augue, gravida\
265 \ euismod, vulputate ac, facilisis id,\nsem. Morbi in orci. Nulla purus lacus,\
266 \ pulvinar vel, malesuada ac, mattis nec,\nquam. Nam molestie scelerisque quam.\
267 \ Nullam feugiat cursus lacus.orem ipsum\ndolor sit amet, consectetur adipiscing\
268 \ elit. Donec libero risus, commodo vitae,\npharetra mollis, posuere eu, pede.\
269 \ Nulla nec tortor. Donec id elit quis purus\nconsectetur consequat. Nam congue\
270 \ semper tellus. Sed erat dolor, dapibus sit\namet, venenatis ornare, ultrices\
271 \ ut, nisi. Aliquam ante. Suspendisse scelerisque\ndui nec velit. Duis augue\
272 \ augue, gravida euismod, vulputate ac, facilisis id,\nsem. Morbi in orci. Nulla\
273 \ purus lacus, pulvinar vel, malesuada ac, mattis nec,\nquam. Nam molestie\
274 \ scelerisque quam. Nullam feugiat cursus lacus.orem ipsum\ndolor sit amet,\
275 \ consectetur adipiscing elit. Donec libero risus, commodo vitae,\npharetra\
276 \ mollis, posuere eu, pede. Nulla nec tortor. Donec id elit quis\
277 \ purus\nconsectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus\
278 \ sit\namet, venenatis ornare, ultrices ut, nisi."
279 , 80 `maxWidth` justify
280 "Lorem ipsum dolor sit amet, Nulla nec tortor. Donec id elit quis purus\
281 \ consectetur consequat. Nam congue semper tellus. Sed erat dolor,\
282 \ dapibus sit amet, venenatis ornare, ultrices ut, nisi. Aliquam ante.\
283 \ Suspendisse scelerisque dui nec velit. Duis augue augue, gravida euismod,\
284 \ vulputate ac, facilisis id, sem. Morbi in orci. Nulla purus lacus,\
285 \ pulvinar vel, malesuada ac, mattis nec, quam. Nam molestie scelerisque\
286 \ quam. Nullam feugiat cursus lacus.orem ipsum dolor sit amet, consectetur\
287 \ adipiscing elit. Donec libero risus, commodo vitae, pharetra mollis,\
288 \ posuere eu, pede. Nulla nec tortor. Donec id elit quis purus consectetur\
289 \ consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\
290 \ amet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse\
291 \ scelerisque dui nec velit. Duis augue augue, gravida euismod, vulputate ac,\
292 \ facilisis id, sem. Morbi in orci. Nulla purus lacus, pulvinar vel,\
293 \ malesuada ac, mattis nec, quam. Nam molestie scelerisque quam.\
294 \ Nullam feugiat cursus lacus.orem ipsum dolor sit amet, consectetur\
295 \ adipiscing elit. Donec libero risus, commodo vitae, pharetra mollis,\
296 \ posuere eu, pede. Nulla nec tortor. Donec id elit quis purus consectetur\
297 \ consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit amet,\
298 \ venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse\
299 \ scelerisque dui nec velit. Duis augue augue, gravida euismod, vulputate ac,\
300 \ facilisis id, sem. Morbi in orci. Nulla purus lacus, pulvinar vel,\
301 \ malesuada ac, mattis nec, quam. Nam molestie scelerisque quam. Nullam\
302 \ feugiat cursus lacus.orem ipsum dolor sit amet, consectetur adipiscing\
303 \ elit. Donec libero risus, commodo vitae, pharetra mollis, posuere eu, pede.\
304 \ Nulla nec tortor. Donec id elit quis purus consectetur consequat. Nam\
305 \ congue semper tellus. Sed erat dolor, dapibus sit amet, venenatis ornare,\
306 \ ultrices ut, nisi."
307 ==> "Lorem ipsum dolor sit amet, Nulla nec tortor. Donec id elit quis purus\n\
308 \consectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\n\
309 \amet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse scelerisque\n\
310 \dui nec velit. Duis augue augue, gravida euismod, vulputate ac, facilisis id,\n\
311 \sem. Morbi in orci. Nulla purus lacus, pulvinar vel, malesuada ac, mattis nec,\n\
312 \quam. Nam molestie scelerisque quam. Nullam feugiat cursus lacus.orem ipsum\n\
313 \dolor sit amet, consectetur adipiscing elit. Donec libero risus, commodo vitae,\n\
314 \pharetra mollis, posuere eu, pede. Nulla nec tortor. Donec id elit quis purus\n\
315 \consectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\n\
316 \amet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse scelerisque\n\
317 \dui nec velit. Duis augue augue, gravida euismod, vulputate ac, facilisis id,\n\
318 \sem. Morbi in orci. Nulla purus lacus, pulvinar vel, malesuada ac, mattis nec,\n\
319 \quam. Nam molestie scelerisque quam. Nullam feugiat cursus lacus.orem ipsum\n\
320 \dolor sit amet, consectetur adipiscing elit. Donec libero risus, commodo vitae,\n\
321 \pharetra mollis, posuere eu, pede. Nulla nec tortor. Donec id elit quis purus\n\
322 \consectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\n\
323 \amet, venenatis ornare, ultrices ut, nisi. Aliquam ante. Suspendisse scelerisque\n\
324 \dui nec velit. Duis augue augue, gravida euismod, vulputate ac, facilisis id,\n\
325 \sem. Morbi in orci. Nulla purus lacus, pulvinar vel, malesuada ac, mattis nec,\n\
326 \quam. Nam molestie scelerisque quam. Nullam feugiat cursus lacus.orem ipsum\n\
327 \dolor sit amet, consectetur adipiscing elit. Donec libero risus, commodo vitae,\n\
328 \pharetra mollis, posuere eu, pede. Nulla nec tortor. Donec id elit quis purus\n\
329 \consectetur consequat. Nam congue semper tellus. Sed erat dolor, dapibus sit\n\
330 \amet, venenatis ornare, ultrices ut, nisi."
331 ]
332 where
333 (==>) :: IsString o => o ~ String => Plain o () -> o -> Assertion; infix 0 ==>
334 fmt ==> exp = got @?= exp
335 where got = runPlain fmt ()
336 testPlain :: IsString o => o ~ String => Plain o a -> a -> o -> Assertion
337 testPlain fmt a exp = got @?= exp
338 where got = runPlain fmt a
339
340 testList :: String -> [Assertion] -> TestTree
341 testList n as = testGroup n $ List.zipWith testCase (show <$> [1::Int ..]) as
342
343 breakpoints ::
344 Emptyable repr =>
345 ProductFunctor repr =>
346 Wrappable repr =>
347 [repr ()] -> repr ()
348 breakpoints = intercalate breakpoint
349
350 breakspaces ::
351 Emptyable repr =>
352 ProductFunctor repr =>
353 Wrappable repr =>
354 [repr ()] -> repr ()
355 breakspaces = intercalate breakspace
356
357 infix 1 `maxWidth`
358 maxWidth :: Wrappable repr => Width -> repr a -> repr a
359 maxWidth = setWidth . Just
360
361 nestedAlign ::
362 IsString (repr ()) =>
363 Indentable repr =>
364 Emptyable repr =>
365 ProductFunctor repr =>
366 Wrappable repr =>
367 Int -> repr ()
368 nestedAlign n = go 1
369 where
370 go i =
371 fromString (show i) .>
372 (if n <= i then empty
373 else align (breakspace .> go (i+1)))
374
375 listHorV ::
376 IsString (repr ()) =>
377 Emptyable repr =>
378 Wrappable repr =>
379 ProductFunctor repr =>
380 Indentable repr =>
381 Newlineable repr =>
382 [repr ()] -> repr ()
383 listHorV [] = "[]"
384 listHorV [t] = "[".>t<."]"
385 listHorV ts =
386 breakalt
387 ("[" .> intercalate ("," .> space) ts <. "]")
388 (align $ "[" .> space
389 .> foldr1 (\a acc -> a <. newline <. "," <. space <. acc) ts
390 <. newline <. "]")
391
392 fun ::
393 Wrappable repr =>
394 ProductFunctor repr =>
395 Indentable repr =>
396 Newlineable repr =>
397 IsString (repr ()) =>
398 repr a -> repr a
399 fun t = "function("
400 .> incrIndent (spaces 2) 2 (breakalt t (newline.>t<.newline))
401 <. ")"