Lines Matching defs:str
299 fun scan getc str =
302 fun getChars n str =
304 fun getN 0 s str = SOME (String.implode(List.rev s), str)
305 | getN n s str =
306 case getc str of
308 | SOME(ch, str') => getN (n-1) (ch :: s) str'
310 getN n [] str
316 fun parseDayOfWeek str =
317 case getChars 3 str of
319 | SOME(s, str') =>
321 then SOME(s, str') else NONE
323 fun parseMonth str =
324 case getChars 3 str of
326 | SOME(s, str') =>
330 if s = s' then SOME(Vector.sub(monthVec, n), str') else t) NONE
334 fun parse2Digits str =
335 case getc str of
350 fun parseTime str =
351 case parse2Digits str of
371 fun parseYear str =
372 case parse2Digits str of
380 fun parseDate str =
381 case parseDayOfWeek str of
416 case getc str of
418 | SOME (ch, str') =>
420 if Char.isSpace ch then scan getc str'
421 else parseDate str
434 val str = Int.toString i
437 padZeros (n-String.size str) ^ str