1034 Commits

Author	SHA1	Message	Date
Rob Rix	825eaa5ac3	Rename the constructor label.	2015-11-05 12:06:04 -05:00
Rob Rix	c8576dcb88	Rename the private _down var too.	2015-11-05 12:05:43 -05:00
Rob Rix	9151d02655	Rename down to into.	2015-11-05 12:05:28 -05:00
Rob Rix	336c2b87b2	Pass updates to keyed collections along correctly.	2015-11-05 11:45:53 -05:00
Rob Rix	917a49c520	Pass updates to collections along correctly.	2015-11-05 11:45:46 -05:00
Rob Rix	59e02988f0	Remove the obsolete unary/binary/ternary constructors.	2015-11-05 11:42:55 -05:00
Rob Rix	65c86a94d8	Use the variadic constructor for the fixed conveniences.	2015-11-05 11:42:33 -05:00
Rob Rix	db616e1dfe	Correct the index semantics for keyed explorations.	2015-11-05 11:31:21 -05:00
Rob Rix	deb3745613	Correct the index updated vs. the index moved to.	2015-11-05 11:29:29 -05:00
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