Skip to content

Commit

Permalink
Merge pull request #34 from Kevin-Lee/task/33/change-pureeffect-to-ef…
Browse files Browse the repository at this point in the history
…fectofpure

Close #33 - Change pureEffect to effectOfPure
  • Loading branch information
kevin-lee committed Apr 7, 2020
2 parents 1b45fb7 + b44f254 commit c72662e
Show file tree
Hide file tree
Showing 8 changed files with 20 additions and 20 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ object EffectConstructor {

override def effectOf[A](a: => A): IO[A] = IO(a)

override def pureEffect[A](a: A): IO[A] = IO.pure(a)
override def effectOfPure[A](a: A): IO[A] = IO.pure(a)

override def unit: IO[Unit] = IO.unit
}
Expand Down
8 changes: 4 additions & 4 deletions cats-effect/src/main/scala/effectie/cats/EitherTSupport.scala
Original file line number Diff line number Diff line change
Expand Up @@ -9,14 +9,14 @@ trait EitherTSupport {
def eitherTEffect[F[_] : EffectConstructor, A, B](ab: => Either[A, B]): EitherT[F, A, B] =
EitherT(EffectConstructor[F].effectOf(ab))

def eitherTPureEffect[F[_] : EffectConstructor, A, B](ab: Either[A, B]): EitherT[F, A, B] =
EitherT(EffectConstructor[F].pureEffect(ab))
def eitherTEffectOfPure[F[_] : EffectConstructor, A, B](ab: Either[A, B]): EitherT[F, A, B] =
EitherT(EffectConstructor[F].effectOfPure(ab))

def eitherTLiftEffect[F[_] : EffectConstructor : Functor, A, B](b: => B): EitherT[F, A, B] =
EitherT.liftF[F, A, B](EffectConstructor[F].effectOf(b))

def eitherTLiftPureEffect[F[_] : EffectConstructor, A, B](b: B): EitherT[F, A, B] =
EitherT(EffectConstructor[F].pureEffect(b.asRight[A]))
def eitherTLiftEffectOfPure[F[_] : EffectConstructor, A, B](b: B): EitherT[F, A, B] =
EitherT(EffectConstructor[F].effectOfPure(b.asRight[A]))

def eitherTLiftF[F[_] : EffectConstructor : Functor, A, B](fb: F[B]): EitherT[F, A, B] =
EitherT.liftF[F, A, B](fb)
Expand Down
8 changes: 4 additions & 4 deletions cats-effect/src/main/scala/effectie/cats/OptionTSupport.scala
Original file line number Diff line number Diff line change
Expand Up @@ -9,14 +9,14 @@ trait OptionTSupport {
def optionTEffect[F[_] : EffectConstructor, A](a: => Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOf(a))

def optionTPureEffect[F[_] : EffectConstructor, A](a: Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].pureEffect(a))
def optionTEffectOfPure[F[_] : EffectConstructor, A](a: Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOfPure(a))

def optionTLiftEffect[F[_] : EffectConstructor : Functor, A](a: => A): OptionT[F, A] =
OptionT.liftF[F, A](EffectConstructor[F].effectOf(a))

def optionTLiftPureEffect[F[_] : EffectConstructor, A](a: A): OptionT[F, A] =
OptionT(EffectConstructor[F].pureEffect(a.some))
def optionTLiftEffectOfPure[F[_] : EffectConstructor, A](a: A): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOfPure(a.some))

def optionTLiftF[F[_] : EffectConstructor : Functor, A](fa: F[A]): OptionT[F, A] =
OptionT.liftF[F, A](fa)
Expand Down
2 changes: 1 addition & 1 deletion core/src/main/scala/effectie/EffectConstructor.scala
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ package effectie

trait EffectConstructor[F[_]] {
def effectOf[A](a: => A): F[A]
def pureEffect[A](a: A): F[A]
def effectOfPure[A](a: A): F[A]
def unit: F[Unit]
}

Expand Down
2 changes: 1 addition & 1 deletion core/src/main/scala/effectie/Effectful.scala
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ trait Effectful {

def effectOf[F[_] : EffectConstructor, A](a: => A): F[A] = EffectConstructor[F].effectOf(a)

def pureEffect[F[_] : EffectConstructor, A](a: A): F[A] = EffectConstructor[F].pureEffect(a)
def effectOfPure[F[_] : EffectConstructor, A](a: A): F[A] = EffectConstructor[F].effectOfPure(a)

def effectUnit[F[_] : EffectConstructor]: F[Unit] = EffectConstructor[F].unit

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ object EffectConstructor {

override def effectOf[A](a: => A): IO[A] = IO(a)

override def pureEffect[A](a: A): IO[A] = Monad[IO].pure(a)
override def effectOfPure[A](a: A): IO[A] = Monad[IO].pure(a)

override def unit: IO[Unit] = IO.ioUnit
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -7,14 +7,14 @@ trait EitherTSupport {
def eitherTEffect[F[_] : EffectConstructor, A, B](ab: => A \/ B): EitherT[F, A, B] =
EitherT(EffectConstructor[F].effectOf(ab))

def eitherTPureEffect[F[_] : EffectConstructor, A, B](ab: A \/ B): EitherT[F, A, B] =
EitherT(EffectConstructor[F].pureEffect(ab))
def eitherTEffectOfPure[F[_] : EffectConstructor, A, B](ab: A \/ B): EitherT[F, A, B] =
EitherT(EffectConstructor[F].effectOfPure(ab))

def eitherTLiftEffect[F[_] : EffectConstructor : Functor, A, B](b: => B): EitherT[F, A, B] =
EitherT.rightT[F, A, B](EffectConstructor[F].effectOf(b))

def eitherTLiftPureEffect[F[_] : EffectConstructor : Functor, A, B](b: B): EitherT[F, A, B] =
EitherT.rightT[F, A, B](EffectConstructor[F].pureEffect(b))
def eitherTLiftEffectOfPure[F[_] : EffectConstructor : Functor, A, B](b: B): EitherT[F, A, B] =
EitherT.rightT[F, A, B](EffectConstructor[F].effectOfPure(b))

def eitherTLiftF[F[_] : EffectConstructor : Functor, A, B](fb: F[B]): EitherT[F, A, B] =
EitherT.rightT[F, A, B](fb)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,14 +8,14 @@ trait OptionTSupport {
def optionTEffect[F[_] : EffectConstructor, A](a: => Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOf(a))

def optionTPureEffect[F[_] : EffectConstructor, A](a: Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].pureEffect(a))
def optionTEffectOfPure[F[_] : EffectConstructor, A](a: Option[A]): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOfPure(a))

def optionTLiftEffect[F[_] : EffectConstructor : Functor, A](a: => A): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOf(a).map(_.some))

def optionTLiftPureEffect[F[_] : EffectConstructor, A](a: A): OptionT[F, A] =
OptionT(EffectConstructor[F].pureEffect(a.some))
def optionTLiftEffectOfPure[F[_] : EffectConstructor, A](a: A): OptionT[F, A] =
OptionT(EffectConstructor[F].effectOfPure(a.some))

def optionTLiftF[F[_] : EffectConstructor : Functor, A](fa: F[A]): OptionT[F, A] =
OptionT(fa.map(_.some))
Expand Down

0 comments on commit c72662e

Please sign in to comment.