7011 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	f6f067c638	Derive Eq & Show instances for Size & Cost.	2016-06-17 11:25:45 -04:00
Rob Rix	b8ddaaaaf0	Size/Cost are not just wrappers.	2016-06-17 11:22:22 -04:00
Rob Rix	263c96468c	Remove the obsolete type tag stuff.	2016-06-17 11:17:20 -04:00
Rob Rix	138f66ae0d	Don’t wrap Range & Category in newtypes.	2016-06-17 11:15:22 -04:00
Rob Rix	ed1b0b692d	We no longer require TypeOperators.	2016-06-17 10:45:41 -04:00
Rob Rix	9e88584726	Add setters.	2016-06-17 10:29:24 -04:00
Rob Rix	9ccd3d2d77	Implement Data.Record-based annotations.	2016-06-17 10:26:20 -04:00
joshvera	c60609fd83	Error out if we run into an unimplemented comparison	2016-06-16 16:35:52 -07:00
joshvera	af8e7a4d81	Add a Switch case to zipUnwrap	2016-06-16 16:35:52 -07:00
joshvera	0c1d749f32	Diff asymmetrical Switches recursively	2016-06-16 16:35:52 -07:00
joshvera	70441b9a93	s/cases/_	2016-06-16 16:35:52 -07:00
joshvera	b73cb5f478	Add a bunch of Syntax cases to run in Interpreter	2016-06-16 16:35:52 -07:00
joshvera	8bb9f23035	Add VarDecl/VarAssignment/Switch/Case cases to alignSyntax	2016-06-16 16:35:52 -07:00
Rob Rix	898a0cdbd3	Put the HasField/SetField instances together.	2016-06-16 17:44:06 -04:00
Rob Rix	c5ab897782	Split setField into a SetField typeclass.	2016-06-16 17:42:22 -04:00
Rob Rix	2f33dd06d1	HasField specifies a setter.	2016-06-16 17:37:04 -04:00
Rob Rix	047cc81f4f	IsField specifies a setter.	2016-06-16 17:34:36 -04:00
Rob Rix	856e3ed809	Abbreviate the infix RCons syntax.	2016-06-16 17:31:53 -04:00
Rob Rix	035969c176	Add instances for :=> as a field.	2016-06-16 17:02:26 -04:00
Rob Rix	2822ec2f51	Add a typeclass for fields.	2016-06-16 17:02:17 -04:00
Rob Rix	b18a30b441	Add a type family for monotypes.	2016-06-16 17:02:08 -04:00
Rob Rix	ba1fc277eb	Rework the constructors and eliminators a bit to not use tagged.	2016-06-16 16:41:43 -04:00
Rick Winfrey	21b7b5255c	Merge branch 'syntax-redux' of github.com:github/semantic-diff into syntax-redux	2016-06-16 15:34:55 -05:00
Rick Winfrey	d554636c5c	Add JavaScript specific "generator_function" case to map to Function Syntax	2016-06-16 15:34:48 -05:00
Rob Rix	dcf9cdc6ae	Add an eliminator for :=>.	2016-06-16 16:23:12 -04:00
Rob Rix	a08b83432f	Use GeneralizedNewtypeDeriving.	2016-06-16 16:20:16 -04:00
joshvera	c086cac867	++js-test	2016-06-16 10:47:41 -07:00
joshvera	283a4a77a0	Remove test/diffs/style.css	2016-06-16 10:39:57 -07:00
joshvera	7c8ac45c83	Zip Case statements in zipTerms	2016-06-16 10:39:57 -07:00
joshvera	185d386150	Add Case to termToDiffInfo	2016-06-16 10:39:57 -07:00
Rick Winfrey	bae6e827cd	++js-test	2016-06-16 11:34:51 -05:00
Rick Winfrey	513c3b7ec7	Assign arrow_function productions as Function Syntax	2016-06-16 11:25:17 -05:00
Rick Winfrey	308a690cdb	++js-test	2016-06-16 11:20:34 -05:00
Rob Rix	675cb59e14	:=> constructs a wrapper around Tagged.	2016-06-16 12:10:05 -04:00
Rick Winfrey	a2d8c23250	Add Boolean case for styleName	2016-06-16 11:08:34 -05:00
Rob Rix	39041fc8c3	Add an infix synonym for RCons.	2016-06-16 12:02:19 -04:00
Rob Rix	9ebf255da2	Use <> instead of ++.	2016-06-16 12:00:29 -04:00
Rob Rix	1bac0faf43	Add a Show instance for RCons.	2016-06-16 11:59:42 -04:00
Rob Rix	2475667df9	Define Show for RNil.	2016-06-16 11:58:29 -04:00
Rob Rix	63ed038654	📝 why OVERLAPPABLE.	2016-06-16 11:58:17 -04:00
Rob Rix	cff9ac00ab	🎩 @aaronlevin.	2016-06-16 11:54:32 -04:00
Rob Rix	fd22620ccd	📝 HasField.	2016-06-16 11:53:21 -04:00
Rob Rix	c4eb6241cb	Move the HasField class to a section by itself.	2016-06-16 11:52:42 -04:00
Rob Rix	3b8c1546a5	Add HasField instances for hlists.	2016-06-16 11:52:14 -04:00
Rob Rix	eb91962cbb	📝 Record.	2016-06-16 11:50:43 -04:00
Rob Rix	4172f83842	Move the type tags to the bottom.	2016-06-16 11:49:42 -04:00
Rob Rix	afe112985b	Add the HasField typeclass.	2016-06-16 11:49:07 -04:00
Rob Rix	db035a8009	📝	2016-06-16 11:45:53 -04:00
Rob Rix	811b623652	Add a Record datatype.	2016-06-16 11:42:19 -04:00
Rob Rix	d596c02e74	:=> and field are shorthand for Tagged.	2016-06-16 11:40:43 -04:00