stdlib

Description

A function to pad a string with zeros or another symbol to a given width could be helpful in many cases, especially together with the to_string() function for integer to string conversion.

Currently available methods to achieve this are using concatenation

width = 32
str = "hello"
padded_str = repeat('0',width-len(str)')//str

and perhaps also internal file I/O

We would need a symmetrical operation to product from Applicative but for Monad (or Bind) backed by a let-operator: val (and*) : 'a t -> 'b t -> ('a * 'b) t.