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

Rename Type Variables for MealyT #41

Closed
eviefp opened this issue Sep 30, 2020 · 2 comments · Fixed by #44
Closed

Rename Type Variables for MealyT #41

eviefp opened this issue Sep 30, 2020 · 2 comments · Fixed by #44
Assignees
@paluh
Labels
good first issue First-time contributors who are looking to help should work on these issues.

Comments

@eviefp
Copy link
Member

eviefp commented Sep 30, 2020

Rename MealyT f s a to MealyT effect input output or MealyT eff i o in order to make the type variables easier to understand.

Additional context
See the discussion in #38 for more context.
@thomashoneyman thomashoneyman added good first issue First-time contributors who are looking to help should work on these issues. help wanted labels Sep 30, 2020
@thomashoneyman
Copy link
Contributor

I would also be happy with MealyT f i o, as f is commonly used to represent "some Applicative f", and i + o is commonly interpreted as "input / output".

@paluh paluh self-assigned this Sep 30, 2020
@paluh
Copy link
Contributor

paluh commented Sep 30, 2020

I have a hacking meeting tomorrow with @mhmdanas so I think that we can push this.

@paluh paluh mentioned this issue Oct 2, 2020
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@paluh paluh

Labels
good first issue First-time contributors who are looking to help should work on these issues.
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Rename variables so they reflect more their input / output roles paluh/purescript-machines
3 participants
@paluh @eviefp @thomashoneyman