384 Commits

Author	SHA1	Message	Date
Rob Rix	f9dcf9569c	The Recursive case contains two Terms, not one.	2015-10-02 17:32:25 -04:00
Rob Rix	b30aa91502	Algorithm is public.	2015-10-02 17:30:09 -04:00
Rob Rix	1b13580eb3	Document the Recursive case.	2015-10-02 17:29:13 -04:00
Rob Rix	bbd41b209d	Doc comments for the Term and Diff typealiases.	2015-10-02 17:25:52 -04:00
Rob Rix	f26d4349c7	Documentation comment for the Algorithm type.	2015-10-02 17:25:40 -04:00
Rob Rix	8da57b5e78	Stub in the language of diffing algorithms.	2015-10-02 17:21:51 -04:00
Rob Rix	20bea59868	Add a Keyed case to Syntax.	2015-10-02 17:18:38 -04:00
Rob Rix	6657c5c0a5	Fix the debug description.	2015-10-02 17:13:27 -04:00
Rob Rix	7c69de54bc	Rename Branch to Indexed.	2015-10-02 17:12:49 -04:00
Rob Rix	395fa8446f	Note my keen desire to 🔥 Syntax.reduce forever.	2015-10-02 17:11:35 -04:00
Rob Rix	5ff17c8fc0	Syntax.Branch holds an array again.	2015-10-02 17:11:02 -04:00
Rob Rix	ebb3f1350f	Conveniences for constructing insertions & deletions.	2015-10-02 16:53:43 -04:00
Rob Rix	ae7f30e922	Parameterized Patch hashing.	2015-10-02 16:50:59 -04:00
Rob Rix	ca6392e636	Parameterized Patch equality.	2015-10-02 16:49:04 -04:00
Rob Rix	9a19d477df	Parameterized Optional equality.	2015-10-02 16:48:44 -04:00
Rob Rix	40291e2715	Move the function composition operator into the Operators file.	2015-10-02 16:42:42 -04:00
Rob Rix	089bd51fb3	Rename the property.	2015-10-02 16:38:21 -04:00
Rob Rix	48c2112124	Add a property destructuring Patches.	2015-10-02 16:38:02 -04:00
Rob Rix	0c4fe23e78	Doc comment for Patch.	2015-10-02 16:36:05 -04:00
Rob Rix	5c10f5ccc9	Stub in Patch.	2015-10-02 16:34:00 -04:00
Rob Rix	76441c3775	Fix implements hash where A is Hashable.	2015-10-02 16:31:49 -04:00
Rob Rix	bccc09d39b	Fix hashing.	2015-10-02 16:31:10 -04:00
Rob Rix	96e5cd0e7a	Abbreviate Fix equality.	2015-10-02 16:28:57 -04:00
Rob Rix	277757e3a2	Free implements hash when A and B are Hashable.	2015-10-02 16:27:44 -04:00
Rob Rix	e4d0a41093	Express flatMap with analysis.	2015-10-02 14:36:01 -04:00
Rob Rix	b4479e3854	Express map with analysis.	2015-10-02 14:35:18 -04:00
Rob Rix	2b5b85e0b4	Define Free hashing.	2015-10-02 14:35:07 -04:00
Rob Rix	f14433871b	Parameterize by leaf hashing.	2015-10-02 14:33:41 -04:00
Rob Rix	3d40071b44	Give the hash parameter an external label.	2015-10-02 14:32:35 -04:00
Rob Rix	334bb3017e	The roll function doesn’t escape.	2015-10-02 14:29:45 -04:00
Rob Rix	7d49895796	Section headers for functor/monad instances.	2015-10-02 14:27:37 -04:00
Rob Rix	7e00f9297e	Implement case analysis for Free.	2015-10-02 14:26:53 -04:00
Rob Rix	de2dcf4bf4	== over Free.	2015-10-02 14:18:43 -04:00
Rob Rix	a0e77e2495	== over Fix.	2015-10-02 14:17:59 -04:00
Rob Rix	bc857f810b	Fix Equality.	2015-10-02 14:17:25 -04:00
Rob Rix	87994c824f	Free Equality.	2015-10-02 14:15:17 -04:00
Rob Rix	43bdcd45c9	Parameterize Syntax equality by leaf type equality.	2015-10-02 14:15:13 -04:00
Rob Rix	296dbeea8f	Add a section mark for Syntax equality.	2015-10-02 14:12:54 -04:00
Rob Rix	6d5fd97552	Add an external label for recurrence equality.	2015-10-02 14:12:46 -04:00
Rob Rix	45a7e372b5	Rename the recur parameter.	2015-10-02 14:12:19 -04:00
Rob Rix	f8c37695ae	Document Fix’s case.	2015-10-02 14:08:03 -04:00
Rob Rix	b2219feed7	Document Free’s cases.	2015-10-02 14:07:29 -04:00
Rob Rix	0a64dc8741	Free is indeed a Monad.	2015-10-02 14:03:34 -04:00
Rob Rix	97686157f3	Free is a Functor.	2015-10-02 13:59:55 -04:00
Rob Rix	e63ccff83f	Documentation for Free.	2015-10-02 13:54:39 -04:00
Rob Rix	ad3d4b6c3f	Backticks around types.	2015-10-02 13:54:34 -04:00
Rob Rix	0ff70be000	Stub in Free.	2015-10-02 13:43:43 -04:00
Rob Rix	da3c1041e0	Fix is public.	2015-10-02 13:42:55 -04:00
Rob Rix	bf75fcab61	Add Fix, the fixpoint of Syntax.	2015-10-02 13:21:43 -04:00
Rob Rix	cfb8cb92b9	Merge branch 'master' into optional-instead-of-empty	2015-10-02 13:06:42 -04:00