81 Commits

Author	SHA1	Message	Date
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
Rob Rix	2d0991b91f	Abstract Term over a type parameter A.	2015-09-30 14:42:58 -04:00
Rob Rix	92d844f416	Extract the exception-for-control-flow ErrorType to global scope.	2015-09-30 14:40:30 -04:00
Rob Rix	88b677e1e0	Parameterize the type of Leaf.	2015-09-30 12:41:20 -04:00
Rob Rix	5529a502e3	Require Recur to be Hashable.	2015-09-30 12:40:49 -04:00
Rob Rix	de3ef64f48	Map using Hash.init.	2015-09-30 12:40:36 -04:00
Rob Rix	5fa07014a6	Replace all the other nodes with Branch.	2015-09-30 11:42:41 -04:00
Rob Rix	66b225fce3	Replace Case with a constructor.	2015-09-30 10:44:48 -04:00
Rob Rix	b581b8b71d	Rename String to Label.	2015-09-30 10:42:27 -04:00
Rob Rix	66141c95af	Replace Literal/Variable with Leaf.	2015-09-30 10:36:25 -04:00
Rob Rix	1f253f4e12	Add a phantom type parameter to Syntax.	2015-09-30 10:31:48 -04:00
Rob Rix	308f81853d	Rename the Payload type to Recur.	2015-09-30 10:29:38 -04:00
Rob Rix	4348604e66	Remove the typealias.	2015-09-30 10:29:32 -04:00
Rob Rix	31d35c854b	Term is AlgebraicHashable.	2015-09-29 17:03:18 -04:00
Rob Rix	586def93cd	Syntax<A: AlgebraicHashable> implements hash.	2015-09-29 17:03:11 -04:00
Rob Rix	7925347d21	Debug print abstraction bodies correctly.	2015-09-29 17:02:57 -04:00
Rob Rix	50e8223f18	Whitespaaaace.	2015-09-29 12:49:19 -04:00
Rob Rix	c3e8d9a801	Remove Term.Empty.	2015-09-29 12:48:53 -04:00