98 Commits

Author	SHA1	Message	Date
Rob Rix	8cbb69fa97	Rename the Syntax piecewise JSON functions after the type parameters (mostly).	2015-10-22 10:47:48 -04:00
Rob Rix	40fe88b4a4	Rename the Syntax piecewise equality functions after the type parameters (mostly).	2015-10-22 10:46:51 -04:00
Rob Rix	0a28a390b7	Remove SyntaxConvertible.	2015-10-22 10:40:08 -04:00
Rob Rix	234c7f59bd	Rename more typealiases to drop the Type suffix.	2015-10-22 10:18:27 -04:00
Rob Rix	c8ff886df6	Merge branch 'master' into output-source-range-annotations-to-json ... Conflicts: .gitmodules	2015-10-19 15:16:22 -04:00
Rob Rix	f1407d7110	Remove a redundant lazy. ... `Dictionary.keys` is already lazy.	2015-10-19 12:29:12 -04:00
Rob Rix	e4a0fa0654	Compare _sets_ of keys.	2015-10-19 12:10:31 -04:00
Rob Rix	c058e81183	Syntax’s JSON parameter functions do not escape.	2015-10-16 11:09:07 -04:00
Rob Rix	f30d2d609a	Remove Syntax hashing.	2015-10-15 09:43:51 -04:00
Rob Rix	31eb3f2b4a	Syntax is no longer CustomDocConvertible.	2015-10-15 08:53:46 -04:00
Rob Rix	86df4c6a87	Syntax is DictionaryLiteralConvertible.	2015-10-14 16:03:14 -04:00
Rob Rix	76ca906097	Syntax is ArrayLiteralConvertible.	2015-10-14 16:02:33 -04:00
Rob Rix	67d861839f	SyntaxConvertible extension methods are public.	2015-10-09 18:07:31 -04:00
Rob Rix	30d594b4a3	SyntaxConvertible types can be constructed with shorthands.	2015-10-09 18:02:25 -04:00
Rob Rix	cdc1fbb99a	Add a protocol for Syntax wrapper construction.	2015-10-09 18:02:11 -04:00
Rob Rix	bf4abc5eaa	Infer the scope in Syntax.JSON.	2015-10-09 08:44:16 -04:00
Rob Rix	ef01e25d47	Change Syntax’s JSON heading.	2015-10-09 08:40:57 -04:00
Rob Rix	44d2804367	Parametric JSON conversion for Syntax.	2015-10-08 07:19:37 -04:00
Rob Rix	f512e665ef	Section header for hashing.	2015-10-08 07:15:52 -04:00
Rob Rix	3787f735fb	Don’t add spaces after separators.	2015-10-07 17:42:43 -04:00
Rob Rix	cb33717fb9	🔥 Syntax.reduce.	2015-10-06 12:17:51 -04:00
Rob Rix	69b8028750	🔥 Term.swift.	2015-10-06 12:17:38 -04:00
Rob Rix	b910fdba46	Section header for Syntax.map.	2015-10-06 11:08:39 -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	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	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	05a7c1a037	Remove Syntax.Empty.	2015-10-02 12:37:09 -04:00
Rob Rix	6eb840f795	Remove the Tree constructor wrappers.	2015-10-02 12:31:19 -04:00
Rob Rix	49721679b6	Move Term equality into its file.	2015-10-01 15:26:15 -04:00
Rob Rix	906e502def	Move Syntax equality into its file.	2015-10-01 15:25:49 -04:00
Rob Rix	4823a47f23	Rephrase parameterized equality as a static function.	2015-10-01 15:25:14 -04:00
Rob Rix	bba8dacbc4	Some documentation comments.	2015-10-01 14:25:17 -04:00
Rob Rix	8961ee9168	Branch has only one child.	2015-10-01 14:08:13 -04:00
Rob Rix	533e4578ea	Comma-separate.	2015-10-01 14:01:19 -04:00
Rob Rix	dda95ed386	Require Term’s leaf type to be Equatable. ... This is a bit of a hack.	2015-10-01 13:52:32 -04:00
Rob Rix	fae5fc5123	Correct Syntax.hash() to refer to Ordered.	2015-10-01 10:33:47 -04:00
Rob Rix	0013475516	Terms of Hashable leaf type can be hashed.	2015-10-01 09:54:44 -04:00
Rob Rix	c698280fc2	Pass the hashing function for the Recur type in.	2015-10-01 09:53:30 -04:00
Rob Rix	f3122f1bae	Move JSON construction of Term into doubt-swift.	2015-09-30 15:08:19 -04:00
Rob Rix	d7a8c64806	Abbreviate the properties.	2015-09-30 15:03:42 -04:00
Rob Rix	82720340ef	Wrap with Term().	2015-09-30 15:03:37 -04:00
Rob Rix	d8c718130b	Lose an annotation.	2015-09-30 15:03:30 -04:00