Sha256: 88ad4134df5c73090b6e9ad39da1bdbbbd70a528f7e39301625288815fc3f460
Contents?: true
Size: 479 Bytes
Versions: 142
Compression:
Stored size: 479 Bytes
Contents
fun clean text = let fun valid (#"0" :: _) = false | valid (#"1" :: _) = false | valid digits = List.nth (digits, 3) > #"1" fun check digits = case length digits of 10 => if valid digits then SOME (implode digits) else NONE | 11 => if hd digits = #"1" then check (tl digits) else NONE | _ => NONE in check (List.filter Char.isDigit (explode text)) end
Version data entries
142 entries across 142 versions & 1 rubygems