Rob Rix
|
2fe08397ee
|
🔥 redundant imports.
|
2017-06-24 17:32:18 -04:00 |
|
Rob Rix
|
fe29a865c3
|
🔥 redundant hidden symbols.
|
2017-06-24 17:32:18 -04:00 |
|
Rob Rix
|
0f9ccec7de
|
🔥 redundant hidden symbols.
|
2017-06-24 17:30:57 -04:00 |
|
Rob Rix
|
8b79e0e056
|
🔥 redundant imports.
|
2017-06-24 17:30:41 -04:00 |
|
Rob Rix
|
2be307e967
|
many participates in committed choice.
|
2017-06-24 17:16:57 -04:00 |
|
Rob Rix
|
eaa4423dec
|
Define a Many rule.
|
2017-06-24 17:10:04 -04:00 |
|
Rob Rix
|
7df59da281
|
Frame the <|> rule in terms of the choices along each side.
|
2017-06-24 16:51:00 -04:00 |
|
Rob Rix
|
1bbb252738
|
Return is the left-identity of alternation.
|
2017-06-24 16:44:00 -04:00 |
|
Rob Rix
|
4a00ee3e23
|
Make sure the end column makes sense.
|
2017-06-24 15:55:51 -04:00 |
|
Rob Rix
|
f2b6cdb223
|
Deal with nonsensical end lines.
|
2017-06-24 15:46:07 -04:00 |
|
Rob Rix
|
5d75659c6e
|
Define spanToRange tacitly.
|
2017-06-24 15:22:58 -04:00 |
|
Rob Rix
|
d44684cd4e
|
Simplify how sections and code blocks are projected.
|
2017-06-24 15:01:00 -04:00 |
|
Rob Rix
|
3278506866
|
Simplify how images and links are projected.
|
2017-06-24 14:59:00 -04:00 |
|
Rob Rix
|
7d7e41221e
|
Reformat a little.
|
2017-06-24 14:37:34 -04:00 |
|
Rob Rix
|
81b8ab22b9
|
🔥 some redundant parens.
|
2017-06-24 14:36:41 -04:00 |
|
Rob Rix
|
04bde799fd
|
Eta-reduce.
|
2017-06-24 14:33:10 -04:00 |
|
Rob Rix
|
854e4fbcc2
|
Change how some comments are listed.
|
2017-06-24 14:28:31 -04:00 |
|
Rob Rix
|
a182406b6b
|
Fewer parens.
|
2017-06-24 14:25:43 -04:00 |
|
Rob Rix
|
78b607ddbc
|
🔥 redundant parens.
|
2017-06-24 14:22:31 -04:00 |
|
Rob Rix
|
1beabcdbdc
|
The line by line parser is pure.
|
2017-06-24 12:44:11 -04:00 |
|
Rob Rix
|
af48c1d684
|
Simplify the line by line parser.
|
2017-06-24 12:44:00 -04:00 |
|
Rob Rix
|
6b3f35c046
|
Compute spanToRangeInLineRanges in constant time.
|
2017-06-24 12:32:43 -04:00 |
|
Rob Rix
|
8284540ba0
|
Quote the reference to ByteString.
|
2017-06-24 12:10:37 -04:00 |
|
Rob Rix
|
aed530b79b
|
Correct some misalignment.
|
2017-06-24 12:03:27 -04:00 |
|
Rob Rix
|
8e57a0b88b
|
🔥 breakSource.
|
2017-06-24 12:02:38 -04:00 |
|
Rob Rix
|
b9143d40ea
|
Define sourceLines in terms of sourceLineRanges.
|
2017-06-24 12:02:27 -04:00 |
|
Rob Rix
|
35baa874d5
|
Define sourceLineRangesWithin without constructing intermediate sources.
|
2017-06-24 11:58:17 -04:00 |
|
Rob Rix
|
3b1c2644f2
|
Use ord to define sourceLines.
|
2017-06-24 11:47:38 -04:00 |
|
Rob Rix
|
eaece7951a
|
Define sourceLineRanges in terms of sourceLineRangesWithin.
|
2017-06-24 11:35:13 -04:00 |
|
Rob Rix
|
b7ea75a9bd
|
Define Source abstractly.
|
2017-06-24 11:32:04 -04:00 |
|
Rob Rix
|
ed1533f7fc
|
Rename Data.Source.{drop,take,break} to disambiguate.
|
2017-06-24 11:26:08 -04:00 |
|
Rob Rix
|
9c0d9c30fb
|
Define sourceLines in terms of Data.Source.break.
|
2017-06-24 11:22:27 -04:00 |
|
Rob Rix
|
43f9e70517
|
🔥 the export of Data.Source.break.
|
2017-06-24 11:17:17 -04:00 |
|
Rob Rix
|
0bcb40bd81
|
Spacing.
|
2017-06-24 11:14:07 -04:00 |
|
Rob Rix
|
323347446d
|
Rename actualLine* to sourceLine*.
|
2017-06-24 11:13:22 -04:00 |
|
Rob Rix
|
d2e4ce8dc3
|
🔥 the export of Data.Source.take.
|
2017-06-24 11:11:10 -04:00 |
|
Rob Rix
|
48f911485e
|
Explicitly list Data.Source’s exports.
|
2017-06-24 11:09:21 -04:00 |
|
Rob Rix
|
4886a4585c
|
Rearrange and group Data.Source’s functions.
|
2017-06-24 11:08:14 -04:00 |
|
Rob Rix
|
fc004385b2
|
List Data.Span’s exports explicitly.
|
2017-06-24 10:59:21 -04:00 |
|
Rob Rix
|
ed140c9937
|
🔥 Spans.
|
2017-06-24 10:59:09 -04:00 |
|
Rob Rix
|
d87aa706aa
|
🔥 unionSpan.
|
2017-06-24 10:59:03 -04:00 |
|
Rob Rix
|
e3b697af1a
|
🔥 unionSpansFrom.
|
2017-06-24 10:58:56 -04:00 |
|
Rob Rix
|
1be293ec79
|
Avoid copying the underlying ByteString.
|
2017-06-24 10:55:07 -04:00 |
|
Rob Rix
|
ca49dec207
|
Avoid another trip through Text.
|
2017-06-24 10:54:03 -04:00 |
|
Rob Rix
|
4ff3d9e8ec
|
Rename sourceText to sourceBytes.
|
2017-06-24 10:50:28 -04:00 |
|
Rob Rix
|
21878f2e80
|
Explicitly list Data.Range’s exports.
|
2017-06-24 10:46:45 -04:00 |
|
Rob Rix
|
062a7ca2bb
|
🔥 unionRange.
|
2017-06-24 10:45:55 -04:00 |
|
Rob Rix
|
59b18baa9c
|
🔥 unionRangesFrom.
|
2017-06-24 10:45:15 -04:00 |
|
Rob Rix
|
d368e44a57
|
🔥 intersectionRange.
|
2017-06-24 10:44:21 -04:00 |
|
Rob Rix
|
09dd48f994
|
🔥 divideRange.
|
2017-06-24 10:43:27 -04:00 |
|