34 Commits

Author	SHA1	Message	Date
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
Rob Rix	5438acf1fb	Add Algorithm.	2015-11-17 16:24:01 -08:00
Rob Rix	aba1b31625	Add an Algorithm file.	2015-11-17 16:20:52 -08:00