-
Notifications
You must be signed in to change notification settings - Fork 17
Closed
Description
As suggested by @natefaubion here. /cc @hdgarrood
It would be interesting to have a few basic functions for converting Numbers to a String.
There are several packages dealing with (pretty) printing of numbers already:
- purescript-number-format (@Jonplussed) - exports some available methods from JavaScript (
toExponential,toFixed,toPrecision) and defines a few convenient helper functions (toString,toHexString, ..). - purescript-format (@sharkdp) - pretty printing of integers and numbers,
Monoid-based interface for defining the style. - purescript-formatters (@slamdata) - more ambitious project, also does date/time formatting.
In my opinion, merging purescript-number-format into this package or implementing a similar functionality would be the best option. The API of purescript-format is probably "too opinionated" for a low-level module like this.
What do you think?
Metadata
Metadata
Assignees
Labels
No labels