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

Adds Semigroup for Const #718

Merged
merged 1 commit into from
Dec 6, 2015
Merged

Adds Semigroup for Const #718

merged 1 commit into from
Dec 6, 2015

Conversation

mikejcurry
Copy link
Contributor

Adding a Semigroup for Const to allow Semigroup behaviour for data
types with no valid Monoid instance.

@mikejcurry
Adds Semigroup for Const
2fc8fda 
Adding a Semigroup for Const to allow semigroup behaviour for data
types with no Monoid instance.
@codecov-io
Copy link

Current coverage is 85.48%

Merging #718 into master will increase coverage by +0.01% as of ebbc614

@@            master    #718   diff @@
======================================
  Files          162     162       
  Stmts         2237    2239     +2
  Branches        74      74       
  Methods          0       0       
======================================
+ Hit           1912    1914     +2
  Partial          0       0       
  Missed         325     325

Review entire Coverage Diff as of ebbc614

Powered by Codecov. Updated on successful CI builds.

@non
Copy link
Contributor

non commented Dec 6, 2015

Looks good to me. 👍

@ceedubs
Copy link
Contributor

ceedubs commented Dec 6, 2015

👍

ceedubs added a commit that referenced this pull request Dec 6, 2015
@ceedubs
Merge pull request #718 from mikejcurry/const-semigroup
64eb698 
Adds Semigroup for Const
@ceedubs ceedubs merged commit 64eb698 into typelevel:master Dec 6, 2015
@mikejcurry mikejcurry deleted the const-semigroup branch December 11, 2015 20:33
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
@mikejcurry @codecov-io @non @ceedubs