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

Change pureEffect to effectOfPure #33

Closed
10 tasks done
kevin-lee opened this issue Apr 7, 2020 · 0 comments · Fixed by #34
Closed
10 tasks done

Change pureEffect to effectOfPure #33

kevin-lee opened this issue Apr 7, 2020 · 0 comments · Fixed by #34
Assignees
@kevin-lee
Labels
task Task v1 Effectie v1
Milestone
milestone2

Comments

@kevin-lee
Copy link
Owner

kevin-lee commented Apr 7, 2020 •
edited

Task

Summary

Change pureEffect in effectOfPure.

Project Details

Version: 0.1.0

Description

Change pureEffect to effectOfPure as pureEffect may sound like creating a pure effect, yet it's actually creating an effect of pure value.

  • EffectConstructor.pureEffect => EffectConstructor.effectOfPure
  • Effectful.pureEffect => Effectful.effectOfPure
  • effectie.scalaz.OptionTSupport.optionTPureEffect => effectie.scalaz.OptionTSupport.optionTEffectOfPure
  • effectie.scalaz.OptionTSupport.optionTLiftPureEffect => effectie.scalaz.OptionTSupport.optionTLiftEffectOfPure
  • effectie.scalaz.EitherTSupport.eitherTPureEffect => effectie.scalaz.EitherTSupport.eitherTEffectOfPure
  • effectie.scalaz.EitherTSupport.eitherTLiftPureEffect => effectie.scalaz.EitherTSupport.eitherTLiftEffectOfPure
  • effectie.cats.OptionTSupport.optionTPureEffect => effectie.cats.OptionTSupport.optionTEffectOfPure
  • effectie.cats.OptionTSupport.optionTLiftPureEffect => effectie.cats.OptionTSupport.optionTLiftEffectOfPure
  • effectie.cats.EitherTSupport.eitherTPureEffect => effectie.cats.EitherTSupport.eitherTEffectOfPure
  • effectie.cats.EitherTSupport.eitherTLiftPureEffect => effectie.cats.EitherTSupport.eitherTLiftEffectOfPure
@kevin-lee kevin-lee added the task Task label Apr 7, 2020
@kevin-lee kevin-lee added this to the milestone2 milestone Apr 7, 2020
@kevin-lee kevin-lee self-assigned this Apr 7, 2020
@kevin-lee kevin-lee changed the title Change pureEffect in EffectConstructor to effectPure Change pureEffect in EffectConstructor to effectOfPure Apr 7, 2020
@kevin-lee kevin-lee changed the title Change pureEffect in EffectConstructor to effectOfPure Change pureEffec to effectOfPure Apr 7, 2020
@kevin-lee kevin-lee changed the title Change pureEffec to effectOfPure Change pureEffect to effectOfPure Apr 7, 2020
kevin-lee added a commit that referenced this issue Apr 7, 2020
@kevin-lee
Close #33 - Change pureEffect to effectOfPure
b44f254
@kevin-lee kevin-lee mentioned this issue Apr 7, 2020
Merged
kevin-lee added a commit that referenced this issue Apr 7, 2020
@kevin-lee
Merge pull request #34 from Kevin-Lee/task/33/change-pureeffect-to-ef…
c72662e 
…fectofpure

Close #33 - Change pureEffect to effectOfPure
@kevin-lee kevin-lee mentioned this issue Apr 7, 2020
Merged
@kevin-lee kevin-lee added the v1 Effectie v1 label Nov 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kevin-lee kevin-lee

Labels
task Task v1 Effectie v1
Projects
None yet
Milestone
milestone2
Development

Successfully merging a pull request may close this issue.

Close #33 - Change pureEffect to effectOfPure kevin-lee/effectie
1 participant
@kevin-lee