Rob Rix
|
24914eeb05
|
Move the remaining Listable instances into the tests.
|
2017-09-09 14:51:37 +01:00 |
|
Rob Rix
|
7da8799e08
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
|
Rob Rix
|
b7ea75a9bd
|
Define Source abstractly.
|
2017-06-24 11:32:04 -04:00 |
|
Rob Rix
|
323347446d
|
Rename actualLine* to sourceLine*.
|
2017-06-24 11:13:22 -04:00 |
|
Rob Rix
|
a106d27eb9
|
Rename Source.length to sourceLength.
|
2017-06-24 10:32:26 -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
|
c834852a9b
|
🔥 a redundant import.
|
2017-05-19 12:19:35 -04:00 |
|
Rob Rix
|
9f847da265
|
Make sure the rangeToSourceSpan/sourceSpanToRange tests include newlines.
|
2017-05-19 11:41:16 -04:00 |
|
Rob Rix
|
9ddbc5055d
|
s/dual to/inverse of/
|
2017-05-19 11:08:22 -04:00 |
|
Rob Rix
|
79e4a1f773
|
Simplify properties.
|
2017-05-19 10:59:33 -04:00 |
|
Rob Rix
|
bf5c266325
|
Test that rangeToSourceSpan and sourceSpanToRange are duals.
|
2017-05-19 10:52:12 -04:00 |
|
Rob Rix
|
edefb5c5fb
|
Compute 1-indexed totalSpans.
|
2017-05-19 10:45:51 -04:00 |
|
Rob Rix
|
16b406dcd4
|
Compute the total span of a Source.
|
2017-05-19 10:31:30 -04:00 |
|
Rob Rix
|
1c33f9faf3
|
Compute actualLineRanges over the whole Source.
|
2017-05-19 10:30:58 -04:00 |
|
Timothy Clem
|
bfe1181acb
|
Move Diff and Source Specs
|
2017-02-28 15:35:43 -08:00 |
|