3469 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	62815448c1	Use OrderedMap everywhere.	2015-12-14 17:12:47 -05:00
Rob Rix	8819f02306	Add a difference binding.	2015-12-14 17:07:07 -05:00
Rob Rix	92a28ad38a	Fix inverted semantics of union.	2015-12-14 17:06:14 -05:00
Rob Rix	1e7dc0ff98	Define intersectionWith.	2015-12-14 17:00:30 -05:00
Rob Rix	e7175b524a	We already have a function for that.	2015-12-14 16:37:39 -05:00
Rob Rix	44c11647f8	Use the Alternative instance for skipping spaces too.	2015-12-14 16:34:52 -05:00
Rob Rix	645ae0b6de	Use the space atom.	2015-12-14 16:33:02 -05:00
Rob Rix	36e495f918	Parse words and punctuation via the atoms.	2015-12-14 16:32:31 -05:00
Rob Rix	cf072208fd	Extract word & punctuation & space into atoms.	2015-12-14 16:32:24 -05:00
Rob Rix	2ba26d8a47	Rename the function to reflect we care about spaces, not separators.	2015-12-14 16:31:29 -05:00
Rob Rix	2d2fc220fc	fmap takeAndContinue.	2015-12-14 16:29:57 -05:00
Rob Rix	d59d0dbe86	Space, not separator.	2015-12-14 16:28:02 -05:00
Rob Rix	771ed5673e	Use skipAndContinue in the space branch.	2015-12-14 16:27:50 -05:00
Rob Rix	025565ac68	Extract a skipAndContinue function.	2015-12-14 16:27:36 -05:00
Rob Rix	c1c50915d3	isSpace, not isSeparator.	2015-12-14 16:25:51 -05:00
Rob Rix	1d559b2b9a	Fewer parentheses.	2015-12-14 16:24:03 -05:00
Rob Rix	e9f21668a1	Use Alternative to combine our non-skipped parsers.	2015-12-14 16:23:09 -05:00
Rob Rix	835a3a0245	Parse spans of words & non-word punctuation.	2015-12-14 16:20:42 -05:00
Rob Rix	be9e4c7a01	Add a function to take a range & substring & continue.	2015-12-14 16:20:09 -05:00
Rob Rix	9e4071eb35	Remove the word/punctuation/space predicates.	2015-12-14 16:19:34 -05:00
Rob Rix	9af8783d1e	Add a word-or-separator predicate.	2015-12-14 16:19:21 -05:00
joshvera	f5dadfd964	fix tests	2015-12-14 16:09:12 -05:00
Rob Rix	a135c24967	Define the other parsers in terms of parse.	2015-12-14 16:08:52 -05:00
Rob Rix	5aa5361c4e	Generalize.	2015-12-14 16:07:49 -05:00
Rob Rix	5825484fb3	Add parsers for words, punctuation, and spaces.	2015-12-14 16:07:06 -05:00
Rob Rix	9e01666d7d	🔥 rangesAndWordsAfterWhitespace.	2015-12-14 15:56:57 -05:00
Rob Rix	8990db2b79	Skip whitespace inline here too.	2015-12-14 15:56:44 -05:00
Rob Rix	cee1da65b4	Skip whitespace inline.	2015-12-14 15:55:02 -05:00
joshvera	e51492b8d5	Remove line range from Info	2015-12-14 15:52:39 -05:00
Rob Rix	cded6c0d7d	Get the substrings out at the same time as computing the ranges.	2015-12-14 15:37:30 -05:00
Rob Rix	fdb1a6a9f7	Correct the tests.	2015-12-14 15:33:16 -05:00
Rob Rix	df4b74876a	Rename the word ranges function.	2015-12-14 15:31:45 -05:00
Rob Rix	eb9f36870d	Remove a redundant case. ... This gets picked up adequately by the next one.	2015-12-14 15:30:53 -05:00
Rob Rix	06a826c5f0	Merge branch 'master' into post-process-leaf-nodes-in-terms	2015-12-14 15:28:04 -05:00
Josh Vera	48004fe4f7	Merge pull request #317 from github/quickcheck ... QuickCheck	2015-12-14 15:24:05 -05:00
Rob Rix	9d61286d81	Take only maxLength elements for keyed nodes.	2015-12-14 15:18:56 -05:00
Rob Rix	32d460bce7	Rename n to maxDepth.	2015-12-14 15:18:16 -05:00
Rob Rix	686325bf4c	Rename m to maxLength.	2015-12-14 15:17:26 -05:00
Rob Rix	5c90ecde8e	Use the cube of the max length, not the square. ... I.e. shrink the produces lists.	2015-12-14 15:15:56 -05:00
Rob Rix	33c0dacd55	Take m, not n.	2015-12-14 15:13:32 -05:00
Rob Rix	2f726d4ba6	🔥 ArbitraryDiff.	2015-12-14 15:12:07 -05:00
Rob Rix	a93908a5f8	Test the reflexivity of Diff equality by generating a pair of terms and diffing them.	2015-12-14 15:11:59 -05:00
Rob Rix	2e5d85748b	Capture the construction of strictly smaller terms in the where clause.	2015-12-14 15:08:32 -05:00
Rob Rix	170fc65f5c	Test for word characters specifically.	2015-12-14 15:03:24 -05:00
Rob Rix	ca7e1f5ff1	Document the word character predicate.	2015-12-14 15:02:09 -05:00
Rob Rix	4fae286cf0	Add a character predicate to test for word characters.	2015-12-14 15:01:38 -05:00
Rob Rix	9c1dd640f5	Don’t bind subrange, since we only use it once.	2015-12-14 14:41:12 -05:00
Rob Rix	1d9e945aad	Pass absolute start indices to children.	2015-12-14 14:40:30 -05:00
Rob Rix	714c8ff682	Compute the substring from the subrange.	2015-12-14 14:39:50 -05:00
Rob Rix	37f236d7d7	Remove redundant imports.	2015-12-14 14:15:46 -05:00