# HG changeset patch
# User wenzelm
# Date 1630235782 -7200
# Node ID 12152390db34738708c266154a47269b1e86cea9
# Parent  a1ccecae6a57397c3a38c009a17deb6fd2d988ed
more Isabelle/Haskell operations;

diff -r a1ccecae6a57 -r 12152390db34 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 -}