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

Fix types order in Either example #868

Merged
merged 1 commit into from May 31, 2018
Merged

Fix types order in Either example #868

merged 1 commit into from May 31, 2018

Conversation

hamen
Copy link
Contributor

@hamen hamen commented May 31, 2018

No description provided.

@codecov
Copy link

codecov bot commented May 31, 2018

Codecov Report

Merging #868 into master will increase coverage by 0.01%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff              @@
##             master     #868      +/-   ##
============================================
+ Coverage     45.35%   45.37%   +0.01%     
  Complexity      652      652              
============================================
  Files           302      302              
  Lines          7756     7756              
  Branches        833      833              
============================================
+ Hits           3518     3519       +1     
  Misses         3932     3932              
+ Partials        306      305       -1
Impacted Files Coverage Δ Complexity Δ
...ics/src/main/kotlin/arrow/optics/instances/mapk.kt 91.66% <0%> (+4.16%) 0% <0%> (ø) ⬇️

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 3f882dd...5411713. Read the comment docs.

@pakoito
Copy link
Member

pakoito commented May 31, 2018

Thank you much for finding this!

@pakoito pakoito merged commit 83d9184 into arrow-kt:master May 31, 2018
@hamen hamen deleted the patch-1 branch May 31, 2018 10:12
RawToast pushed a commit to RawToast/kategory that referenced this pull request Jul 18, 2018
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.

None yet

3 participants