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.

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

Provide more options for rendering units #25

Open
propensive opened this issue Jun 1, 2023 · 0 comments
Open

Provide more options for rendering units #25

propensive opened this issue Jun 1, 2023 · 0 comments
Assignees
Labels
api Relates to the API design enhancement An improvement to existing functionality

Comments

@propensive
Copy link
Owner

For any particular unit, certain conventions exist for how that unit should be rendered, for example,

  • the order the component units should appear in
  • whether it should be written with metric multipliers (e.g. k, M, G, T, etc)
  • which multipliers should be used, e.g. ns, µs, ms and s are all commonly used for times, but rarely ks or cs, whereas lengths are often stated in mm, cm, m, km, but rarely Mm or Gm.

This can be provided by an erased typeclass instance, though its state/format still needs to be determined.

@propensive propensive self-assigned this Jun 1, 2023
@propensive propensive added enhancement An improvement to existing functionality api Relates to the API design labels Jun 1, 2023
@github-project-automation github-project-automation bot moved this to Todo in Soundness Jun 1, 2023
@propensive propensive added this to the Primevère milestone Jun 1, 2023
@propensive propensive removed this from the Primevère milestone Oct 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api Relates to the API design enhancement An improvement to existing functionality
Projects
Status: Todo
Development

No branches or pull requests

1 participant