我需要输出前导零和六位数的数字。在C或Java中,我将"%06d"
用作格式字符串来执行此操作。PureScript是否支持格式字符串?或者我将如何实现呢?
我不知道在PureScript中会支持printf样式功能的任何模块。有一种类型安全的数字格式化方法会非常好。
在此期间,我将编写如下内容:
import Data.String (length, fromCharArray)
import Data.Array (replicate)
-- | Pad a string with the given character up to a maximum length.
padLeft :: Char -> Int -> String -> String
padLeft c len str = prefix <> str
where prefix = fromCharArray (replicate (len - length str) c)
-- | Pad a number with leading zeros up to the given length.
padZeros :: Int -> Int -> String
padZeros len num | num >= 0 = padLeft '0' len (show num)
| otherwise = "-" <> padLeft '0' len (show (-num))
产生以下结果:
> padZeros 6 8
"000008"
> padZeros 6 678
"000678"
> padZeros 6 345678
"345678"
> padZeros 6 12345678
"12345678"
> padZeros 6 (-678)
"-000678"
编辑:同时,我编写了一个小模块,可以用这种方式格式化数字:https : //github.com/sharkdp/purescript-format
对于您的特定示例,您需要执行以下操作:
如果您想格式化诠释egers:
> format (width 6 <> zeroFill) 123
"000123"
如果要格式化Number s
> format (width 6 <> zeroFill <> precision 1) 12.345
"0012.3"
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句