1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

6822 Commits

Author SHA1 Message Date
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
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