anil.recoil.org / ocaml-forester
forked from jonmsterling.com/ocaml-forester
ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

rename Xml_tree to Types

Jon Sterling f05f30a0 3a3f6a51

+29 -29
+1 -1
lib/compiler/Eval.ml
··· 1 1 open Forester_prelude 2 2 open Forester_core 3 3 4 - module T = Xml_tree 4 + module T = Types 5 5 module QLN = Query.Locally_nameless(Symbol) 6 6 7 7 module Env = struct
+1 -1
lib/compiler/Eval.mli
··· 1 1 open Forester_core 2 - module T := Xml_tree 2 + module T := Types 3 3 4 4 type job = 5 5 | LaTeX_to_svg of
+1 -1
lib/compiler/Syn.ml
··· 39 39 | Parent 40 40 | Taxon 41 41 | Meta 42 - | Attribution of Xml_tree.attribution_role * [`Content | `Iri] 42 + | Attribution of Types.attribution_role * [`Content | `Iri] 43 43 | Tag of [`Content | `Iri] 44 44 | Date 45 45 | Number
+1 -1
lib/core/Datalog_engine.ml
··· 1 - module T = Xml_tree 1 + module T = Types 2 2 module D = Datalog.Default 3 3 (* BottomUp.Make(struct include Vertex let to_string = show end) *) 4 4
+1 -1
lib/core/Forester_core.ml
··· 15 15 16 16 module TeX_cs = TeX_cs 17 17 18 - module Xml_tree = Xml_tree 18 + module Types = Types 19 19 20 20 module Trie = Trie 21 21
+2 -2
lib/core/Vertex.ml
··· 1 - type t = Xml_tree.content Xml_tree.vertex 1 + type t = Types.content Types.vertex 2 2 [@@deriving show] 3 3 4 4 let hash = Hashtbl.hash 5 5 let compare = compare 6 6 let equal = ( = ) 7 7 8 - let iri_of_vertex : _ Xml_tree.vertex -> Iri.t option = function 8 + let iri_of_vertex : _ Types.vertex -> Iri.t option = function 9 9 | Iri_vertex iri -> Some iri 10 10 | Content_vertex _ -> None
+1 -1
lib/core/Vertex.mli
··· 1 1 open Base 2 2 3 - type t = Xml_tree.content Xml_tree.vertex 3 + type t = Types.content Types.vertex 4 4 include Set.OrderedType with type t := t 5 5 val equal : t -> t -> bool 6 6 val hash : t -> int
lib/core/Xml_tree.ml lib/core/Types.ml
+1 -1
lib/forest/Forest.ml
··· 1 1 open Forester_prelude 2 2 open Forester_core 3 3 4 - module T = Xml_tree 4 + module T = Types 5 5 module Q = Query 6 6 7 7 type resource = T.content T.resource
+1 -1
lib/forest/Forest.mli
··· 1 1 open Forester_core 2 2 3 - module T = Xml_tree 3 + module T = Types 4 4 5 5 type resource = T.content T.resource 6 6
+1 -1
lib/forest/Forest_util.ml
··· 2 2 3 3 module Make (F: Forest.S) = struct 4 4 module PT = Plain_text_client.Make(F)(Plain_text_client.Default_params) 5 - module C = Xml_tree.Comparators(PT) 5 + module C = Types.Comparators(PT) 6 6 7 7 let get_sorted_articles addrs = 8 8 addrs
+1 -1
lib/forest/Json_manifest_client.ml
··· 1 1 open Forester_prelude 2 2 open Forester_core 3 3 4 - module T = Xml_tree 4 + module T = Types 5 5 6 6 module Make (R: sig val route : Iri.t -> string end) (F: Forest.S) = struct 7 7
+1 -1
lib/forest/Json_manifest_client.mli
··· 4 4 val render_trees : 5 5 dev: bool -> 6 6 host: string -> 7 - Xml_tree.content Xml_tree.article list -> 7 + Types.content Types.article list -> 8 8 Yojson.Basic.t 9 9 end
+3 -3
lib/forest/Legacy_query_engine.ml
··· 2 2 open Forester_core 3 3 4 4 module type S = sig 5 - val run_query : Xml_tree.query -> Vertex_set.t 5 + val run_query : Types.query -> Vertex_set.t 6 6 end 7 7 8 8 module Make (Graphs: Forest_graphs.S) : S = struct ··· 32 32 | Q.Incoming -> Forest_graph.mem_edge gph vtx' vtx 33 33 | Q.Outgoing -> Forest_graph.mem_edge gph vtx vtx' 34 34 35 - let rec check_query ~env (q : Xml_tree.query) vtx = 35 + let rec check_query ~env (q : Types.query) vtx = 36 36 match q with 37 37 | Rel (mode, pol, rel, vtx_val') -> 38 38 let vtx' = eval_vertex ~env vtx_val' in ··· 62 62 let@ q = List.exists @~ qs in 63 63 check_query ~env q vtx 64 64 65 - and run_query ~env (q : Xml_tree.query) : Vertex_set.t = 65 + and run_query ~env (q : Types.query) : Vertex_set.t = 66 66 match q with 67 67 | Rel (mode, pol, rel, vtx_val) -> 68 68 let vtx = eval_vertex ~env vtx_val in
+1 -1
lib/forest/Legacy_query_engine.mli
··· 1 1 open Forester_core 2 2 3 3 module type S = sig 4 - val run_query : Xml_tree.query -> Vertex_set.t 4 + val run_query : Types.query -> Vertex_set.t 5 5 end 6 6 7 7 module Make (_: Forest_graphs.S) : S
+1 -1
lib/forest/Legacy_xml_client.ml
··· 2 2 open Forester_xml_names 3 3 open Forester_core 4 4 5 - module T = Xml_tree 5 + module T = Types 6 6 module P = Pure_html 7 7 module X = Xml_forester 8 8
+1 -1
lib/forest/Legacy_xml_client.mli
··· 1 1 open Forester_core 2 2 3 - module T := Xml_tree 3 + module T := Types 4 4 module P := Pure_html 5 5 6 6 module type Params = sig
+3 -3
lib/forest/Plain_text_client.ml
··· 1 1 open Forester_core 2 2 3 - module T = Xml_tree 3 + module T = Types 4 4 5 5 module type Params = sig 6 6 val route : iri -> string ··· 11 11 end 12 12 13 13 module type S = sig 14 - val string_of_content : Xml_tree.content -> string 15 - val pp_content : Format.formatter -> Xml_tree.content -> unit 14 + val string_of_content : Types.content -> string 15 + val pp_content : Format.formatter -> Types.content -> unit 16 16 end 17 17 18 18 module Make (F: Forest.S) (P: Params) : S = struct
+3 -3
lib/forest/Plain_text_client.mli
··· 1 1 open Forester_core 2 2 3 - module T := Xml_tree 3 + module T := Types 4 4 5 5 module type Params = sig 6 6 val route : iri -> string ··· 9 9 module Default_params: Params 10 10 11 11 module type S = sig 12 - val string_of_content : Xml_tree.content -> string 13 - val pp_content : Format.formatter -> Xml_tree.content -> unit 12 + val string_of_content : Types.content -> string 13 + val pp_content : Format.formatter -> Types.content -> unit 14 14 end 15 15 16 16 module Make (_: Forest.S) (_: Params) : S
+1 -1
lib/frontend/DSL.ml
··· 1 1 open Forester_core 2 - module X = Forester_core.Xml_tree 2 + module X = Forester_core.Types 3 3 4 4 let txt str = X.Text str 5 5
+1 -1
lib/frontend/Forest_reader.ml
··· 2 2 open Forester_core 3 3 open Forester_compiler 4 4 5 - module T = Xml_tree 5 + module T = Types 6 6 7 7 type env = Eio_unix.Stdenv.base 8 8
+1 -1
lib/frontend/Forester.ml
··· 4 4 open Forester_compiler 5 5 6 6 module M = Iri_map 7 - module T = Xml_tree 7 + module T = Types 8 8 module F = Forest.Make(Forest_graphs.Make ()) 9 9 module FU = Forest_util.Make(F) 10 10 module PT = Plain_text_client.Make(F)(Plain_text_client.Default_params)
+1 -1
test/dsl.ml
··· 1 1 open Forester_frontend.DSL 2 2 open Forester_core 3 - open Xml_tree 3 + open Types 4 4 open Query 5 5 6 6 let content =