21697 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	f4eb1bbc2b	Define a helper to abstract over operations on SomeTerm.	2018-05-11 16:58:35 -04:00
Rob Rix	010a101de2	Define an existentially-quantified abstraction over term types.	2018-05-11 16:48:33 -04:00
Rob Rix	bcb889f85d	Use type applications to supply the list of typeclasses for someParser.	2018-05-11 16:43:53 -04:00
Rob Rix	eb41652cbd	Output to builders.	2018-05-11 16:37:04 -04:00
Rob Rix	60c3c112d4	Render symbols to JSONOutput.	2018-05-11 16:36:12 -04:00
Rob Rix	289ecd7678	Render JSON diffs/terms to JSONOutput.	2018-05-11 16:21:59 -04:00
Rob Rix	d1516c6f04	Define an Output instance for JSONOutput.	2018-05-11 16:17:53 -04:00
Rob Rix	e4ead782bc	Define a JSONOutput newtype.	2018-05-11 16:11:32 -04:00
Rob Rix	62dac89a0b	Derive a ToJSON instance for monoidal maps.	2018-05-11 16:09:28 -04:00
Rob Rix	4a2c2c098d	Define a singleton constructor for monoidal maps.	2018-05-11 16:08:44 -04:00
Rob Rix	85acb4367a	Align all the help text.	2018-05-11 16:00:42 -04:00
Rob Rix	e6c665ae36	Remove a redundant quantifier.	2018-05-11 15:52:14 -04:00
Rob Rix	0867bb4dd8	Align the graph type.	2018-05-11 15:35:13 -04:00
Rob Rix	a9d3b29e02	We expect a ByteString here.	2018-05-11 15:31:28 -04:00
Rob Rix	619e9f537f	🔥 GraphRenderer.	2018-05-11 15:29:46 -04:00
Rob Rix	e37bc83f14	Serialize graphs instead of rendering them.	2018-05-11 15:28:37 -04:00
Rob Rix	df1776ba27	Re-export some types &c. from Semantic.Graph.	2018-05-11 15:27:59 -04:00
Rob Rix	0f9279b5f7	Serialize graphs to JSON.	2018-05-11 15:17:30 -04:00
Rob Rix	599f10f76b	Add a SomeFormat type to abstract over the input type.	2018-05-11 15:15:48 -04:00
Rob Rix	9ed1bc4a38	ByteStrings.	2018-05-11 14:59:50 -04:00
Rob Rix	3854ce6d19	Serialize diffs to s-expressions.	2018-05-11 14:58:06 -04:00
Rob Rix	28d4fc30fc	Placate hlint.	2018-05-11 14:55:49 -04:00
Rob Rix	6872baa090	Serialize terms to s-expressions.	2018-05-11 14:53:22 -04:00
Rob Rix	bf334d24a5	Define a JSON serializer.	2018-05-11 14:50:45 -04:00
Rob Rix	93c61afa14	Define runSerialize tacitly.	2018-05-11 14:45:53 -04:00
Rob Rix	e427457801	Define an s-expression format.	2018-05-11 14:45:17 -04:00
Rob Rix	4944fdfe21	Define serialization to s-expressions.	2018-05-11 14:43:57 -04:00
Rob Rix	68df562f23	Stub in a module for serializing to s-expressions.	2018-05-11 14:41:10 -04:00
Rob Rix	2d866fc397	Add a TODO.	2018-05-11 14:40:21 -04:00
Rob Rix	c5dd415ac8	Add support for serializing by Showing.	2018-05-11 14:38:11 -04:00
Rob Rix	8f4fb96836	Serialize import/call graphs to DOT.	2018-05-11 14:35:27 -04:00
Rob Rix	fdd63b20e7	Render to the output type.	2018-05-11 14:35:08 -04:00
Rob Rix	0f218f5274	Serialize diffs to Builders.	2018-05-11 14:25:37 -04:00
Rob Rix	a47251cef6	Serialize terms to Builders.	2018-05-11 14:23:51 -04:00
Rob Rix	9d769325e4	Generalize styles over the string type.	2018-05-11 14:23:34 -04:00
Rob Rix	794e293b91	Define an Output instance for Builder.	2018-05-11 14:14:44 -04:00
Rob Rix	8e62998c45	Explicitly list Output’s exports.	2018-05-11 14:14:09 -04:00
Rob Rix	e8ccc67de8	Define serialization tasks.	2018-05-11 14:13:17 -04:00
Rob Rix	456171a931	Serialize DOT to a Builder.	2018-05-11 14:12:24 -04:00
Rob Rix	883eb66422	Define a serialization format type.	2018-05-11 14:12:13 -04:00
Rob Rix	3b26aba165	📝 serializeDOT.	2018-05-11 14:11:41 -04:00
Rob Rix	7df0afeb67	Define serialization to DOT.	2018-05-11 14:10:01 -04:00
Rob Rix	539c769ecc	Stub in a module for the details of DOT serialization.	2018-05-11 14:07:53 -04:00
Rob Rix	eb82239f8d	Stub in a module for serialization formats.	2018-05-11 13:27:09 -04:00
Rob Rix	e723b07d1e	🔥 renderGraph.	2018-05-11 13:25:45 -04:00
Rob Rix	cb9d795c53	Render trees to graphs in Eff.	2018-05-11 13:16:08 -04:00
Rob Rix	ffd787a762	Rename Rendering.DOT to Rendering.Graph.	2018-05-11 12:57:20 -04:00
Rob Rix	3763f49eb8	Define toEncoding for Graph via a JSONEdge newtype.	2018-05-11 12:34:09 -04:00
Rob Rix	0287e7a36a	Simplify the ToJSON instance.	2018-05-11 12:25:23 -04:00
Rob Rix	5722538805	Define Analysis.Abstract.Graph using Data.Graph.	2018-05-11 12:22:51 -04:00