Lines Matching defs:ord
146 val ord: char -> int = RunCall.unsafeCast
150 fun succ c = if ord c = maxOrd then raise Chr else chr(ord c + 1)
151 and pred c = if ord c = 0 then raise Chr else chr(ord c - 1)
164 (* NOTE: The web page includes 0 <= ord c but all chars satisfy that. *)
170 fun toLower c = if isUpper c then chr (ord c + 32) else c
171 fun toUpper c = if isLower c then chr (ord c - 32) else c
672 then readHex' getc str' (i-1) (res*16 + ord ch - ord #"0")
674 then readHex' getc str' (i-1) (res*16 + ord ch - ord #"a" + 10)
676 then readHex' getc str' (i-1) (res*16 + ord ch - ord #"A" + 10)
693 if #"0" <= ch andalso ord #"9" >= ord ch
694 then readDec getc str' (i-1) (res*10 + ord ch - ord #"0")
706 if #"0" <= ch andalso ord #"7" >= ord ch
707 then readOct getc str' (i-1) (res*8 + ord ch - ord #"0")
743 if ord ch'' >= 64 andalso 95 >= ord ch''
744 then SOME(charAsString(chr(ord ch'' - 64)), str''')
804 if ord ch'' >= 64 andalso 95 >= ord ch''
805 then SOME(chr(ord ch'' - 64), str''')
887 charAsString(chr(i mod base + ord #"0"))
910 then "\\^" ^ charAsString(chr(ord ch + 64))
913 "\\" ^ intRepr(ord ch)
934 "\\" ^ octalRepr(ord ch)
1694 val ord : char -> int = Char.ord