7032 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	5df723fa5a	Stub in Grams.	2016-06-21 16:58:19 -04:00
Rob Rix	f8988adf3b	Stub in a module for Grams.	2016-06-21 15:19:44 -04:00
Rick Winfrey	5c25ae4719	Small changes / typos	2016-06-21 12:34:19 -04:00
Rick Winfrey	25f8b922ab	Add mini summit problem notes	2016-06-21 12:26:48 -04:00
Josh Vera	f1293a9887	Merge pull request #614 from github/extensible-annotations ... Extensible annotations	2016-06-20 13:57:53 -07:00
Rob Rix	87552e0ecb	Generalize Alignment over annotations with ranges.	2016-06-17 14:07:35 -04:00
Rob Rix	8b5dc22797	🔥 SetField (roll it into HasField).	2016-06-17 14:07:21 -04:00
Rob Rix	27c17b20fe	Generalize getRange to work over any Record with a Range.	2016-06-17 14:06:55 -04:00
Rob Rix	0969e20f39	Generalize hasChanges to arbitrary annotations.	2016-06-17 14:05:38 -04:00
Rob Rix	03b8076f03	Show the underlying Integer, not the Size.	2016-06-17 13:56:45 -04:00
Rob Rix	978c91cd59	Fix setCost infinite looping.	2016-06-17 13:53:33 -04:00
Rob Rix	1668e94427	Define Info as a synonym over Data.Record.	2016-06-17 13:33:50 -04:00
Rob Rix	7d95cb48dc	Use the Cost & Size types in Info.	2016-06-17 13:30:48 -04:00
Rob Rix	37b59c89d7	Use the setter functions to update Info.	2016-06-17 13:28:35 -04:00
Rob Rix	5413e1ff43	Add setter functions for Info’s fields.	2016-06-17 13:23:54 -04:00
Rob Rix	fe00a94f52	Destructure Info using the field accessors.	2016-06-17 12:19:00 -04:00
Rob Rix	93f5d53cb4	🔥 the redundant ValueOf type family.	2016-06-17 11:51:03 -04:00
Rob Rix	10e4aefc26	🔥 the redundant IsField typeclass.	2016-06-17 11:50:56 -04:00
Rob Rix	3fb69066a5	Implement Record equality.	2016-06-17 11:50:18 -04:00
Rob Rix	844d093616	We don’t use GeneralizedNewtypeDeriving.	2016-06-17 11:50:10 -04:00
Rob Rix	01d8c6ed91	Derive Num instances for Size and Cost.	2016-06-17 11:33:22 -04:00
Rob Rix	e8c165fb15	Use mappend instead of ++.	2016-06-17 11:29:27 -04:00
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
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
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
Rob Rix	675cb59e14	:=> constructs a wrapper around Tagged.	2016-06-16 12:10:05 -04: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