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

MonadError Laws #122

Merged
merged 3 commits into from
Jun 27, 2017
Merged

MonadError Laws #122

merged 3 commits into from
Jun 27, 2017

Conversation

raulraja
Copy link
Member

Includes tests and instances for Try and Either

@raulraja raulraja requested a review from pakoito June 27, 2017 11:39
@codecov-io
Copy link

codecov-io commented Jun 27, 2017

Codecov Report

❗ No coverage uploaded for pull request base (master@51426be). Click here to learn what that means.
The diff coverage is 27.27%.

Impacted file tree graph

@@           Coverage Diff            @@
##             master    #122   +/-   ##
========================================
  Coverage          ?   55.5%           
  Complexity        ?     198           
========================================
  Files             ?      80           
  Lines             ?    1171           
  Branches          ?     167           
========================================
  Hits              ?     650           
  Misses            ?     453           
  Partials          ?      68
Impacted Files Coverage Δ Complexity Δ
...in/kotlin/kategory/typeclasses/ApplicativeError.kt 0% <0%> (ø) 0 <0> (?)
.../src/main/kotlin/kategory/instances/EitherMonad.kt 56.25% <42.85%> (ø) 6 <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 51426be...e89d772. Read the comment docs.

Copy link
Member

@pakoito pakoito left a comment

Choose a reason for hiding this comment

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

Pass with nit. Happy to discuss.

@@ -1,6 +1,6 @@
package kategory

class EitherMonad<L> : Monad<EitherF<L>> {
open class EitherMonad<L> : Monad<EitherF<L>> {
Copy link
Member

Choose a reason for hiding this comment

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

Copy link
Member Author

Choose a reason for hiding this comment

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

Sounds good, we can do a pass to redo all of them if this makes sense. Let's discuss by chat.

@raulraja raulraja merged commit eea20f4 into master Jun 27, 2017
@raulraja raulraja deleted the rr-monaderror-laws branch June 27, 2017 14:49
@wiyarmir wiyarmir mentioned this pull request Jul 17, 2017
ambrusadrianz pushed a commit to ambrusadrianz/arrow that referenced this pull request Oct 22, 2019
* add std kotlin instances test

* add java instances test

* add arrow instances test

* format

* allow missing key for None fields

* code clean up

* format

* add instances bad cases

* add instances java time bad cases

* add instances java bad cases

* add instances collections bad cases

* add instances arrow bad cases

* fix some decoders according to test spectations

* merge master

* wip more code cleanup

* format and clean up

* Simplify optics internals

* make functions private
rachelcarmena pushed a commit that referenced this pull request Feb 24, 2021
rachelcarmena pushed a commit that referenced this pull request Feb 24, 2021
* Maintain `Traverse` and `TraverseFilter` documents

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

Successfully merging this pull request may close these issues.

3 participants