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 |
|
Rob Rix
|
1bbc0a503a
|
🔥 maybeLastIndex.
|
2017-06-24 10:42:48 -04:00 |
|
Rob Rix
|
ed9b00cc90
|
🔥 rangesAndWordsFrom.
|
2017-06-24 10:41:32 -04:00 |
|
Rob Rix
|
7da94d77f6
|
Fix up a couple of comments.
|
2017-06-24 10:39:55 -04:00 |
|
Rob Rix
|
2c113280bc
|
Explicitly unpack Range’s fields.
|
2017-06-24 10:38:31 -04:00 |
|
Rob Rix
|
08c2c87fe0
|
Explicitly strictify Range’s fields.
|
2017-06-24 10:38:11 -04:00 |
|
Rob Rix
|
0d67e6acc9
|
🔥 a redundant GHC flag.
|
2017-06-24 10:37:39 -04:00 |
|
Rob Rix
|
7575c0b559
|
Explicitly list the exports for Data.Blob.
|
2017-06-24 10:37:17 -04:00 |
|
Rob Rix
|
d720532537
|
🔥 idOrEmptyBlob.
|
2017-06-24 10:37:01 -04:00 |
|
Rob Rix
|
a106d27eb9
|
Rename Source.length to sourceLength.
|
2017-06-24 10:32:26 -04:00 |
|
Rob Rix
|
2cc9f28e37
|
Rename Source.null to nullSource.
|
2017-06-24 10:28:39 -04:00 |
|
Rob Rix
|
0979106e50
|
🔥 Data.Source.empty.
|
2017-06-24 10:24:35 -04:00 |
|
Rob Rix
|
8e3d3cb1e1
|
🔥 a redundant space.
|
2017-06-24 10:23:48 -04:00 |
|
Rob Rix
|
0d1967edb3
|
Rename the blob fields.
|
2017-06-24 10:21:54 -04:00 |
|
Rob Rix
|
bed2c473b2
|
Rename SourceBlob to Blob.
|
2017-06-24 10:15:31 -04:00 |
|
Rob Rix
|
fc51c92425
|
Move SourceBlob into Data.Blob.
|
2017-06-24 10:09:50 -04:00 |
|
Rob Rix
|
84c7029dd8
|
Stub in a Blob module.
|
2017-06-24 10:00:40 -04:00 |
|
Rob Rix
|
fc09d74b73
|
Rename the Source module to Data.Source.
|
2017-06-24 09:59:41 -04:00 |
|
Rob Rix
|
1edc6a2718
|
Rename the Range module to Data.Range.
|
2017-06-24 09:46:28 -04:00 |
|
Rob Rix
|
6e7122e09a
|
Rename the SourceSpan module to Data.Span.
|
2017-06-24 09:41:51 -04:00 |
|
Rob Rix
|
4097d4bfc0
|
Rename SourceSpan to Span and SourcePos to Pos.
|
2017-06-24 09:30:34 -04:00 |
|
Rob Rix
|
c2d835e43a
|
Compute Markdown ranges within the known line ranges.
|
2017-06-23 19:30:02 -04:00 |
|