38 Commits

Author	SHA1	Message	Date
Rob Rix	6eb0f7cff6	Add bindings & variables to diffs.	2017-09-09 18:14:05 +01:00
Rob Rix	acff088e68	Define printTerm as a catamorphism.	2017-09-09 16:58:41 +01:00
Rob Rix	9765775242	Define printDiff as a catamorphism.	2017-09-09 16:55:32 +01:00
Rob Rix	b7e211c9c2	Redefine Term as a wrapper for TermF.	2017-09-09 11:47:10 +01:00
Rob Rix	1267fe5ea7	Rename the In constructor to Copy.	2017-09-09 11:27:04 +01:00
Rob Rix	9e40e9a09a	Give our own definition of Diff.	2017-09-09 11:23:57 +01:00
Rob Rix	aa9d4c4f19	Give our own definition of CofreeF.	2017-09-08 16:40:23 +01:00
Rob Rix	1a6af2179b	Give our own definition of Cofree.	2017-09-08 16:24:11 +01:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	b862c8186a	Don’t append a space after the last field.	2017-05-31 15:51:00 -04:00
Rob Rix	a9a6c34a6f	Generalize the s-expression renderers to show all fields.	2017-05-31 15:22:55 -04:00
Rob Rix	6c16b15a13	🔥 a redundant extension.	2017-05-31 15:20:56 -04:00
Rob Rix	7610ae675b	Rename the s-expression renderer functions.	2017-05-29 16:51:32 -04:00
Rob Rix	f75f5da7a4	🔥 redundant parens.	2017-05-29 14:36:34 -04:00
Rob Rix	8b05610e52	🔥 the redundant SourceSpan constraints on s-expression rendering.	2017-05-29 14:18:10 -04:00
Rob Rix	e719230ee5	🔥 a redundant import.	2017-05-26 10:18:48 -04:00
Rob Rix	d556dcb395	🔥 the TreeAndRanges format of sexpr rendering.	2017-05-26 10:15:15 -04:00
Rob Rix	4748cac0ac	Drop the SourceBlob parameters from s-expression rendering.	2017-05-26 10:07:22 -04:00
Timothy Clem	31c01c0092	Give sExpressions output a trailing newline again	2017-05-03 14:11:37 -07:00
Rob Rix	363d21b607	Generalize s-expression rendering to arbitrary Foldables.	2017-05-03 13:43:32 -04:00
Timothy Clem	779b6afde2	No longer need printTerms	2017-04-21 17:54:58 -07:00
Timothy Clem	19e87dd523	Put both diff and parse rendering back together	2017-04-20 15:13:28 -07:00
Timothy Clem	389bfaf220	WIP - new renderer achitecture	2017-04-20 11:00:02 -07:00
Timothy Clem	e9edb42e53	Remove render formats and use render/encode functions directly	2017-04-10 15:10:24 -07:00
Rob Rix	92092f6136	SExpression does not import Renderer.	2017-03-31 16:12:26 -04:00
Rick Winfrey	d0c66f1921	Add newline to end of output in one place	2017-03-13 10:52:00 -07:00
Timothy Clem	569fdd031b	Construct sexpression output with ByteString	2017-03-08 11:40:37 -08:00
Timothy Clem	3647e740f7	Render sexpression output as ByteString	2017-03-07 14:08:32 -08:00
Timothy Clem	a3331c08e7	Assert parsing	2017-02-22 08:34:31 -08:00
Timothy Clem	6165a6dd02	Allow printing only tree of sexpression output	2017-02-22 08:34:31 -08:00
Timothy Clem	6e718a7804	No opening linebreak if first node is a patch	2017-02-17 13:54:20 -08:00
Timothy Clem	91c650ee9c	Minor fix for sexpression padding on the Pure side	2017-02-17 11:36:50 -08:00
Rick Winfrey	86a456b285	Merge remote	2017-01-12 15:54:14 -08:00
Timothy Clem	5db5376d93	Remove some unused imports	2016-12-09 14:52:36 -08:00
Timothy Clem	fcff364131	Remove old cata approach	2016-12-09 14:47:35 -08:00
Timothy Clem	d84537ec42	Add some style to these guards	2016-12-09 14:47:00 -08:00
Timothy Clem	df7e016c60	Collapse up parse to product json and sexp output	2016-12-09 14:32:22 -08:00
Timothy Clem	772265e0bb	Rename s/test/sexpression	2016-12-09 11:42:32 -08:00