101 Commits

Author	SHA1	Message	Date
Rob Rix	ab4ec9e0aa	Add a root parser taking multiple sexprs.	2015-09-18 16:36:14 -04:00
Rob Rix	ca5298da88	Test that empty branches can be produced.	2015-09-18 16:32:07 -04:00
Rob Rix	8b1afceaad	Atoms are equatable.	2015-09-18 16:31:54 -04:00
Rob Rix	dfde9f26b9	Prioritize key/value pairs ahead of atoms.	2015-09-18 16:31:47 -04:00
Rob Rix	b71b40bf6f	Atoms must be one or more character.	2015-09-18 16:31:25 -04:00
Rob Rix	654492158a	Symbol nodes can be equated.	2015-09-18 16:31:05 -04:00
Rob Rix	04a207f71b	Parse symbols.	2015-09-18 16:03:58 -04:00
Rob Rix	4b3ea05f8e	This is just the worst test of alphabetic characters I can imagine.	2015-09-18 16:02:41 -04:00
Rob Rix	bcec39379d	Allow atoms to occur in branches.	2015-09-18 15:58:01 -04:00
Rob Rix	b80e8cb527	Extract a parser for atoms.	2015-09-18 15:56:53 -04:00
Rob Rix	3b6838097f	Test branch parsing.	2015-09-18 15:44:11 -04:00
Rob Rix	23f8a99867	S-expression parsing includes branches and key/value pairs.	2015-09-18 15:43:23 -04:00
Rob Rix	b5cdad9f32	Remove a bogus space.	2015-09-18 15:43:04 -04:00
Rob Rix	4f1181c51e	Add a delay combinator.	2015-09-18 15:42:53 -04:00
Rob Rix	abb63b7c4d	Words can contain _.	2015-09-18 15:38:05 -04:00
Rob Rix	a918261abc	Use concat.	2015-09-18 15:37:53 -04:00
Rob Rix	08d07baef7	Allow values to be quoted or non-ws strings.	2015-09-18 15:08:37 -04:00
Rob Rix	73da6e2d32	No zero-width matches from not.	2015-09-18 15:08:24 -04:00
Rob Rix	c46c35157a	Values can be quoted.	2015-09-18 15:04:04 -04:00
Rob Rix	fbcd667a4c	Full parser.	2015-09-18 15:03:50 -04:00
Rob Rix	37612e763a	Combinator which matches a character when its argument does not.	2015-09-18 15:03:42 -04:00
Rob Rix	0224ccc5c7	Move never in with the other parsers.	2015-09-18 13:53:12 -04:00
Rob Rix	56c139cd0b	Test that the key value parser accepts alphabetic keys & values.	2015-09-18 13:46:52 -04:00
Rob Rix	c92dbc446b	The Swift AST is Equatable.	2015-09-18 13:45:47 -04:00
Rob Rix	2edb3b60f1	Move all the parsers into Swift.Parsers.	2015-09-18 13:43:25 -04:00
Rob Rix	cce9fe71b8	Whitespace has some places it can be.	2015-09-18 13:43:08 -04:00
Rob Rix	8191905eaf	Add a simple tree type representing Swift AST.	2015-09-18 13:39:28 -04:00
Rob Rix	079518a3f4	Add words.	2015-09-18 13:39:08 -04:00
Rob Rix	ec19009614	Move the S-expression parser into the library.	2015-09-18 11:24:05 -04:00
Rob Rix	8cdb91b5c4	Remove the lambda calculus parser.	2015-09-18 11:23:47 -04:00
Rob Rix	29cc2ed663	Character class from sequences of characters.	2015-09-18 11:23:05 -04:00
Rob Rix	3317e8778b	Doubt is testable.	2015-09-18 11:19:12 -04:00
Rob Rix	5c7132a3bd	Rename Fix to Term.	2015-09-18 10:12:34 -04:00
Rob Rix	70d55b81dd	Full SES.	2015-09-17 15:57:04 -04:00
Rob Rix	318d8f2ea9	Test SES inserting/deleting in the middle.	2015-09-17 15:56:53 -04:00
Rob Rix	3885572e72	Test SES deleting at head.	2015-09-17 15:56:01 -04:00
Rob Rix	8c642c6f94	Test SES inserting at head.	2015-09-17 15:55:30 -04:00
Rob Rix	1fd445c1ef	min-with-comparator.	2015-09-17 15:55:11 -04:00
Rob Rix	6e3d6a2209	Construct diffs from terms.	2015-09-17 15:55:01 -04:00
Rob Rix	8a4a205055	Recursive implementation.	2015-09-17 15:12:49 -04:00
Rob Rix	afab45e68a	Stream is a monad.	2015-09-17 14:36:40 -04:00
Rob Rix	128361bbe8	Memo is a monad.	2015-09-17 14:36:34 -04:00
Rob Rix	afaa68b1e0	Add a concat overload over Memo<Stream>.	2015-09-17 14:34:39 -04:00
Rob Rix	25a88b3c69	const.	2015-09-17 14:34:26 -04:00
Rob Rix	3187d564e1	Abbreviate Stream.concat.	2015-09-17 14:30:49 -04:00
Rob Rix	e99c67ad42	Abbreviate Stream.map.	2015-09-17 14:30:41 -04:00
Rob Rix	e118119dd3	Align with the types.	2015-09-17 14:27:52 -04:00
Rob Rix	87e4d6ccfc	map using analysis to work around a compiler crash.	2015-09-17 14:26:59 -04:00
Rob Rix	ab6cb6c67b	Stream.rest does not force.	2015-09-17 14:26:25 -04:00
Rob Rix	d62d4a33bb	Don’t switch in uncons.	2015-09-17 14:23:51 -04:00