--- a/src/Tools/Haskell/Haskell.thy Fri Sep 20 18:09:04 2024 +0200
+++ b/src/Tools/Haskell/Haskell.thy Fri Sep 20 19:07:10 2024 +0200
@@ -244,8 +244,8 @@
StringLike, STRING (..), TEXT (..), BYTES (..),
show_bytes, show_text,
- proper_string, enclose, quote, space_implode, commas, commas_quote, cat_lines,
- space_explode, split_lines, trim_line, trim_split_lines,
+ proper_string, enclose, quote, space_implode, implode_space, commas, commas_quote,
+ cat_lines, space_explode, split_lines, trim_line, trim_split_lines,
getenv, getenv_strict)
where
@@ -416,6 +416,9 @@
space_implode :: StringLike a => a -> [a] -> a
space_implode s = mconcat . separate s
+implode_space :: StringLike a => [a] -> a
+implode_space = space_implode " "
+
commas, commas_quote :: StringLike a => [a] -> a
commas = space_implode ", "
commas_quote = commas . map quote