13658 Commits

This Branch

This Branch

All Branches

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