CurryInfo: base-3.4.0 / Prelude.lines

 
lines :: String -> [String]
lines []       = []
lines as@(_:_) = let (l, bs) = splitLine as in l : lines bs
 where splitLine []     = ([], [])
       splitLine (c:cs) = if c == '\n' then ([], cs)
                                       else let (ds, es) = splitLine cs
                                            in (c : ds, es)

 argument 1

 deterministic operation

 
Breaks a string into a list of lines where a line is terminated at a
newline character. The resulting lines do not contain newline characters.

 _

 referentially transparent operation

 no fixity defined

 {({[]}) |-> {[]} || ({:}) |-> {:}}

 lines

 no precedence defined

 {:,[]}

 [Char] -> [[Char]]

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms