Fix stack-safety of foldM #1
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Check alternate Comonad laws
monadErrorHandleWith was being checked twice, but the second one was meant to be monadErrorHandle.
Fix monadErrorHandleWith/monadErrorHandle mix up in laws
Add tests of kleisli left and right identity laws
+ Renamed SemigroupK composedWith to compose for consistency with Applicative, Foldable, Reducible. + Fixed non-termination bug in SemigroupK compose(dWith). + Added tests for Applicative, Foldable, Reducible, SemigroupK composition.
This method currently isn't used. Since `Cokleisli` is already a case class with an equivalent auto-generated `apply` method, I don't think I see the usefulness of it. Feel free to let me know if you would prefer to keep this around.
see tpolecat/tut#71 for more info
Remove now unnecessary tut resolver
Use `coflatMap` instead of `duplicate` to be consistent with `CoflatMap` and make CoproductComonad extends CoproductCoflatMap to reduce a couple duplicated methods.
SemigroupK consistency and fix; added compose tests.
Minor cleanup to Coproduct
Fix typo in OptionT documentation
Add ScalaDocs for Option syntax
…e-test Check that Cokleisli contramapValue and lmap methods are consistent
Add ScalaDoc for some FlatMap syntax
Remove unused Cokleisli.cokleisli method
Add Reducible laws
Add Bitraverse, fixes typelevel#800
Add Prod tests
make Unapply serializable
This is based on typelevel#858 and a discussion at dinner after the first day of the typelevel summit.
This is based on typelevel#858 and a discussion at dinner after the first day of the typelevel summit. Per the discussion, Streaming will be moved to the dogs project. StreamingT will be removed for now, and we can consider adding it to dogs in the future if people find themselves wanting it.
Remove Streaming and StreamingT
Added replicateA to Applicative typelevel#823
…tion add -P:scalajs:mapSourceURI option
Make Bifunctor universal, fixes typelevel#887
Add .tell and .writer syntax for creating Writers. Fixes typelevel#920.
|
Oh wow, this PR blew up, because I merged in the latest master. |
|
I guess I will open a PR agains typelevel/cats master then. |
|
See typelevel#925. |
eed3si9n
pushed a commit
that referenced
this pull request
Sep 1, 2016
Use instance hierarchy for WriterT group instances
eed3si9n
pushed a commit
that referenced
this pull request
Sep 1, 2016
Add a short-circuiting implementation of foldLeftM
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.