3582 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ce5911b9b6	Remove a redundant mappend case.	2015-12-21 13:26:59 -05:00
Rob Rix	cefbdd400e	Simplify mappend over Lines.	2015-12-21 13:26:51 -05:00
Rob Rix	b857464c44	Reformat a comment.	2015-12-21 13:25:32 -05:00
Rob Rix	fc819fb48d	Remove rightLines.	2015-12-21 13:21:31 -05:00
Rob Rix	d38f94df8c	Remove leftLines.	2015-12-21 13:21:23 -05:00
Rob Rix	2b5712cd58	fmap unRight over rows directly.	2015-12-21 13:21:09 -05:00
Rob Rix	7b0ea6678e	fmap unLeft over rows directly.	2015-12-21 13:20:47 -05:00
Rob Rix	6e76f3e618	Define rightLines in terms of unRight.	2015-12-21 13:19:51 -05:00
Rob Rix	71ca4fc147	Define leftLines in terms of unLeft.	2015-12-21 13:19:45 -05:00
Rob Rix	693028f70c	Define field accessors for the left & right lines in a Row.	2015-12-21 13:18:41 -05:00
Rob Rix	568df9937b	Define classify in terms of maybeLast.	2015-12-21 13:15:37 -05:00
Rob Rix	2c703b30e4	Remove the inner rowFromMaybeRows.	2015-12-21 13:12:35 -05:00
Rob Rix	ea161cdd4a	Generalize the other rowFromMaybeRows.	2015-12-21 13:11:01 -05:00
Rob Rix	b351f1b29d	Generalize rowFromMaybeRows.	2015-12-21 13:10:11 -05:00
Rob Rix	cbc1240946	Avoid needless $s.	2015-12-21 13:03:08 -05:00
Rob Rix	671904cf61	Remove redundant parentheses.	2015-12-21 13:01:46 -05:00
Rob Rix	c0a566be4a	Eta-reduce the definition of unchanged.	2015-12-21 13:01:38 -05:00
Rob Rix	3c85d4d0af	Use Data.Maybe’s isJust & isNothing to test for open elements.	2015-12-21 13:00:46 -05:00
Rob Rix	64362581c4	Rename adjoinBy → adjoinRowsBy.	2015-12-21 12:57:50 -05:00
Rob Rix	d4cfb276a4	Rename adjoin2By → adjoinBy.	2015-12-21 12:57:11 -05:00
Rob Rix	ed6d6fffa1	Rename adjoin2LinesBy → adjoinLinesBy.	2015-12-21 12:57:04 -05:00
Rob Rix	66376d202a	Tighten up the definition of childLines a little.	2015-12-21 12:50:58 -05:00
Rob Rix	cbf334481a	Rename lineElements to contextLines.	2015-12-21 12:48:54 -05:00
Rob Rix	3a159f1ae9	rewrapLineContentsIn does not classify terms.	2015-12-21 12:39:36 -05:00
Rob Rix	706e3c499a	Generalize numberRows.	2015-12-21 12:35:34 -05:00
Rob Rix	a4d30ec3ff	Add an openTerm function.	2015-12-21 12:34:21 -05:00
Rob Rix	7f1079e0ca	Document Range.	2015-12-21 12:23:21 -05:00
Rob Rix	1e2c1979ee	Document maybeLastIndex.	2015-12-21 12:22:52 -05:00
Rob Rix	e823fb6281	Add a maybeLastIndex function over Range. ... This is a better option than making Range Foldable at the moment.	2015-12-21 12:22:20 -05:00
Rob Rix	03fcd99579	Generalize maybeLast to arbitrary Foldable.	2015-12-21 11:50:49 -05:00
Rob Rix	0823ca7f69	Move starts/ends into the where clause.	2015-12-21 11:01:44 -05:00
Rob Rix	b8c21e96af	Apply all the linter feedback.	2015-12-21 10:16:42 -05:00
Rob Rix	5f01b38d53	Intercalate!	2015-12-21 10:15:26 -05:00
Rob Rix	058d8d89f9	Use logBase.	2015-12-21 10:14:12 -05:00
Rob Rix	3d17c9a8f0	Use an operator section to avoid some awkwardness.	2015-12-21 10:12:14 -05:00
Rob Rix	09fb6238c4	Remove isChanged.	2015-12-21 10:05:49 -05:00
Rob Rix	4b487669a9	Remove adjoin2.	2015-12-21 10:04:51 -05:00
Rob Rix	446383565c	Test adjoin2By.	2015-12-21 10:04:47 -05:00
Rob Rix	9ef0242ac8	Define annotatedToRows in terms of adjoin2By.	2015-12-21 10:04:02 -05:00
Rob Rix	c19dbc27b0	Remove adjoin2Lines.	2015-12-21 10:03:08 -05:00
Rob Rix	422dad44a9	Define termToLines in terms of adjoin2LinesBy.	2015-12-21 10:03:03 -05:00
Rob Rix	e92d4037fd	Remove openLine.	2015-12-21 10:01:03 -05:00
Rob Rix	9404ee75c3	Test openLineBy, not openLine.	2015-12-21 10:01:00 -05:00
Rob Rix	c9f13f2f41	Define the arbitrary instances for Row and Line in terms of an Arbitrary type a.	2015-12-21 09:58:20 -05:00
Rob Rix	3424df075a	Generalize Line and unLine over a.	2015-12-21 09:58:02 -05:00
Rob Rix	f714e83b62	Define adjoin2 in terms of its generalization over the selection of an open element.	2015-12-21 09:56:33 -05:00
Rob Rix	a9c744a54c	Eta-reduce the openLine definition.	2015-12-21 09:54:03 -05:00
Rob Rix	b8e843a505	Spacing.	2015-12-21 09:53:49 -05:00
Rob Rix	4c0b6e9636	Define adjoin2Lines in terms of adjoin2LinesBy.	2015-12-21 09:53:37 -05:00
Rob Rix	05785a0b06	Add a generalization of adjoin2Lines, parameterized by the selection of an open element.	2015-12-21 09:52:57 -05:00