moduleAgda.Utils.Unicode(isUnicodeId,convertLineEndings)whereimportData.Char-- Unicode ----------------------------------------------------------------isUnicodeId::Char->BoolisUnicodeIdc=isPrintc&&not(isAsciic)-- | Converts many character sequences which may be interpreted as-- line or paragraph separators into '\n'.convertLineEndings::String->StringconvertLineEndings('\x000D':'\x000A':s)='\n':convertLineEndingssconvertLineEndings('\x000A':s)='\n':convertLineEndingssconvertLineEndings('\x000D':s)='\n':convertLineEndingssconvertLineEndings('\x0085':s)='\n':convertLineEndingssconvertLineEndings('\x000C':s)='\n':convertLineEndingssconvertLineEndings('\x2028':s)='\n':convertLineEndingssconvertLineEndings('\x2029':s)='\n':convertLineEndingssconvertLineEndings(c:s)=c:convertLineEndingssconvertLineEndings""=""