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.

Sign up for GitHub

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

Jump to bottom

Add Ior Monad Transformer #1977

Merged
merged 11 commits into from
Nov 22, 2017
Merged

Add Ior Monad Transformer #1977

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
c892c38
Create IorT class
frroliveira Oct 16, 2017
d7e266f
Create IorT companion object
frroliveira Oct 16, 2017
61a1c3d
Create IorT instances
frroliveira Oct 17, 2017
26d7913
Use test naming standard for IorT
frroliveira Oct 19, 2017
970cd21
Add more functions to IorT
frroliveira Oct 25, 2017
4ea72b5
Add mapK to IorT
frroliveira Nov 7, 2017
8c82d8c
Add .condF to IorT
frroliveira Nov 18, 2017
d735c1a
First attempt at IorT docs
frroliveira Nov 19, 2017
86a3339
Update CONTRIBUTING to install latest of jekyll with apt
frroliveira Nov 19, 2017
5be9cb1
Switch priority of MonadError instances for IorT
frroliveira Nov 20, 2017
adc87b7
Add liftK to IorT
frroliveira Nov 21, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Switch priority of MonadError instances for IorT
  • Loading branch information
@frroliveira
frroliveira committed Nov 20, 2017
commit 5be9cb1b0d7ebe305a01364916ba48626cea075a
12 changes: 6 additions & 6 deletions core/src/main/scala/cats/data/IorT.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -406,18 +406,18 @@ private[data] abstract class IorTInstances1 extends IorTInstances2 {
implicit def catsDataFoldableForIorT[F[_], A](implicit F: Foldable[F]): Foldable[IorT[F, A, ?]] =
new IorTFoldable[F, A] { val F0: Foldable[F] = F }

implicit def catsDataMonadErrorFForIorT[F[_], A, E](implicit FE: MonadError[F, E], A: Semigroup[A]): MonadError[IorT[F, A, ?], E] =
new IorTMonadErrorF[F, A, E] {
implicit def catsDataMonadErrorForIorT[F[_], A](implicit F: Monad[F], A: Semigroup[A]): MonadError[IorT[F, A, ?], A] =
new IorTMonadError[F, A] {
val A0: Semigroup[A] = A
val F0: MonadError[F, E] = FE
val F0: Monad[F] = F
}
}

private[data] abstract class IorTInstances2 extends IorTInstances3 {
implicit def catsDataMonadErrorForIorT[F[_], A](implicit F: Monad[F], A: Semigroup[A]): MonadError[IorT[F, A, ?], A] =
new IorTMonadError[F, A] {
implicit def catsDataMonadErrorFForIorT[F[_], A, E](implicit FE: MonadError[F, E], A: Semigroup[A]): MonadError[IorT[F, A, ?], E] =
new IorTMonadErrorF[F, A, E] {
val A0: Semigroup[A] = A
val F0: Monad[F] = F
val F0: MonadError[F, E] = FE
}

implicit def catsDataEqForIorT[F[_], A, B](implicit F: Eq[F[Ior[A, B]]]): Eq[IorT[F, A, B]] =
Expand Down