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 Coercible methods and type parameters #160

Closed
kevin-lee opened this issue Dec 23, 2023 · 0 comments
Closed

Rename Coercible methods and type parameters #160

kevin-lee opened this issue Dec 23, 2023 · 0 comments
Assignees
@kevin-lee
Labels
task
Milestone
m5

Comments

@kevin-lee
Copy link
Owner

kevin-lee commented Dec 23, 2023 •
edited
Loading

Summary

Rename Coercible methods and type parameters

Version

0.4.0

Description

  • wrap and unwrap suffixed with M: M to TC (type constructor)
  • wrap and unwrap suffixed with MOfM: MOfM to HKT (higher-kinded type)
  • M[*] to F[*]
  • M1[*] to F[*] and M2[*] to G[*] e.g.) M1[M2[A]] to F[G[A]]
@kevin-lee kevin-lee added the task label Dec 23, 2023
@kevin-lee kevin-lee added this to the m5 milestone Dec 23, 2023
@kevin-lee kevin-lee self-assigned this Dec 23, 2023
kevin-lee added a commit that referenced this issue Dec 23, 2023
@kevin-lee
Close #160 - Rename Coercible methods and type parameters
75a3ec2 
* wrap and unwrap suffixed with M: M to TC (type constructor)
* wrap and unwrap suffixed with MOfM: MOfM to HKT (higher-kinded type)
* M[*] to F[*]
* M1[*] to F[*] and M2[*] to G[*] e.g.) M1[M2[A]] to F[G[A]]
@kevin-lee kevin-lee mentioned this issue Dec 23, 2023
Merged
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
Projects
None yet
Milestone
m5
Development

No branches or pull requests
1 participant
@kevin-lee