Skip to content

Instantly share code, notes, and snippets.

@paulp

paulp/views.txt

Created December 9, 2013 10:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save paulp/7870487 to your computer and use it in GitHub Desktop.
Save paulp/7870487 to your computer and use it in GitHub Desktop.
Download ZIP
Look ma, 0 operations
Raw
views.txt
[info] LinearViewSpec
[info] + Basis collection is 1 to 100 PSP LIST /VIEW STREAM /VIEW
[info] + . ------ ------ ------ ------ ------
[info] + . take 21, slice 5/3, takeR 19 0 100 10 1 10 //
[info] + . dropR 15, takeW <f>, slice 8/2 0 100 108 16 108 //
[info] + . dropW <f>, slice 9/9, dropW <f> 0 100 29 21 29 //
[info] + . slice 4/4, takeR 2, filter <f> 0 100 8 1 8 //
[info] + . slice 5/3, flatMap **9, filter <f> 0 100 5 1 5 //
[info] + . slice 6/5, take 24, filter <f> 0 100 6 1 6 //
[info] + . slice 7/6, dropW <f>, slice 4/22 0 100 7 1 7 //
[info] + . slice 9/2, dropW <f>, dropW <f> 0 100 9 1 9 //
[info] + . slice 2/14, slice 7/2, takeR 4 0 100 18 3 18 //
[info] + . takeW <f>, slice 5/3, dropR 4 0 100 10 1 10 //
[info] + . filter <f>, slice 8/1, map *7 0 100 100 14 100 //
[info] + . flatMap **9, slice 9/9, drop 8 0 100 4 1 4 //
[info] + . flatMap **1, map *2, dropR 1 3 100 102 3 102 // 2, 4, 4
[info] + . flatMap **18, take 6, takeR 24 3 100 5 3 5 // 1, 2, 2
[info] + . dropR 1, takeW <f>, takeW <f> 4 100 103 4 103 // 1, 2, 3
[info] + . flatMap **5, slice 3/15, dropR 9 5 100 8 5 8 // 3, 3, 3
[info] + . flatMap **8, slice 7/13, dropR 13 5 100 9 5 9 //
[info] + . take 6, takeR 12, filter <f> 6 100 12 6 12 //
[info] + . flatMap **21, dropW <f>, dropR 9 6 100 104 6 104 // 4, 4, 4
[info] + . dropR 4, map *16, filter <f> 7 100 103 7 103 // 16, 32, 48
[info] + . dropR 4, slice 0/15, map *19 7 100 103 7 103 // 19, 38, 57
[info] + . takeW <f>, takeW <f>, takeR 7 7 100 10 7 10 // 1, 2, 3
[info] + . takeW <f>, flatMap **6, dropR 22 7 100 22 7 22 // 1, 2, 2
[info] + . filter <f>, takeW <f>, takeR 1 7 100 14 7 14 //
[info] + . take 8, takeW <f>, takeR 24 8 100 11 8 11 // 1, 2, 3
[info] + . slice 2/8, takeR 16, slice 4/1 8 100 14 8 14 //
[info] + . dropR 7, flatMap **5, takeW <f> 9 100 102 9 102 // 1, 2, 2
[info] + . slice 2/9, dropR 3, drop 4 9 100 15 9 15 //
[info] + . takeW <f>, takeW <f>, dropR 6 9 100 19 9 19 // 1, 2, 3
[info] + . map *14, dropR 9, takeW <f> 11 100 102 11 102 // 14
[info] + . dropR 10, map *9, takeW <f> 11 100 101 11 101 //
[info] + . map *4, map *12, dropR 11 14 100 103 14 103 // 48, 96, 144
[info] + . map *14, map *4, dropR 11 14 100 103 14 103 // 56, 112, 168
[info] + . dropR 10, take 5, drop 25 15 100 105 15 105 //
[info] + . dropR 12, map *6, take 11 15 100 103 15 103 // 6, 12, 18
[info] + . dropR 6, take 10, dropW <f> 16 100 110 16 110 // 10
[info] + . dropR 10, flatMap **23, drop 13 16 100 106 16 106 // 5, 5, 6
[info] + . takeW <f>, takeW <f>, dropR 13 16 100 21 16 21 // 1, 2, 3
[info] + . take 19, takeR 8, filter <f> 19 100 38 19 38 // 16
[info] + . dropW <f>, dropR 14, map *2 19 100 105 19 105 // 6, 8, 10
[info] + . takeW <f>, takeR 25, slice 2/17 19 100 24 19 24 // 3, 4, 5
[info] + . dropR 12, filter <f>, flatMap **25 20 100 108 20 108 // 8, 8, 8
[info] + . dropW <f>, dropR 10, filter <f> 20 100 110 20 110 // 6, 8, 10
[info] + . flatMap **8, filter <f>, dropR 10 20 100 120 20 120 // 20, 20, 20
[info] + . drop 12, dropR 8, take 4 23 100 115 23 115 // 13, 14, 15
[info] + . dropR 6, dropR 5, dropW <f> 23 100 206 23 206 // 10, 11, 12
[info] + . dropR 20, map *9, take 19 23 100 103 23 103 // 9, 18, 27
[info] + . slice 1/25, dropR 20, flatMap **20 23 100 28 23 28 // 2, 2, 3
[info] + . dropR 6, takeW <f>, filter <f> 24 100 118 24 118 // 6, 12
[info] + . dropR 17, flatMap **15, drop 24 24 100 107 24 107 // 7, 7, 7
[info] + . drop 16, map *10, dropR 6 25 100 119 25 119 // 170, 180, 190
[info] + . dropR 15, dropW <f>, flatMap **25 25 100 110 25 110 // 10, 10, 10
[info] + . dropR 7, map *3, drop 17 27 100 120 27 120 // 54, 57, 60
[info] + . dropR 24, takeW <f>, take 14 27 100 103 27 103 // 1, 2, 3
[info] + . filter <f>, takeW <f>, takeR 10 28 100 56 28 56 // 14
[info] + . drop 2, dropR 24, take 3 29 100 105 29 105 // 3, 4, 5
[info] + . dropR 21, slice 5/18, takeW <f> 29 100 108 29 108 // 6, 7, 8
[info] + . dropR 22, flatMap **20, drop 21 29 100 107 29 107 // 7, 7, 7
[info] + . dropR 13, dropW <f>, drop 6 30 100 117 30 117 // 15, 16, 17
[info] + . dropR 10, take 21, dropR 23 31 100 121 31 121 //
[info] + . dropR 7, dropW <f>, flatMap **16 32 100 125 32 125 // 25, 25, 25
[info] + . dropR 7, dropR 5, dropW <f> 33 100 214 33 214 // 19, 20, 21
[info] + . drop 18, take 17, takeR 5 35 100 68 35 68 // 31, 32, 33
[info] + . drop 4, dropR 17, drop 13 37 100 120 37 120 // 18, 19, 20
[info] + . dropW <f>, dropR 24, flatMap **19 43 100 119 43 119 // 19, 19, 19
[info] + . dropR 8, dropW <f>, filter <f> 44 100 136 44 136 // 12, 24, 36
[info] + . dropR 14, dropW <f>, dropR 10 44 100 206 44 206 // 18, 19, 20
[info] + . dropW <f>, dropW <f>, dropR 25 48 100 123 48 123 // 21, 22, 23
[info] + . dropR 9, filter <f>, slice 0/7 51 100 142 51 142 // 14, 28, 42
[info] + . map *18, takeR 22, takeW <f> 100 100 179 100 179 //
[info] + . map *24, takeR 1, map *19 100 100 200 100 200 // 45600
[info] + . drop 11, dropW <f>, takeR 5 100 100 198 100 198 // 96, 97, 98
[info] + . drop 25, filter <f>, takeR 11 100 100 145 100 145 // 27, 36, 45
[info] + . dropR 12, filter <f>, filter <f> 100 100 188 100 188 //
[info] + . dropR 17, filter <f>, takeR 1 100 100 266 100 266 // 68
[info] + . dropR 19, filter <f>, dropR 18 100 100 181 100 181 //
[info] + . dropW <f>, map *22, takeR 14 100 100 189 100 189 // 1914, 1936, 1958
[info] + . dropW <f>, dropR 12, takeR 6 100 100 273 100 273 // 83, 84, 85
[info] + . takeR 2, dropR 12, dropR 21 100 100 396 100 396 //
[info] + . takeR 2, slice 9/5, dropR 20 100 100 300 100 300 //
[info] + . takeR 3, drop 5, takeR 18 100 100 300 100 300 //
[info] + . takeR 4, takeW <f>, map *11 100 100 197 100 197 //
[info] + . takeR 6, drop 1, drop 21 100 100 200 100 200 //
[info] + . takeR 9, slice 2/5, flatMap **5 100 100 194 100 194 // 94, 94, 94
[info] + . takeR 11, dropW <f>, takeR 20 100 100 292 100 292 // 90, 91, 92
[info] + . takeR 11, slice 9/23, take 17 100 100 200 100 200 // 99, 100
[info] + . takeR 12, slice 3/11, drop 18 100 100 199 100 199 //
[info] + . takeR 12, filter <f>, takeR 24 100 100 300 100 300 // 90, 96
[info] + . takeR 13, dropR 1, takeR 2 100 100 398 100 398 // 98, 99
[info] + . takeR 14, takeR 17, slice 0/7 100 100 289 100 289 // 87, 88, 89
[info] + . takeR 14, takeW <f>, drop 15 100 100 187 100 187 //
[info] + . takeR 15, dropR 8, dropW <f> 100 100 288 100 288 // 86, 87, 88
[info] + . takeR 16, flatMap **8, filter <f> 100 100 195 100 195 // 95, 95, 95
[info] + . takeR 18, flatMap **1, take 7 100 100 183 100 183 // 83, 83, 83
[info] + . takeR 19, filter <f>, slice 7/16 100 100 200 100 200 //
[info] + . takeR 20, takeW <f>, takeW <f> 100 100 181 100 181 //
[info] + . takeR 21, filter <f>, slice 1/1 100 100 195 100 195 //
[info] + . takeR 24, drop 4, takeR 7 100 100 296 100 296 // 94, 95, 96
[info] + . takeR 24, dropW <f>, flatMap **18 100 100 177 100 177 // 77, 77, 77
[info] + . filter <f>, drop 13, takeR 24 100 100 200 100 200 //
[info] + . filter <f>, takeR 16, dropR 23 100 100 284 100 284 //
[info] + . filter <f>, filter <f>, takeR 15 100 100 200 100 200 // 42, 84
[info] + . filter <f>, flatMap **3, takeR 25 100 100 196 100 196 // 96, 96, 96
[info] + . flatMap **3, dropW <f>, takeR 15 100 100 200 100 200 // 100, 100, 100
[info] + . flatMap **6, dropW <f>, takeR 19 100 100 200 100 200 // 100, 100, 100
[info] + . flatMap **9, takeR 25, dropW <f> 100 100 200 100 200 // 100, 100, 100
[info] + . flatMap **12, takeR 8, takeW <f> 100 100 200 100 200 //
[info] + . flatMap **13, dropW <f>, takeR 5 100 100 200 100 200 // 100, 100, 100
[info]
[info] Total for specification LinearViewSpec
[info] Finished in 28 ms
[info] 110 examples, 0 failure, 0 error
[info] Passed: Total 110, Failed 0, Errors 0, Passed 110
[success] Total time: 14 s, completed Dec 9, 2013 2:48:55 AM
3. Waiting for source changes... (press enter to interrupt)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment