Maybe they need something like we have in Arrows — arrows v0.2.1
# Standard first position pipe
2 |> Integer.to_string()
"2"
# Using ellipsis to place the piped value in a non-first position
3 |> String.pad_leading("2", ..., "0")
"002"
Maybe they need something like we have in Arrows — arrows v0.2.1
# Standard first position pipe
2 |> Integer.to_string()
"2"
# Using ellipsis to place the piped value in a non-first position
3 |> String.pad_leading("2", ..., "0")
"002"