177 Commits

Author	SHA1	Message	Date
Rob Rix	df23b3af23	Diffing empty lists produces an empty diff.	2015-11-30 16:19:34 -05:00
Rob Rix	e4c7ce28c0	Remove needless parens.	2015-11-30 16:17:37 -05:00
Rob Rix	4a3c63473e	Import Map qualified.	2015-11-30 16:17:24 -05:00
Rob Rix	efee13fd63	Stub in a diffAt function.	2015-11-30 16:02:37 -05:00
Rob Rix	c520a03f7b	Correct the sense of categories comparing.	2015-11-27 14:49:51 -05:00
Rob Rix	defce6edbf	Doc comments 🎩 @joshvera	2015-11-27 12:19:24 -05:00
Rob Rix	a2c994b573	Avoid some other shadowing.	2015-11-27 12:12:49 -05:00
Rob Rix	332f4c2ef2	Factor out the annotations.	2015-11-27 12:10:16 -05:00
Rob Rix	60961da561	We don’t use unwrap and we would otherwise shadow it.	2015-11-27 12:07:04 -05:00
Rob Rix	5aa8d4a3c0	Rename cost to diffCost.	2015-11-27 12:06:14 -05:00
Rob Rix	2e307510b2	Don’t shadow the head function.	2015-11-27 12:03:48 -05:00
Rob Rix	dcd3fbdf8e	We don’t need this import.	2015-11-27 12:03:19 -05:00
Rob Rix	4467b4444e	Don’t shadow.	2015-11-27 12:02:28 -05:00
Rob Rix	2c241e8ad8	Move the Categorizable instance.	2015-11-27 12:02:15 -05:00
Rob Rix	f89e05b702	We don’t use this.	2015-11-27 11:58:20 -05:00
Josh Vera	69a0d33ffe	Merge pull request #249 from github/sunshine-lollipops-and-rainbows-everywhere ... Sunshine lollipops and rainbows everywhere	2015-11-27 11:50:47 -05:00
Rob Rix	95750ea60d	Use the factored-out annotations.	2015-11-27 11:46:25 -05:00
Rob Rix	f4c73cb3f7	Extract the annotation of Free terms.	2015-11-27 11:46:12 -05:00
Rob Rix	b814e3c068	Merge branch 'master' into apply-review-feedback	2015-11-27 11:42:10 -05:00
Rob Rix	bb9bf71d17	Merge branch 'master' into sunshine-lollipops-and-rainbows-everywhere ... # Conflicts: # semantic-diff.cabal	2015-11-27 11:36:18 -05:00
Rob Rix	99e383a644	Move Console and Unified into the exe.	2015-11-27 10:14:12 -05:00
Rob Rix	45a865698b	Explicitly error if maybeInterpret’s assumptions are violated.	2015-11-27 10:04:53 -05:00
Rob Rix	edfc082a36	Single-line formatting.	2015-11-27 09:55:29 -05:00
Rob Rix	fe07b475e4	Use fromMaybe to unpack with a default value. ... I was looking for exactly this! Very nice.	2015-11-27 09:53:37 -05:00
Rob Rix	982fe363d8	Sort imports.	2015-11-27 09:51:59 -05:00
Rob Rix	3be2d11b13	Remove the delete/insert costs.	2015-11-27 09:49:51 -05:00
Rob Rix	062d54d731	Use a better name for the argument to sum.	2015-11-27 09:49:32 -05:00
Rob Rix	53e3928b3d	Don’t close over the head of the list.	2015-11-27 09:46:51 -05:00
Rob Rix	1808f61221	Remove copyCost.	2015-11-27 09:46:38 -05:00
Rob Rix	3a52a5c2b6	Use minimumBy to implement the insert/delete choice too.	2015-11-27 09:45:23 -05:00
Rob Rix	63e3252129	Use minimumBy to implement the SES choice.	2015-11-27 09:44:49 -05:00
Rob Rix	ab05599dab	Sort imports.	2015-11-27 09:44:29 -05:00
Rob Rix	05fa421642	Document Syntax.	2015-11-27 09:41:43 -05:00
Rob Rix	df7d79bc62	This is also a Term.	2015-11-27 09:31:56 -05:00
Rob Rix	13edc3c832	Derive a Traversable instance for Syntax.	2015-11-25 10:58:47 -05:00
Rob Rix	abf8c693b3	Derive a Foldable instance for Syntax.	2015-11-25 10:58:02 -05:00
Rob Rix	d51c6ba618	s/recur/diffTerms/	2015-11-25 09:40:45 -05:00
Rob Rix	9c4521bd0e	Style insertions and deletions.	2015-11-20 08:06:44 -08:00
Rob Rix	5617cceee2	Format strings with attributes.	2015-11-19 23:07:43 -08:00
Rob Rix	f0286335fb	Add an Attribute type with colour & style fields.	2015-11-19 21:43:19 -08:00
Rob Rix	dbaf71233b	Style is an Enum.	2015-11-19 18:02:21 -08:00
Rob Rix	e9174bda71	Style is Bounded.	2015-11-19 18:02:11 -08:00
Rob Rix	38610c8336	Add Style.	2015-11-19 18:02:02 -08:00
Rob Rix	8318a8aa89	Colour is an Enum.	2015-11-19 18:01:56 -08:00
Rob Rix	0b0d8097fb	Colour is Bounded.	2015-11-19 18:01:50 -08:00
Rob Rix	92a5eb1688	Add a Colour type.	2015-11-19 18:00:03 -08:00
Rob Rix	09cda9d15f	Stub in a Console module.	2015-11-19 17:39:21 -08:00
Rob Rix	678c61f5b0	Only render unified.	2015-11-19 17:38:21 -08:00
Rob Rix	54e3ac9ce9	Render the after state of patches.	2015-11-19 17:37:45 -08:00
Rob Rix	55d9cfb129	Unified rendering of patches.	2015-11-19 17:36:59 -08:00