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

7619 Commits

Author SHA1 Message Date
Rob Rix
fd6b44e1a8 This should probably be non-empty. 2016-07-26 15:32:30 -04:00
Rob Rix
e5f9d1ed28 Test the Mergeable laws over lists. 2016-07-26 15:27:32 -04:00
Rob Rix
475ec475b6 Weaken the identity laws to be non-empty. 2016-07-26 15:27:16 -04:00
Rob Rix
dd0b0322fc Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes. 2016-07-26 14:56:02 -04:00
Rob Rix
cfb7361b9c Scale the list generator. 2016-07-26 14:44:25 -04:00
Rob Rix
2ee68cc4b2 Add an identity law over merge. 2016-07-26 13:30:09 -04:00
Rob Rix
794fffbf47 Clean up the generator. 2016-07-26 13:25:16 -04:00
Rob Rix
b987a40377 sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt. 2016-07-26 13:23:14 -04:00
Rob Rix
7ff92d968e Run the merge laws over Syntax. 2016-07-26 13:17:33 -04:00
Rob Rix
e98844e937 Run the merge laws over Identity. 2016-07-26 13:17:13 -04:00
Rob Rix
7d4d14c99b Run the merge laws over Maybe. 2016-07-26 13:16:46 -04:00
Rob Rix
8f25cbd473 🔥 some redundant constraints. 2016-07-26 13:13:45 -04:00
Rob Rix
f64164d872 Generalize a constraint away. 2016-07-26 13:12:32 -04:00
Rob Rix
a967e800bb Move the alternative instances helper down. 2016-07-26 13:12:09 -04:00
Rob Rix
be973b5bae Generalize out a helper function to validate laws against alternative instances. 2016-07-26 13:11:52 -04:00
Rob Rix
5430f45850 Verify the merge laws over []/Maybe. 2016-07-26 13:06:18 -04:00
Rob Rix
df4621622a Formulate a merge law. 2016-07-26 13:03:13 -04:00
Rob Rix
475c97190c Parallelize the Mergeable spec. 2016-07-26 12:47:38 -04:00
Rob Rix
5d6b1cd047 Test the sequenceAlt laws over Syntax. 2016-07-26 05:39:02 -04:00
Rob Rix
7af29fcf10 Define the identity law over pure. 2016-07-26 04:25:45 -04:00
Rob Rix
6806438949 Generalize the sequenceAlt laws over the inner alternative functor. 2016-07-26 04:23:03 -04:00
Rob Rix
f76b334b8c Validate the sequenceAltLaws against the Identity instance. 2016-07-26 04:16:40 -04:00
Rob Rix
a0cf6ce702 Validate the relationship between sequenceAlt and merge. 2016-07-26 04:15:56 -04:00
Rob Rix
d1bbe1c029 Validate the sequenceAltLaws against Maybe. 2016-07-26 04:08:19 -04:00
Rob Rix
88bb767ff7 Group the law invocations by functor. 2016-07-26 04:07:46 -04:00
Rob Rix
734254194c Define sequenceAltLaws to take a generator of Mergeable values. 2016-07-26 04:06:51 -04:00
Rob Rix
fa3b7d126e Factor the sequenceAlt law properties into a separate function. 2016-07-26 04:04:24 -04:00
Rob Rix
93c53ed90a Stub in a property test for the proposed identity law. 2016-07-26 04:02:52 -04:00
Rob Rix
b03f1d3b91 Stub in a spec function. 2016-07-26 03:58:14 -04:00
Rob Rix
8f15a59282 Stub in a spec for the Mergeable stuff. 2016-07-26 03:56:52 -04:00
Rob Rix
a64e6736a3 Define a Mergeable instance over Identity. 2016-07-26 03:56:10 -04:00
Rob Rix
4863611ecc 🔥 the RULES pragma on Mergeable.
I don’t understand what they do well enough for this to be anything but
a maintenance burden.
2016-07-26 03:54:41 -04:00
Rob Rix
7435e9069c Wrap all the branch cases but Fixed in Indexed. 2016-07-26 03:50:13 -04:00
Rob Rix
b95cadd9a8 Factor catMaybes out of the alignment cases. 2016-07-22 18:43:16 -04:00
Rob Rix
a495f143aa Align leaves and comments through alignBranch. 2016-07-22 18:42:31 -04:00
Rob Rix
77969d5366 Merge branch 'master' into sequenceable
# Conflicts:
#	src/Diff.hs
#	src/Syntax.hs
2016-07-22 18:40:11 -04:00
Rob Rix
49ac4fea8c Add a rewrite rule for merge identity. 2016-07-22 18:00:56 -04:00
Rob Rix
054413b47e 🔥 genericSequenceAlt. 2016-07-22 17:53:59 -04:00
Rob Rix
698e829e03 Define the Mergeable instance over [] in terms of merge/gmerge. 2016-07-22 17:53:24 -04:00
Rob Rix
5c25157593 sequenceAlt defaults to merge identity. 2016-07-22 17:52:30 -04:00
Rob Rix
afd67dbbd9 Define a merge method in Mergeable which generalizes sequenceAlt. 2016-07-22 17:51:57 -04:00
Rob Rix
8f8bf5dad9 Define a genericMerge helper. 2016-07-22 17:50:08 -04:00
Rob Rix
1d7645cafe GMergeable has a gmerge method generalizing gsequenceAlt. 2016-07-22 17:49:07 -04:00
Rob Rix
9ae7f52e8f Rename Sequenceable to Mergeable. 2016-07-22 17:38:10 -04:00
Rob Rix
07dd026e55 Merge pull request #611 from github/syntax-redux
Flesh out syntax for diff summaries
2016-07-22 17:18:44 -04:00
joshvera
9686a7e53b Remove extra split2.html 2016-07-22 17:10:11 -04:00
joshvera
8e15f9c955 Use unwrap 2016-07-22 17:10:11 -04:00
Rob Rix
0b85a1826d Derive the Sequenceable instance over Syntax. 2016-07-22 16:15:04 -04:00
Rob Rix
f3f8aee39c Add a default signature for Sequenceable. 2016-07-22 16:14:44 -04:00
Rob Rix
f959917ae3 Define Sequenceable over [] in terms of GSequenceable over []. 2016-07-22 16:14:27 -04:00