1025 Commits

Author	SHA1	Message	Date
Rob Rix	4d867db4c4	Cofree can be explored.	2015-11-05 10:45:21 -05:00
Rob Rix	224f636f9b	Remove a bogus default case.	2015-11-05 10:34:27 -05:00
Rob Rix	c6baaf677d	Explore Keyed nodes.	2015-11-05 10:33:54 -05:00
Rob Rix	e6429cee40	Convenience helper for keyed locations.	2015-11-05 10:33:49 -05:00
Rob Rix	ccbb3f1bb4	Constructor for keyed locations.	2015-11-05 10:33:43 -05:00
Rob Rix	703db77789	Generalize the helper method to arbitrary mutable collection types.	2015-11-04 16:57:03 -05:00
Rob Rix	50518da5e1	Generalize the variadic constructor to arbitrary mutable collections.	2015-11-04 16:47:39 -05:00
Rob Rix	ad0dffe20c	Explore Fixed terms in diffs.	2015-11-04 16:34:47 -05:00
Rob Rix	51166a0e0f	Explore Indexed terms in diffs.	2015-11-04 16:34:37 -05:00
Rob Rix	51293d2202	Variadic branch convenience constructor.	2015-11-04 16:34:20 -05:00
Rob Rix	bac71d1f24	Construct Location over variadic branches.	2015-11-04 16:34:03 -05:00
Rob Rix	80a29789ad	Patches & leaves are nullary.	2015-11-04 16:22:42 -05:00
Rob Rix	29645e0d99	Stub in Free.explore()	2015-11-04 16:22:29 -05:00
Rob Rix	d362c1b26f	Formatting.	2015-11-04 16:15:26 -05:00
Rob Rix	63aaa39ba4	The private properties are implementation details.	2015-11-04 16:14:43 -05:00
Rob Rix	c1f3b5e01f	Reference the specific section of Weaving a Web implemented.	2015-11-04 12:50:34 -05:00
Rob Rix	31dd09a080	Document Location.	2015-11-04 12:43:50 -05:00
Rob Rix	920c08c80e	Document a couple of fields.	2015-11-04 12:43:46 -05:00
Rob Rix	d29277a60a	Correct a couple of comments.	2015-11-04 12:43:37 -05:00
Rob Rix	03def65a8e	Add Location.	2015-11-04 12:11:18 -05:00
Rob Rix	1b8e5850f5	Move preconditions into where clauses.	2015-11-03 11:28:52 -05:00
Rob Rix	cd720b79de	Fuse Keyed equality in Syntax.equals.	2015-11-03 11:27:54 -05:00
Rob Rix	ae27114f33	Fuse Fixed equality in Syntax.equals.	2015-11-03 11:26:56 -05:00
Rob Rix	127c3b5d75	Fuse Indexed equality in Syntax.equals.	2015-11-03 11:26:48 -05:00
Rob Rix	a372b7aaaf	Remove Free.analysis.	2015-11-03 11:21:41 -05:00
Rob Rix	db7c1dc1ef	Switch in Free.JSON directly.	2015-11-03 11:21:16 -05:00
Rob Rix	4f16ce62c3	Switch in Free.map directly.	2015-11-03 11:19:33 -05:00
Rob Rix	02af784036	Nothing ever flat maps a Free.	2015-11-03 11:18:13 -05:00
Rob Rix	4169d8d554	Switch in Free.cata directly.	2015-11-03 11:17:41 -05:00
Rob Rix	13c37a1178	Nothing ever maps an Algorithm either.	2015-11-03 11:15:33 -05:00
Rob Rix	45ecdde53a	Remove Algorithm.analysis.	2015-11-03 11:15:01 -05:00
Rob Rix	90cd2ee2d7	Nothing ever flat maps an Algorithm.	2015-11-03 11:13:59 -05:00
Rob Rix	c15c2715f5	Rewrite annotating hylo without composition.	2015-11-03 11:04:04 -05:00
Rob Rix	b6436e91f6	Rewrite hylo without composition.	2015-11-03 11:03:57 -05:00
Rob Rix	022de3c657	TermType.para rethrows errors.	2015-11-03 10:40:19 -05:00
Rob Rix	196ab28c13	TermType.cata rethrows errors.	2015-11-03 10:40:12 -05:00
Rob Rix	2a102aad02	Fix a doc comment.	2015-11-03 10:39:59 -05:00
Rob Rix	1442bc6cf7	CofreeType.cata rethrows errors.	2015-11-03 10:39:42 -05:00
Rob Rix	e4e57932cf	Remove unused operators.	2015-11-03 10:38:18 -05:00
Rob Rix	ae5b50bcdf	CofreeType.cata’s transformation block receives the annotation.	2015-11-02 17:22:24 -05:00
Rob Rix	ed9ca09909	Duplicate cata for CofreeType.	2015-11-02 17:20:42 -05:00
Rob Rix	4f03d5355b	🔥 Free.para.	2015-11-02 17:18:56 -05:00
Rob Rix	3fbfeccce9	Free.para’s transformation function receives the annotation.	2015-11-02 15:12:27 -05:00
Rob Rix	aa815e8010	Free.cata’s transformation function receives the annotation.	2015-11-02 15:09:53 -05:00
Rob Rix	5aef08e4c5	Paramorphism over Free.	2015-11-02 14:33:02 -05:00
Rob Rix	ff760d67b3	Remove the Term/Diff typealiases.	2015-10-30 14:57:33 -04:00
Rob Rix	8fadcd3d95	JSONLeaf doesn’t need to import Foundation.	2015-10-30 14:57:10 -04:00
Rob Rix	9f9b7e1517	JSONLeaf is Categorizable.	2015-10-30 14:54:18 -04:00
Rob Rix	73f094cc29	Document the early return.	2015-10-29 13:16:16 -04:00
Rob Rix	17d0582331	Short-circuit cost computations for equal terms. ... This is an optimization for SES allowing it to short-circuit cost computations when it encounters equal terms.	2015-10-29 11:23:25 -04:00