Lines Matching defs:scan
711 (* This function is used as the basis of Char.scan and String.scan. There is a
712 crucial difference between Char.scan and String.scan in that Char.scan returns
713 NONE if it cannot read a single character whereas String.scan returns NONE only
865 fun scan (getc: (char, 'a) StringCvt.reader) (str :'a) : (char * 'a) option =
869 (case getc strm' of NONE => (* end-of-string *) NONE | _ => scan getc strm')
875 val fromString = StringCvt.scanString scan
939 (* It might be worth rewriting scan to raise Conversion with
949 case scan rdr 0w0 of
1025 fun scan (getc: (char, 'a) StringCvt.reader) (str :'a) : (string * 'a) option =
1038 val fromString = StringCvt.scanString scan
1063 (* It might be worth rewrite scan to raise Conversion with
1079 else case Char.scan rdr i of
1443 (* TODO: This would be quicker with an RTS function to scan for a
1457 (* TODO: This would be quicker with an RTS function to scan for a