github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-06 23:46:21 +03:00
Code Issues Projects Releases Wiki Activity
9,663 Commits 19 Branches 16 Tags 46 MiB
88aec60e23
Commit Graph

9663 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
88aec60e23 Migrate the Interpreter property tests to leancheck. 2017-01-09 14:20:11 -05:00
Rob Rix
5d4cc364ae Migrate the property tests of Alignment to leancheck. 2017-01-09 14:13:41 -05:00
Rob Rix
233113913a 🔥 a redundant import of Test.LeanCheck. 2017-01-09 11:46:04 -05:00
Rob Rix
bd63edeaaa Merge branch 'master' into leancheck,-the-other-white-meat 2017-01-09 11:44:31 -05:00
Rob Rix
389378fbff Migrate the Mergeable property tests to leancheck. 2017-01-08 00:10:14 -05:00
Rob Rix
8d626d0fea Define a forAll combinator by analogy with QuickCheck. 2017-01-07 23:46:22 -05:00
Rob Rix
75d4488bf8 Export a Tier type synonym. 2017-01-07 23:37:20 -05:00
Rob Rix
43faae0864 Migrate the RWS property tests to leancheck. 2017-01-07 23:27:01 -05:00
Rob Rix
4cc81c552b Migrate the Term property test to leancheck. 2017-01-07 23:21:22 -05:00
Rob Rix
26d0a634ed Migrate the Diff property tests to leancheck. 2017-01-07 23:17:05 -05:00
Rob Rix
a86db572f6 Integrate LeanCheck into Hspec. 2017-01-07 23:16:27 -05:00
Rob Rix
489631ee50 Allow Term to be partially applied. 2017-01-07 09:34:49 -05:00
Rob Rix
ddaa2d2d18 Define a Listable newtype wrapper for Listable1 type applications. 2017-01-07 09:13:40 -05:00
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
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