7020 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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
Rob Rix	d4b63443ab	Add a simple phantom type tagger.	2016-06-16 11:38:29 -04:00
Rob Rix	3809f3ee43	Stub in a Data.Record module.	2016-06-16 11:30:11 -04:00
Josh Vera	4139ce438a	Merge pull request #610 from github/alternate-git-directories ... Add alternative odb's for repositories	2016-06-08 11:18:26 -04:00
Rick Winfrey	83a2c3adab	Add alternate object directories to a repository	2016-06-07 15:41:42 -05:00
Josh Vera	6702e233f3	Merge pull request #607 from github/quis-lintiet-ipsos-lintes ... Who lints the linter itself?	2016-06-06 18:51:35 -04:00
Josh Vera	0808fc33b4	Merge branch 'master' into quis-lintiet-ipsos-lintes	2016-06-06 18:46:20 -04:00