66 Commits

Author	SHA1	Message	Date
joshvera	9d9fbe3c37	🔥 annotate and unfix	2016-05-26 14:46:13 -04:00
joshvera	aeb747179f	Remove Annotated	2016-05-26 14:05:25 -04:00
joshvera	b1f9cc4a4a	Remove DiffF type synonym	2016-05-26 13:46:33 -04:00
joshvera	473ec980b1	Merge remote-tracking branch 'origin/master' into diff-summaries	2016-05-26 13:40:54 -04:00
joshvera	8180b37285	Use Protolude via the Prologue module and add NoImplicitPrelude	2016-05-26 12:58:04 -04:00
joshvera	8be702f5e6	stub futu	2016-05-13 11:44:03 -04:00
joshvera	48c7498ce2	Define Term in terms of Cofree	2016-05-04 14:37:24 -04:00
joshvera	1914950bc1	Stub diffSummary'	2016-05-03 15:50:38 -04:00
joshvera	9f8fc439b3	typealias Annotated to CofreeF	2016-05-03 14:19:10 -04:00
joshvera	a789af8f31	Define Annotated in terms of CofreeF	2016-05-03 14:10:25 -04:00
Rob Rix	b3eb86a9e4	Correct the docs of diffCost.	2016-04-11 15:06:59 -04:00
Rob Rix	e8fbe8c789	Move Info into its own module.	2016-03-30 17:26:52 -04:00
Rob Rix	ff57f0db46	Rename the Annotated field accessors.	2016-03-02 11:52:20 -05:00
Rob Rix	e894d63a6c	Merge branch 'master' into forward-compatible-rendering ... # Conflicts: # src/DiffOutput.hs # src/Renderer/Split.hs # test/CorpusSpec.hs	2016-03-01 12:34:40 -05:00
Rob Rix	897e8255b4	Revert "Generic instances everywhere, why not." ... This reverts commit 82105fde6f9ccd06042d0f7ada88b2d0ee072069.	2016-02-29 21:48:58 -05:00
Rob Rix	d02f6484db	Generic instances everywhere, why not.	2016-02-29 20:38:41 -05:00
Rob Rix	c889174aee	Use Both to represent Diff annotations.	2016-02-29 10:12:34 -05:00
Rob Rix	93e44a3dc5	Sort some imports.	2016-02-29 10:04:59 -05:00
Rob Rix	13e3a0e3d1	Add record fields to Annotated.	2016-02-25 16:49:02 -07:00
Matt Diephouse	9601535555	By happy accident, we only need to delete this type	2016-02-05 13:48:30 -05:00
Matt Diephouse	170b7c6e1e	Rename Categorizable module to Category	2016-02-04 13:59:33 -05:00
Matt Diephouse	0ed87b80d4	Clarify the documentation for Annotated	2016-01-14 13:50:19 -05:00
Matt Diephouse	b05c9e2ca5	s/nodes/terms/	2016-01-14 13:47:56 -05:00
Matt Diephouse	bf86574fa6	Document declarations in Diff.hs	2016-01-14 12:30:21 -05:00
Rob Rix	745ee35816	Annotated is strict in its annotation and syntax..	2015-12-23 17:55:19 -05:00
Rob Rix	094fd90f91	Info is now strict.	2015-12-23 17:51:52 -05:00
Rob Rix	98bde6b555	Eta reduction.	2015-12-23 17:50:29 -05:00
Rob Rix	d30bc17c16	Remove redundant parentheses.	2015-12-23 17:50:26 -05:00
Rob Rix	077c8194b2	Spacing.	2015-12-23 17:49:59 -05:00
joshvera	e51492b8d5	Remove line range from Info	2015-12-14 15:52:39 -05:00
joshvera	2a063d3277	Move Range to a module	2015-12-02 21:40:34 -05:00
joshvera	1dd8d93ce1	use fromIntegral	2015-12-02 14:29:19 -05:00
Rob Rix	1b5f6b848d	stub line ranges in Info	2015-12-01 14:51:21 -05:00
Rob Rix	90b1cce022	Minimal summation of diffs.	2015-12-01 10:13:05 -05:00
Rob Rix	932e07d47d	Annotated is Foldable.	2015-12-01 10:12:52 -05:00
Rob Rix	7740654d68	diffCost sums term sizes.	2015-11-30 19:16:22 -05:00
Rob Rix	4c403422ce	Add a diffSum function.	2015-11-30 19:06:48 -05:00
Rob Rix	5aa8d4a3c0	Rename cost to diffCost.	2015-11-27 12:06:14 -05:00
Rob Rix	222aba8e46	Ranges have Int bounds.	2015-11-19 15:05:29 -08:00
Rob Rix	0c6ba1f3a6	Info uses the Category type.	2015-11-19 14:36:07 -08:00
Rob Rix	1394b60d2c	Add a Category type name.	2015-11-19 14:35:46 -08:00
Rob Rix	486f3a4732	Factor out a pattern match.	2015-11-19 12:20:57 -08:00
Rob Rix	0cced151ea	Remove some obsolete imports.	2015-11-19 12:13:45 -08:00
Rob Rix	4298956f37	Info is Categorizable.	2015-11-19 12:06:34 -08:00
Rob Rix	7138d9fb1b	Info has a Range and a set of categories.	2015-11-19 12:04:18 -08:00
Rob Rix	53b6c6846c	Ranges are equatable and showable.	2015-11-19 12:02:53 -08:00
Rob Rix	e6385e2832	Diffs are annotated.	2015-11-19 11:27:31 -08:00
Rob Rix	ee4da4218d	Add an Annotated syntax type.	2015-11-18 17:35:03 -08:00
Rob Rix	c595fda525	Ranges are bounded by integers.	2015-11-18 17:35:03 -08:00
Rob Rix	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00