open Printf let pp_error title msg = sprintf "
%s: %s

" title msg let paginate ~size ~page l = let min = 1 + (page-1) * size in let max = page * size in let rec aux i l = match (i, l) with | _, [] -> [] | i, hd :: tl when i < min -> aux (i+1) tl | i, hd :: tl when i >= min && i <= max -> hd :: aux (i+1) tl | i, hd :: tl -> [] in assert (size > 0 && page > 0); aux 1 l (** pretty print a list of URIs to an HELM theory file *) let theory_of_result page result = let results_per_page = Helm_registry.get_int "search_engine.results_per_page" in let results_no = List.length result in let result = paginate ~size:results_per_page ~page result in if results_no > 0 then let mode = "typeonly" in let results = let idx = ref ((page - 1) * results_per_page + List.length result + 1) in List.fold_right (fun uri i -> decr idx ; sprintf " %d. %s %s" !idx uri uri mode i) result "" in let summary = sprintf "%d result%s found" results_no (if results_no > 1 then "s" else "") in let results = sprintf " %s
" results in (summary, results) else ("no results found", "") let html_of_interpretations interps = let choice_of_interp interp = sprintf "\n%s\n
" (String.concat "\n" (List.map (fun (k, v) -> sprintf "%s%s" k v) interp)) in let interp_no = ref ~-1 in sprintf "\n%s\n
" (String.concat "\n" (List.map (fun interp -> sprintf " %s " (incr interp_no; !interp_no) (choice_of_interp interp)) interps))