Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add PartialOrder and Eq instances for XorT #668

Merged
merged 1 commit into from
Nov 19, 2015
Merged

Add PartialOrder and Eq instances for XorT #668

merged 1 commit into from
Nov 19, 2015

Conversation

ceedubs
Copy link
Contributor

@ceedubs ceedubs commented Nov 17, 2015

Fixes #664.

@codecov-io
Copy link

Current coverage is 81.23%

Merging #668 into master will increase coverage by +0.27% as of 3c716b9

@@            master    #668   diff @@
======================================
  Files          159     159       
  Stmts         2122    2126     +4
  Branches        72      72       
  Methods          0       0       
======================================
+ Hit           1718    1727     +9
  Partial          0       0       
+ Missed         404     399     -5

Review entire Coverage Diff as of 3c716b9

Powered by Codecov. Updated on successful CI builds.

@non
Copy link
Contributor

non commented Nov 17, 2015

👍

1 similar comment
@adelbertc
Copy link
Contributor

👍

adelbertc added a commit that referenced this pull request Nov 19, 2015
@adelbertc
Merge pull request #668 from ceedubs/xort-po-eq
c8d529f 
Add PartialOrder and Eq instances for XorT
@adelbertc adelbertc merged commit c8d529f into typelevel:master Nov 19, 2015
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@ceedubs @codecov-io @non @adelbertc @fthomas