module Stdlib.Data.String.Base; import Juvix.Builtin.V1.String open public; import Stdlib.Data.List.Base open; import Stdlib.Function open; import Stdlib.Data.Fixity open; --- Concatenates a ;List; of ;String;s. concatStr : List String -> String := foldl (++str) ""; --- Joins a ;List; of ;String;s with "\n". unlines : List String -> String := intersperse "\n" >> concatStr;Last modified on 2024-07-11 16:35 UTC