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.

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

Test that Vector's traverse short-circuits #2092

Merged
merged 1 commit into from
Dec 10, 2017

Conversation

ceedubs
Copy link
Contributor

@ceedubs ceedubs commented Dec 10, 2017

This adds a test case that the traverse implementation for Vector
short-circuits the traversal when possible. This would have failed the build
in #2091.

See #1015 for when similar tests were added for similar structures.

This adds a test case that the `traverse` implementation for `Vector`
short-circuits the traversal when possible. This would have failed the build
in typelevel#2091.

See typelevel#1015 for when similar tests were added for similar structures.
@codecov-io
Copy link

codecov-io commented Dec 10, 2017

Codecov Report

Merging #2092 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2092   +/-   ##
=======================================
  Coverage   94.63%   94.63%           
=======================================
  Files         318      318           
  Lines        5391     5391           
  Branches      209      209           
=======================================
  Hits         5102     5102           
  Misses        289      289

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8bb5c01...8840926. Read the comment docs.

@johnynek johnynek merged commit 1bc8b11 into typelevel:master Dec 10, 2017
@stew stew removed the in progress label Dec 10, 2017
@LukaJCB
Copy link
Member

LukaJCB commented Dec 10, 2017

👍

@kailuowang kailuowang added this to the 1.0.0 milestone Dec 13, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants