Source file `containers.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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
(*********************************************************************************)
(*                OCaml-LDP                                                      *)
(*                                                                               *)
(*    Copyright (C) 2016-2023 Institut National de Recherche en Informatique     *)
(*    et en Automatique. All rights reserved.                                    *)
(*                                                                               *)
(*    This program is free software; you can redistribute it and/or modify       *)
(*    it under the terms of the GNU Lesser General Public License version        *)
(*    3 as published by the Free Software Foundation.                            *)
(*                                                                               *)
(*    This program is distributed in the hope that it will be useful,            *)
(*    but WITHOUT ANY WARRANTY; without even the implied warranty of             *)
(*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              *)
(*    GNU General Public License for more details.                               *)
(*                                                                               *)
(*    You should have received a copy of the GNU General Public License          *)
(*    along with this program; if not, write to the Free Software                *)
(*    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA                   *)
(*    02111-1307  USA                                                            *)
(*                                                                               *)
(*    Contact: Maxence.Guesdon@inria.fr                                          *)
(*                                                                               *)
(*********************************************************************************)

type tree =
  | NRDF of Iri.t * Ct.t
  | RDF of Iri.t
  | CONT of Iri.t * tree list

let node_text t =
  match t with
    CONT (iri, _) -> Iri.to_string iri
  | RDF iri -> Iri.to_string iri
  | NRDF (iri, ct) -> Printf.sprintf "%s [%s]"
      (Iri.to_string iri) (Ct.to_string ct)

module type S =
  sig
    val containers : Iri.t -> tree Lwt.t
  end

module Make (P:Http.Http) : S =
  struct
    let containers iri =
      let rec iter iri =
        match%lwt P.get_exn iri with
        | Types.Container r ->
            let children = Types.container_children r.Types.graph in
            let%lwt children = Lwt_list.map_p iter children in
            Lwt.return (CONT (iri, children))
        | Types.Rdf r -> Lwt.return (RDF iri)
        | Types.Non_rdf r -> Lwt.return (NRDF (iri, r.ct))
      in
      iter iri
  end