933 Commits

Author	SHA1	Message	Date
Rob Rix	3c7eae25b5	🔥 String.lift.	2015-10-27 16:15:28 -04:00
Rob Rix	82284e422a	Always parse over String.CharacterView.	2015-10-27 16:15:11 -04:00
Rob Rix	25467794f9	More leaning on satisfy parsers.	2015-10-27 16:12:23 -04:00
Rob Rix	8a86a0a741	Lean on oneOf.	2015-10-27 16:12:14 -04:00
Rob Rix	3c203e8f43	Extract the key/term parser.	2015-10-27 16:11:45 -04:00
Rob Rix	c366e379a0	Inline charP.	2015-10-27 16:11:38 -04:00
Rob Rix	72abc9f9e2	Wipe out some indentation.	2015-10-27 16:11:31 -04:00
Rob Rix	176300b141	No need to import Either.	2015-10-27 16:11:26 -04:00
joshvera	0718e49343	Capture the quoted range in members' keys	2015-10-27 13:28:35 -04:00
joshvera	96bcc25b23	Calculate the key range from the previous range	2015-10-27 13:15:56 -04:00
joshvera	57f15afc08	Change dict to be a .Keyed(.Keyed) node	2015-10-27 11:18:52 -04:00
joshvera	3a1c4a3b0d	parse whitespace around separators	2015-10-26 16:52:30 -04:00
joshvera	b9be03e540	Add Fixed case to Syntax.equals	2015-10-26 16:38:07 -04:00
joshvera	3d84c3be73	Improve escape character parsing	2015-10-26 16:37:50 -04:00
joshvera	14fac1df3c	don't parse whitespace ranges along with syntax	2015-10-26 16:37:34 -04:00
joshvera	98d8d52048	sepBy	2015-10-26 16:36:22 -04:00
joshvera	e59946aa0a	Return Members as Fixed	2015-10-26 15:06:45 -04:00
joshvera	92539dec54	Make JSONLeaf and JSONParser public	2015-10-26 15:06:33 -04:00
joshvera	d40ec59f61	WIP .Fixed dictionaries	2015-10-26 13:31:25 -04:00
Rob Rix	9041ebafa1	Merge branch 'master' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well ... Conflicts: prototype/Doubt/Syntax.swift	2015-10-26 09:31:44 -04:00
Rob Rix	155b0a16ef	Syntax nodes’ JSON is unambiguous.	2015-10-23 18:22:24 -04:00
joshvera	f2aeae9e4b	Interpret Fixed cases recursively	2015-10-23 17:03:12 -04:00
joshvera	20e2a520e6	add .Fixed to Syntax	2015-10-23 14:47:44 -04:00
Rob Rix	0c1905b6f5	Avoid a bang.	2015-10-23 11:44:17 -04:00
Rob Rix	f4a9053977	Use the convenience constructor.	2015-10-23 11:44:00 -04:00
Rob Rix	aca676dd04	Reintroduce the CofreeType → Free convenience constructor.	2015-10-23 11:43:05 -04:00
Rob Rix	383b20bb31	Document mapping a term into a diff.	2015-10-23 11:40:03 -04:00
Rob Rix	180cc41f6c	reiterate → hylo	2015-10-23 11:36:42 -04:00
Rob Rix	2b216398b7	iterate → cata	2015-10-23 11:36:05 -04:00
Rob Rix	9b310b8c78	coiterate → ana	2015-10-23 11:34:53 -04:00
Rob Rix	c187b796f3	Merge branch 'master' into annotate-diffs ... Conflicts: prototype/Doubt/Free.swift	2015-10-23 10:48:17 -04:00
Rob Rix	5f5a4739bf	Use the Introduce shorthand.	2015-10-22 18:56:03 -04:00
Rob Rix	b194dede9a	Add annotations to Free 😭 ... This is heartbreaking, but it was always going to end this way.	2015-10-22 18:55:28 -04:00
Rob Rix	1ee9663e6e	Unwrap with the static eliminator.	2015-10-22 18:43:49 -04:00
Rob Rix	3a1ced9786	Add an elimination form for Cofree.	2015-10-22 18:43:17 -04:00
Rob Rix	6423d5817f	Rename the introduction form for Cofree.	2015-10-22 18:43:08 -04:00
Rob Rix	f8739e90b0	zip the terms.	2015-10-22 18:42:04 -04:00
Rob Rix	b210cf8586	Rephrase copying terms into diffs as a hylomorphism.	2015-10-22 18:32:41 -04:00
Rob Rix	95adbdf042	Documentation for reiterate.	2015-10-22 18:31:11 -04:00
Rob Rix	397af0d02d	Documentation for hylo.	2015-10-22 18:31:06 -04:00
Rob Rix	b425d69c36	Define hylo and reiterate through Syntax.	2015-10-22 18:18:05 -04:00
Rob Rix	c84578402c	Document CofreeType.zip.	2015-10-22 18:09:18 -04:00
Rob Rix	7b57a9ce17	CofreeType values can be zipped.	2015-10-22 18:06:35 -04:00
Rob Rix	6bc8fe4285	Define coiterate over CofreeType.	2015-10-22 18:04:51 -04:00
Rob Rix	9ff1840e4a	CofreeTypes have a static curried Wrap constructor function.	2015-10-22 18:04:19 -04:00
Rob Rix	c6962c798d	CofreeType requires a constructor.	2015-10-22 18:02:44 -04:00
Rob Rix	4195edc469	Define a reiterate function.	2015-10-22 17:25:58 -04:00
Rob Rix	d0aeedeb52	Define iterate so as to clarify its relationship with cata.	2015-10-22 17:15:49 -04:00
Rob Rix	521e253240	Define hylomorphism through Syntax.	2015-10-22 17:11:35 -04:00
Rob Rix	f4966684a5	Rename the functions to unfold.	2015-10-22 17:09:40 -04:00