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

Kleisli video #810

Merged
merged 2 commits into from
Apr 21, 2018
Merged

Kleisli video #810

merged 2 commits into from
Apr 21, 2018

Conversation

israelperezglez
Copy link
Contributor

@arrow-kt/maintainers could you review this PR please? Thanks ;)

@israelperezglez israelperezglez requested a review from a team April 20, 2018 17:18
@codecov
Copy link

codecov bot commented Apr 20, 2018

Codecov Report

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

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #810   +/-   ##
=========================================
  Coverage     43.57%   43.57%           
  Complexity      584      584           
=========================================
  Files           284      284           
  Lines          7245     7245           
  Branches        809      809           
=========================================
  Hits           3157     3157           
  Misses         3802     3802           
  Partials        286      286

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 3268fe0...c4e2d63. Read the comment docs.

@pakoito
Copy link
Member

pakoito commented Apr 20, 2018

Slide 3, we're using the Id datatype and the result is a Some :D

@pakoito
Copy link
Member

pakoito commented Apr 20, 2018

This turned out to be one of my favorite videos so far. Really good explanations, and a really good job :D

@israelperezglez israelperezglez merged commit 54f1d91 into master Apr 21, 2018
@pakoito pakoito deleted the ip-809-kleisli-video branch April 21, 2018 09:56
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

4 participants