13094 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	fc4d4e6e58	Decorate Python terms with their constructor labels.	2017-05-31 15:28:12 -04:00
Rob Rix	a7339ecfd9	Only show the category for S-expression terms.	2017-05-31 15:27:16 -04:00
Rob Rix	8469cde286	🔥 the category prefixing.	2017-05-31 15:23:53 -04:00
Rob Rix	a9a6c34a6f	Generalize the s-expression renderers to show all fields.	2017-05-31 15:22:55 -04:00
Rob Rix	f9173c06b7	Define a type family to constrain every element of a list of types.	2017-05-31 15:22:32 -04:00
Rob Rix	6c16b15a13	🔥 a redundant extension.	2017-05-31 15:20:56 -04:00
Rob Rix	70a5ce3471	Diff Python terms linearly for s-expression rendering.	2017-05-31 15:06:39 -04:00
Rob Rix	b2ad332ff0	Define a function computing a label using a Show1 instance.	2017-05-31 15:02:19 -04:00
Rob Rix	97dc5635ae	Derive a GAlign instance for Data.Syntax.Expression.Boolean.	2017-05-31 14:45:16 -04:00
Rob Rix	52580d9db6	Define a comparability relation using GAlign.	2017-05-31 14:35:21 -04:00
Rob Rix	1bf31c2a48	🔥 the redundant Functor constraint on comparableByCategory.	2017-05-31 14:33:53 -04:00
Rob Rix	e30a4ee1a7	Clarify the documentation for comparableByCategory.	2017-05-31 14:33:37 -04:00
Rob Rix	e88cd47274	Rename comparable to comparableByCategory.	2017-05-31 14:33:11 -04:00
Rob Rix	36ed25959a	Type comparable as a ComparabilityRelation.	2017-05-31 14:32:48 -04:00
Rob Rix	73acd2662f	diffTermsWIth takes a comparability relation.	2017-05-31 14:31:19 -04:00
Rob Rix	84eccdacec	Export decoratingWith.	2017-05-31 14:30:28 -04:00
Rob Rix	68f9cda279	decomposeWith takes a comparability relation.	2017-05-31 14:30:13 -04:00
Rob Rix	06a3241b7d	Use the lifted comparability relation to perform the SES pre-pass.	2017-05-31 14:28:41 -04:00
Rob Rix	076a34e030	Lift a comparability relation to an equality relation.	2017-05-31 14:27:21 -04:00
Rob Rix	59391fbdc9	Generalize the comparability relation to enforce O(1) complexity.	2017-05-31 14:20:01 -04:00
Rick Winfrey	359e28d2dd	Flow alternative choices over multiple lines	2017-05-31 11:17:16 -07:00
Rick Winfrey	375e1d6a01	Assign Subscript expressions	2017-05-31 11:14:03 -07:00
Rick Winfrey	55b0ccdd8d	Simplify expression statement	2017-05-31 11:13:46 -07:00
Rick Winfrey	b34aa617f0	📝 Member Access example	2017-05-31 11:13:19 -07:00
Rick Winfrey	d5f0db7986	Assign nested Attribute expressions	2017-05-31 10:49:14 -07:00
Rob Rix	71f304ff90	Split out a helper to decorate terms with feature vectors & strip the resulting diff.	2017-05-31 13:11:56 -04:00
Rob Rix	2e60145337	Export diffTermsWith.	2017-05-31 13:11:05 -04:00
Rob Rix	de23ac3803	Reformat the module header.	2017-05-31 13:10:58 -04:00
Rob Rix	326340d099	Merge branch 'master' into python-diffs	2017-05-31 12:44:47 -04:00
Rob Rix	d22f16ce6c	Merge pull request #1137 from github/abstract-rendering-over-the-syntax-functor ... Abstract rendering over the syntax functor	2017-05-31 12:44:17 -04:00
Rob Rix	44335424ed	Rename diffAndRenderTermPair to diffTermPair.	2017-05-31 12:40:27 -04:00
Rob Rix	bd0e5d3ea5	Merge branch 'abstract-rendering-over-the-syntax-functor' into python-diffs	2017-05-31 12:39:11 -04:00
Rob Rix	0fa132f20f	Export a diffBlobPairs helper from Semantic.	2017-05-31 12:36:42 -04:00
Rob Rix	514a55a62b	Export a parseBlobs helper from Semantic.	2017-05-31 12:35:18 -04:00
Rob Rix	4b5ad434e8	Rename parseDiffAndRenderBlobPair to diffBlobPair.	2017-05-31 12:27:21 -04:00
Rob Rix	fc536d8402	Rename parseAndRenderBlob to parseBlob.	2017-05-31 12:25:40 -04:00
Rob Rix	268262b7be	Split diffing terms with a syntax-motivated refinement function out into a separate function.	2017-05-31 12:24:32 -04:00
Rob Rix	cc94e45436	Apply renderers to blobs up front.	2017-05-31 12:05:28 -04:00
Rob Rix	f3d99dc300	Partially apply renderers to blobs.	2017-05-31 12:04:12 -04:00
Rob Rix	51592d4003	Stub in Python diffing for s-expression rendering.	2017-05-31 11:41:57 -04:00
Rob Rix	fb587a759a	Bind a variable for the effective language.	2017-05-31 10:59:31 -04:00
Rick Winfrey	a842539c84	🔥 condition	2017-05-30 17:01:05 -07:00
Rick Winfrey	393c481f83	Expand If assignment	2017-05-30 16:58:30 -07:00
Rick Winfrey	aad7f36902	Assing simple member access	2017-05-30 16:54:52 -07:00
Rick Winfrey	9aa5ba6f18	🔥 identifier from expression	2017-05-30 16:54:08 -07:00
Rob Rix	e5558c32a4	Evaluate the results of tasks to whnf in parallel.	2017-05-30 14:57:14 -04:00
Rob Rix	3a4bf7ebcf	Derive Show instances for DiffArguments & ParseArguments.	2017-05-30 13:25:53 -04:00
Rob Rix	50e019d9bb	📝 the TermRenderer constructors.	2017-05-30 13:18:58 -04:00
Rob Rix	e26fcd4377	📝 the DiffRenderer constructors.	2017-05-30 13:17:13 -04:00
Rob Rix	086a58932c	📝 distribute, distributeFor, & distributeFoldMap.	2017-05-30 12:57:23 -04:00