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 |
|
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 |
|