17 Commits

Author	SHA1	Message	Date
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