CurryInfo: currypp-3.2.0 / CPP.ICode.TransICode.splitByLine

 
splitByLine :: String -> (String,String)
splitByLine s = splitByLineIter "" s
  where
    splitByLineIter acc "" = (reverse acc,"")
    splitByLineIter acc (c:cs) | c == '\n' = (reverse ('\n':acc),cs)
                               | otherwise = splitByLineIter (c:acc) cs

 argument 1

 deterministic operation

 
The function splitByLine splits a string at the first newline
@param s - The string
@result A pair of strings, one containg the string before the newline
        with the newline, the other containing the string after the newline

 _

 referentially transparent operation

 no fixity defined

 {(_) |-> {(,)}}

 splitByLine

 no precedence defined

 {(,)}

 String -> (String, String)

 operation might suspend on free variables

 yes

 possibly non-reducible on same data term