6797 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Josh Vera	ae38de71dc	Merge pull request #575 from github/benchmark-alignment ... Generative benchmarking	2016-06-06 16:24:51 -04:00
Rob Rix	aff68584eb	🔥 a redundant hint.	2016-06-06 16:16:34 -04:00
Rob Rix	e7f3422206	Specifically import the Default, Dollar, and Generalise modules.	2016-06-06 16:16:17 -04:00
Rob Rix	5307b52a23	Import the default set of HLint hints.	2016-06-06 16:12:23 -04:00
Rob Rix	893f53fa08	🔥 some unused setup from the numberedRows benchmark.	2016-06-06 13:09:17 -04:00
Rob Rix	44a1599afa	🔥 redundant imports.	2016-06-06 13:06:09 -04:00
Rob Rix	de41789aab	🔥 the pointless numberedRows benchmark.	2016-06-06 13:06:04 -04:00
Rob Rix	dfa3b3fd66	Merge branch 'master' into benchmark-alignment	2016-06-06 13:05:00 -04:00
Rob Rix	81fc2ea122	Don’t try to create replacements of size 1.	2016-06-06 13:04:54 -04:00
Rob Rix	a18b5bb4f0	🔥 a redundant import.	2016-06-06 13:04:35 -04:00
Rick Winfrey	eb08f8345a	Merge pull request #605 from github/weekly-notes ... Weekly notes for 06/06	2016-06-06 11:36:18 -05:00
Rob Rix	3ff913299a	patchOf takes a pair of generators.	2016-06-06 12:35:37 -04:00
Rob Rix	651795ea7d	Replace was doubling the size of patches; don’t do that.	2016-06-06 12:34:35 -04:00
Rob Rix	314bd97742	Correct the metric on diffs to sum the patches.	2016-06-06 12:30:49 -04:00
Rob Rix	441d617ae3	Move the Base and Unfoldable instances for ArbitraryTerm into Term.Arbitrary.	2016-06-06 12:30:16 -04:00
Rob Rix	29758790c7	I’m really not clear on how this even got committed.	2016-06-06 12:27:27 -04:00
Rob Rix	c9763c43ba	Use the sizing functions in TermSpec.	2016-06-06 12:26:06 -04:00
Rob Rix	c173c38a6c	Generate and shrink patches.	2016-06-06 12:25:47 -04:00
Rob Rix	6450f42e6a	Add a function to compute the size of ArbitraryDiffs.	2016-06-06 12:25:37 -04:00
Rob Rix	632b222f48	Add a function to compute the size of an ArbitraryTerm.	2016-06-06 12:15:16 -04:00
joshvera	f92614fb7e	Add weekly notes for 06/06/2016	2016-06-06 12:15:08 -04:00
joshvera	9df5b439a4	s/2015/2016	2016-06-06 12:14:58 -04:00
Rob Rix	74092797bc	Use patchOf in the Arbitrary instance.	2016-06-06 12:09:30 -04:00