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

Swap type parameter order in OneAnd #598

Merged
merged 1 commit into from
Nov 4, 2015
Merged

Swap type parameter order in OneAnd #598

merged 1 commit into from
Nov 4, 2015

Conversation

ceedubs
Copy link
Contributor

@ceedubs ceedubs commented Nov 4, 2015

This is a delayed follow up to #292 which sets a precedent of a
preference for higher-kinded types coming first in type parameters.

@ceedubs
Swap type parameter order in OneAnd
1ee2130 
This is a delayed follow up to typelevel#292 which sets a precedent of a
preference for higher-kinded types coming first in type parameters.
@codecov-io
Copy link

Current coverage is 76.32%

Merging #598 into master will not affect coverage as of 48a63a9

@@            master    #598   diff @@
======================================
  Files          160     160       
  Stmts         2196    2196       
  Branches        68      68       
  Methods          0       0       
======================================
  Hit           1676    1676       
  Partial          0       0       
  Missed         520     520

Review entire Coverage Diff as of 48a63a9

Powered by Codecov. Updated on successful CI builds.

@non
Copy link
Contributor

non commented Nov 4, 2015

Makes sense to me. 👍

@adelbertc
Copy link
Contributor

👍

adelbertc added a commit that referenced this pull request Nov 4, 2015
@adelbertc
Merge pull request #598 from ceedubs/oneand-type-params
8e1214d 
Swap type parameter order in OneAnd
@adelbertc adelbertc merged commit 8e1214d into typelevel:master Nov 4, 2015
@ceedubs ceedubs deleted the oneand-type-params branch November 15, 2015 23:39
# 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