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

add Foldable.existsM/forallM to docs #1796

Merged
merged 1 commit into from
Aug 11, 2017

Conversation

aryairani
Copy link
Contributor

@aryairani aryairani commented Aug 7, 2017

Not sure if these examples are unnecessarily complicated? I considered using List[Option[Boolean]] and identity instead, but I thought that might be confusing too. Thanks for any feedback.

Copy link
Contributor

@kailuowang kailuowang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@codecov-io
Copy link

codecov-io commented Aug 7, 2017

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1796   +/-   ##
=======================================
  Coverage   94.88%   94.88%           
=======================================
  Files         241      241           
  Lines        4147     4147           
  Branches      107      107           
=======================================
  Hits         3935     3935           
  Misses        212      212

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 272c684...23cdb40. Read the comment docs.

@kailuowang kailuowang modified the milestone: 1.0.0-RC1 Aug 8, 2017
@kailuowang kailuowang merged commit f08b43d into typelevel:master Aug 11, 2017
@kailuowang
Copy link
Contributor

Straightforward docs addition, merged with one sign off

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants