more Isabelle/Haskell operations;
authorwenzelm
Sun, 29 Aug 2021 13:16:22 +0200
changeset 74492 12152390db34
parent 74491 a1ccecae6a57
child 74493 e16ac8907148
child 74593 2dc63077d926
more Isabelle/Haskell operations;
src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Sun Aug 29 12:04:55 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Sun Aug 29 13:16:22 2021 +0200
@@ -228,7 +228,7 @@
   show_bytes, show_text,
 
   proper_string, enclose, quote, space_implode, commas, commas_quote, cat_lines,
-  space_explode, split_lines, trim_line,
+  space_explode, split_lines, trim_line, trim_split_lines,
 
   getenv, getenv_strict)
 where
@@ -401,6 +401,9 @@
 cat_lines :: StringLike a => [a] -> a
 cat_lines = space_implode "\n"
 
+trim_split_lines :: StringLike a => a -> [a]
+trim_split_lines = trim_line #> split_lines #> map trim_line
+
 
 {- getenv -}