Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Add piecemeal Monoid import #1191

Merged
merged 1 commit into from
Jul 13, 2016
Merged

Add piecemeal Monoid import #1191

merged 1 commit into from
Jul 13, 2016

Conversation

yilinwei
Copy link
Contributor

Add piecemeal monoid import.

@fthomas
Copy link
Member

fthomas commented Jul 13, 2016

👍

@codecov-io
Copy link

Current coverage is 88.86%

Merging #1191 into master will not change coverage

@@             master      #1191   diff @@
==========================================
  Files           233        233          
  Lines          3079       3079          
  Methods        3026       3026          
  Messages          0          0          
  Branches         50         50          
==========================================
  Hits           2736       2736          
  Misses          343        343          
  Partials          0          0

Sunburst

Powered by Codecov. Last updated by 786f480...8ee995a

@peterneyens
Copy link
Collaborator

👍 Thanks @yilinwei, it seems this was missed in #1130 (probably because of the Machinist confusion).

@peterneyens peterneyens merged commit 63a041d into typelevel:master Jul 13, 2016
@yilinwei yilinwei deleted the patch-1 branch July 13, 2016 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.
4 participants
@yilinwei @fthomas @codecov-io @peterneyens