github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-09 00:56:32 +03:00
Code Issues Projects Releases Wiki Activity
9,817 Commits 19 Branches 16 Tags 46 MiB
e07166bd8f
Commit Graph

9817 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
a9ba058cf9 Define a Listable1 instance over (Listable1 f, Listable a) => CofreeF f a. 2017-01-07 09:07:48 -05:00
Rob Rix
8a06e024f5 Define a Listable1 instance over (Listable1 f, Listable a) => FreeF f a. 2017-01-07 09:03:38 -05:00
Josh Vera
5c80215349 Merge pull request #923 from github/weekly-summary-2017-01-06 
Weekly summary 2017 01 06
 2017-01-06 18:11:48 -05:00
Rick Winfrey
13790348d4 Clarify homology description 2017-01-06 14:28:16 -08:00
Rick Winfrey
e088f6aa35 Add weekly summary for 2017-01-06 2017-01-06 14:24:17 -08:00
joshvera
ec1ea9aa17 update ruby tests 2017-01-05 17:09:50 -05:00
joshvera
ae40908cd2 Update go tests 2017-01-05 17:08:28 -05:00
Rob Rix
7154708015 Stub in an Hspec/LeanCheck integration module. 2017-01-05 16:41:23 -05:00
Rob Rix
ecd78d57fa Define a Listable1 instance over Listable1 f => Free f. 2017-01-05 15:48:08 -05:00
Rob Rix
b63dab4641 Define a Listable2 instance over Listable1 f => FreeF f. 2017-01-05 15:47:18 -05:00
Rob Rix
378acc4fc9 Define a Listable1 instance over Listable1 f => Cofree f. 2017-01-05 15:46:29 -05:00
Rob Rix
1cd0a540d4 Define a Listable2 instance over Listable1 f => CofreeF f. 2017-01-05 15:45:37 -05:00
Rob Rix
9a61258d3d Define a Listable instance over Listable a => DiffSummary a. 2017-01-05 15:41:30 -05:00
Rob Rix
78d1ec4da1 Define a Listable1 instance over DiffSummary. 2017-01-05 15:40:59 -05:00
Rob Rix
8d517541a0 Replace Category’s definition of ListableText. 2017-01-05 15:37:35 -05:00
Rob Rix
92e1fdf766 Define a Listable instance over ListableText. 
This is fairly naïve, and should probably do something more like the Arbitrary instance in quickcheck-text:

http://hackage.haskell.org/package/quickcheck-text-0.1.2.1/docs/src/Test-QuickCheck-Utf8.html
 2017-01-05 15:36:52 -05:00
Rob Rix
038b3605f1 Define a ListableText newtype. 2017-01-05 15:36:16 -05:00
Rob Rix
c8da9c5f31 Define a module for a Listable instance over Text. 2017-01-05 15:35:01 -05:00
Rob Rix
46c29feb45 Define a Listable2 instance over Either. 2017-01-05 15:33:51 -05:00
Rob Rix
66ed7316dd Define a Listable instance over Branch. 2017-01-05 15:30:21 -05:00
Rob Rix
33e6010e9c Define a Listable instance over Listable a => Gram a. 2017-01-05 15:28:15 -05:00
Rob Rix
a828467c58 Define a Listable1 instance over Gram. 2017-01-05 15:27:44 -05:00
Rob Rix
0331398deb Define a Listable2 instance over These. 2017-01-05 15:26:17 -05:00
Rob Rix
1dc26e985d Define a Listable1 instance over Joins of Listable2 bifunctors. 2017-01-05 15:24:56 -05:00
Rob Rix
c6b3025635 Define a Listable instance over Syntax leaf recur. 2017-01-05 15:22:56 -05:00
Rob Rix
7676e162cb Define a Listable1 instance over Listable leaf => Syntax leaf. 2017-01-05 15:22:49 -05:00
Rob Rix
15bc5d2cda Define a Listable2 instance over Syntax. 2017-01-05 15:22:29 -05:00
Rob Rix
6a1b6e7e76 Define a lifted cons over 4-ary constructors. 2017-01-05 15:22:11 -05:00
Rob Rix
b39a9c2d0e Define a Listable1 instance over []. 2017-01-05 15:11:05 -05:00
Rob Rix
d95077037e Define a Listable instance over Cost. 2017-01-05 15:04:42 -05:00
Rob Rix
d8058807f6 Define a Listable instance over non-empty Records. 2017-01-05 15:04:01 -05:00
Rob Rix
8949f8e7e0 Define a Listable instance over empty records. 2017-01-05 15:03:06 -05:00
Rob Rix
9b49fde245 Avoid exporting ListableText. 2017-01-05 15:01:34 -05:00
Rob Rix
5a6d8676cf Define a Listable instance over Category. 2017-01-05 14:59:55 -05:00
Rob Rix
c4c37914a0 Define a Listable newtype wrapping Text. 2017-01-05 14:59:39 -05:00
Rob Rix
d80ea55a59 Define a Listable instance over Patch. 2017-01-05 14:46:18 -05:00
Rob Rix
8c566860ee Define a Listable1 instance over Patch. 2017-01-05 14:45:56 -05:00
Rob Rix
9e486da785 Define a Listable instance over SourceSpan. 2017-01-05 14:44:22 -05:00
Rob Rix
3a7588ad1e Define a Listable instance over SourcePos. 2017-01-05 14:44:12 -05:00
Rob Rix
e1ee210468 Define a Listable instance over Range. 2017-01-05 14:42:57 -05:00
Rob Rix
6a2b1bf3a6 Define a Listable1 instance over Listable a => ((,) a). 2017-01-05 14:40:57 -05:00
Rob Rix
62eac61fe1 Define a Listable2 instance over (,). 2017-01-05 14:40:37 -05:00
Rob Rix
8d9562e94e Define a lifting of cons3. 2017-01-05 14:40:28 -05:00
Rob Rix
e5f4aed989 Define a lifting of cons2. 2017-01-05 14:40:16 -05:00
Rob Rix
fe6a0852c5 Lift Listable through Listable2. 2017-01-05 14:39:51 -05:00
Rob Rix
6db5cf152a Lift Listable over * -> * -> *. 2017-01-05 14:39:10 -05:00
Rob Rix
cae179abc2 Define a Listable1 instance over Maybe. 2017-01-05 14:38:45 -05:00
Rob Rix
1e57f7474b Define a lifting of cons1. 2017-01-05 14:38:31 -05:00
Rob Rix
f17fd281ab Lift Listable through Listable1. 2017-01-05 14:37:39 -05:00
Rob Rix
2d9f56f946 Lift Listable over * -> *. 2017-01-05 14:37:02 -05:00