52 Commits

Author	SHA1	Message	Date
Rick Winfrey	dc0d6ed90b	Fix typo	2017-07-20 17:34:19 -07:00
Rick Winfrey	e1460fadc1	Clarify "rest" in terms of Union	2017-07-20 17:25:27 -07:00
Rick Winfrey	74c6714be1	📝 the Diffable instances	2017-07-20 17:21:20 -07:00
Rick Winfrey	c8da38ddc2	Add Diffable class and instances	2017-07-20 14:15:01 -07:00
Rob Rix	22a69851f0	Define a Show1 instance for AlgorithmF.	2017-06-13 14:49:22 -04:00
Rob Rix	45406c5c81	Define a combinator for diffing in Maybe.	2017-05-03 16:56:15 -04:00
Rob Rix	2f73758dfe	Define Algorithm as the Freer monad of AlgorithmF.	2017-02-24 13:28:44 -05:00
Rob Rix	0485a9bfc7	📝 diffThese.	2017-02-23 12:30:26 -05:00
Rob Rix	27ff7ee9ca	Define a smart constructor to diff a These of terms.	2017-02-23 12:25:45 -05:00
Rob Rix	0cfab0205f	Define a constructor for top-level, unconstrained diffs.	2017-02-23 12:24:31 -05:00
Rob Rix	e7cc5a9c6e	Merge branch '🔥-cost' into interpreter-decomposition	2017-02-21 15:35:41 -05:00
Rob Rix	cc776a2f6d	🔥 SES algorithms.	2017-02-21 14:35:22 -05:00
Rob Rix	691f7cfebf	Correct the docs for the smart constructors.	2017-02-21 14:03:57 -05:00
Rob Rix	9cf6b262eb	Add Delete, Insert, and Replace algorithms.	2017-02-21 11:40:13 -05:00
Rob Rix	e33eaccc79	Correct the docs for the smart constructors.	2017-02-21 11:39:41 -05:00
Rob Rix	9b3d8a4949	Replace the old iterAp with the one taking a continuation.	2017-02-21 10:53:20 -05:00
Rob Rix	b5d6b4dbce	📝 iterAp'.	2017-02-21 10:47:06 -05:00
Rob Rix	687c7c5ea1	Rename the Algorithm constructors to reflect the algorithms performed.	2017-02-21 10:46:19 -05:00
Rob Rix	ddca615e65	Define an iterator which does not require a Functor instance.	2017-02-21 10:44:48 -05:00
Rob Rix	6f30690b71	Document time complexity.	2017-02-21 10:38:10 -05:00
Rob Rix	984be76b0f	Better docs for the AlgorithmF constructors.	2017-02-21 10:29:02 -05:00
Rob Rix	303ba57d27	Tidy up the AlgorithmF docs.	2017-02-21 10:26:27 -05:00
Rob Rix	f79adf7493	Express AlgorithmF as a GADT.	2017-02-21 10:25:25 -05:00
Rob Rix	95490d7ff9	Rename wrapped to underlying.	2016-09-25 17:10:14 +09:00
Rob Rix	64b491345e	Rephrase in terms of Applicative primitives.	2016-09-25 17:08:40 +09:00
Rob Rix	ee80e76c1d	Use & instead of flipping $.	2016-09-25 17:06:00 +09:00
Rob Rix	853bf4352f	Rename the fields in Ap.	2016-09-25 16:25:06 +09:00
Rob Rix	6d44a9f891	fmap infix.	2016-09-25 16:23:31 +09:00
Rob Rix	217f51df73	📝 iterAp.	2016-09-25 16:22:14 +09:00
Rob Rix	9e026bbe71	Rename iter to iterAp.	2016-09-25 16:21:40 +09:00
Rob Rix	66142c7281	Correct the documentation for Algorithm.	2016-09-25 15:50:49 +09:00
Rob Rix	1edde9c593	Construct algorithms in a free Applicative.	2016-09-25 15:27:59 +09:00
Rob Rix	e0da05538e	Haddock-friendly 📝 of AlgorithmF.	2016-08-04 12:31:18 -04:00
Rob Rix	49d0fa7980	Correct the 📝 of Algorithm.	2016-08-04 12:10:19 -04:00
Rob Rix	e23b78f1bc	Section header for the DSL.	2016-08-04 12:08:34 -04:00
Rob Rix	e1bb2297af	📝 the Algorithm DSL.	2016-08-04 12:08:18 -04:00
Rob Rix	b4683ffc4f	📝 BySimilarity.	2016-08-04 12:07:24 -04:00
Rob Rix	dfd807c945	Clarify the 📝 for ByIndex.	2016-08-04 12:07:19 -04:00
Rob Rix	494274315d	Rename ByRandomWalkSimilarity to BySimilarity.	2016-08-04 12:06:15 -04:00
Rob Rix	7a2c4ed783	Generalize the Algorithm DSL over the term & diff types.	2016-08-04 11:06:19 -04:00
Rob Rix	10e38a8895	Algorithm is defined in the Church encoded free monad.	2016-08-03 19:50:16 -04:00
Rob Rix	fb8d95203f	Replace the type parameters to AlgorithmF.	2016-08-03 18:43:36 -04:00
Rob Rix	6694b80082	Add a smart constructor for RWS diffs.	2016-08-03 18:40:17 -04:00
Rob Rix	1835308f7e	Add a smart constructor for Indexed algorithms.	2016-08-03 18:38:35 -04:00
Rob Rix	d7ab1d017e	🔥 a redundant comment.	2016-08-03 18:17:23 -04:00
Rob Rix	f6c8cd81da	Add a smart constructor for Recursive operations.	2016-08-03 18:15:18 -04:00
Rob Rix	8008be776e	Define Algorithm over AlgorithmF.	2016-08-03 18:12:31 -04:00
joshvera	48c7498ce2	Define Term in terms of Cofree	2016-05-04 14:37:24 -04:00
Matt Diephouse	0ee81bd20f	Document Algorithm.hs	2016-02-03 10:28:44 -05:00
Rob Rix	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00