11608 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	2f10158596	Placate hlint.	2017-04-03 12:05:52 -04:00
Rob Rix	42b0c2503f	The ReadFilesAtSHAs command takes a list of alternative object dirs.	2017-04-03 12:04:54 -04:00
Rob Rix	20504b9991	Extract the evaluators into their own functions.	2017-04-03 12:02:40 -04:00
joshvera	b087a35c77	Remove openssl from Brewfile	2017-04-03 11:56:48 -04:00
Rob Rix	28c57f84b1	🔥 term renderers.	2017-04-03 11:53:27 -04:00
Rob Rix	614124a070	🔥 a redundant comment.	2017-04-03 11:29:53 -04:00
Rob Rix	eaddc5965e	Tidy up the type signature for identifierFor.	2017-04-03 10:40:15 -04:00
Rob Rix	89e1017f9e	Define an identifier decorator.	2017-04-03 10:40:05 -04:00
Rob Rix	442746ddb8	Term decorators operate over complete subterms.	2017-04-03 10:39:58 -04:00
Rob Rix	c2fc77faeb	Tighten up termSourceTextDecorator.	2017-04-03 10:39:28 -04:00
Rob Rix	4a8311892b	🔥 some unnecessary foralls.	2017-04-03 10:35:00 -04:00
Rob Rix	cb0950ed64	Define an Identifier type.	2017-04-03 10:10:58 -04:00
Rob Rix	b374a7be9d	Define a term renderer command.	2017-03-31 23:03:23 -04:00
Rob Rix	87fc2afafa	Define term renderers.	2017-03-31 23:03:12 -04:00
Rob Rix	2aa1bf934b	Define runDiffRenderer' in tacit style.	2017-03-31 23:02:56 -04:00
Rob Rix	551e4e37dd	Sort the Diff import up.	2017-03-31 23:02:41 -04:00
Rob Rix	90c2290183	Define an evaluator for TermProjection.	2017-03-31 22:39:52 -04:00
Rob Rix	db5d3ba11a	Generalize identifierFor.	2017-03-31 22:39:37 -04:00
Rob Rix	c3b849105f	Define a TermProjection datatype.	2017-03-31 22:32:29 -04:00
Rob Rix	1cd2b5456b	🔥 redundant parens in sacrifice to hlint.	2017-03-31 19:44:04 -04:00
Rob Rix	c183f0ab75	Tighten up makeNode.	2017-03-31 19:43:53 -04:00
Rob Rix	0a6612d504	roll parseNodeForTermF into parseRoot.	2017-03-31 19:35:16 -04:00
Rob Rix	3b37f6f2b8	Fold buildParseNodes back into parseRoot.	2017-03-31 19:29:48 -04:00
Rob Rix	3484b04960	Replace parseRoot’s algebra with a constructor for the recursive structure.	2017-03-31 19:25:28 -04:00
Rob Rix	c18e332e28	ParseNode is a leaf in a list and a rose tree.	2017-03-31 19:15:20 -04:00
Rob Rix	9d7ee81064	Base, Recursive, and Corecursive instances for Rose.	2017-03-31 19:14:42 -04:00
Rob Rix	2477035b9d	Define a Rose tree type.	2017-03-31 19:13:03 -04:00
Rob Rix	c0578deeca	Extract a parseRoot function out of parseIndex and parseTree.	2017-03-31 18:02:10 -04:00
Rob Rix	9c83be8b99	Application instead of composition.	2017-03-31 17:51:24 -04:00
Rob Rix	90a2f97d47	Tidy up the buildParseNodes signature with RAlgebra.	2017-03-31 17:47:48 -04:00
Rob Rix	2d830b57bb	Pull the for out of buildParseNodes.	2017-03-31 17:44:50 -04:00
Rob Rix	d172d9440f	Use an R-algebra type synonym to tidy up the type signatures. ... 🎩 @patrickt.	2017-03-31 17:17:15 -04:00
Rob Rix	a0995343a3	Define a command to render a diff.	2017-03-31 17:03:17 -04:00
Rob Rix	70b5505852	Define an alternative evaluator producing the output type.	2017-03-31 16:54:55 -04:00
Rob Rix	bbe8d05e71	Export DiffRenderer and runDiffRenderer.	2017-03-31 16:50:13 -04:00
Rob Rix	0c6c57d3b3	Evaluate DiffRenderers.	2017-03-31 16:49:29 -04:00
Rob Rix	8dcc7703dc	Constrain ToCRenderer appropriately.	2017-03-31 16:49:09 -04:00
Rob Rix	d612dccb8d	🔥 toSummaryKey.	2017-03-31 16:48:58 -04:00
Rob Rix	4c24cdf1ad	🔥 TOC’s dependency on Renderer.	2017-03-31 16:48:06 -04:00
Rob Rix	a9ca469ea7	TermRenderer has a fields type parameter.	2017-03-31 16:39:51 -04:00
Rob Rix	1cd5b2bfec	Constrain the SummaryRenderer.	2017-03-31 16:39:40 -04:00
Rob Rix	b30c19e68b	🔥 JSON’s dependency on Renderer.	2017-03-31 16:37:16 -04:00
Rob Rix	45b34c7444	🔥 Summary’s dependency on Renderer.	2017-03-31 16:37:08 -04:00
Rob Rix	5ee44d4642	🔥 Patch’s dependency on Renderer.	2017-03-31 16:20:48 -04:00
Rob Rix	fd2b24b714	🔥 Split’s dependency on Renderer.	2017-03-31 16:17:20 -04:00
Rob Rix	30ab7102bb	Constrain & parametricize SExpressionDiffRenderer & SExpressionTermRenderer appropriately.	2017-03-31 16:14:44 -04:00
Rob Rix	92092f6136	SExpression does not import Renderer.	2017-03-31 16:12:26 -04:00
Rob Rix	1d360e6534	Define DiffRenderer and TermRenderer types.	2017-03-31 16:08:39 -04:00
Rob Rix	b7a1cf11ea	Reformat the Renderer exports list.	2017-03-31 15:55:57 -04:00
Rob Rix	b95fae682d	Read all files when no specific files are requested.	2017-03-31 15:53:49 -04:00