Source file `group.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
open Core
include Utility

type t = int list

(* for Set.Elt *)
let compare x y = List.compare Stdlib.compare x y
let sexp_of_t = List.sexp_of_t Sexplib.Conv.sexp_of_int
let t_of_sexp = List.t_of_sexp Sexplib.Conv.int_of_sexp

let empty () = []

let sort l = List.sort ~compare:Stdlib.compare l

let uniq l = List.dedup_and_sort ~compare:Stdlib.compare l

let of_char_list l =
  let rec readlist l g =
    match l with
    | [] -> g
    | c :: cs -> match c with
      | 'a' .. 'z' -> readlist cs ((from_lower c) :: g)
      | 'A' .. 'Z' -> readlist cs ((from_upper c) :: g)
      | _ ->  readlist cs g
  in
  uniq (readlist l [])

let of_string s =
  of_char_list (String.to_list_rev s)

let contains s c = List.mem s c