blob: 47134c85a4d6c15954b38afdcb7996e0d0bfadbc (
plain) (
blame)
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
|
(** Fully qualified relation reference: [mg:rel_name].
The first colon separates the multigroup name from the relation name; any
further colons are part of the relation name verbatim.
Examples:
- ["warehouse:orders"] -> mg=["warehouse"], name=["orders"]
- ["warehouse:public:orders"] -> mg=["warehouse"], name=["public:orders"]
- ["sakura:public:relation"] -> mg=["sakura"], name=["public:relation"]
A reference with no leading [<mg>:] segment is a parse error — callers must
supply the mg explicitly. *)
type t = { mg : string; name : string }
exception Unqualified of string
let parse (s : string) : t =
match String.index_opt s ':' with
| None -> raise (Unqualified s)
| Some i ->
let mg = String.sub s 0 i in
let name = String.sub s (i + 1) (String.length s - i - 1) in
if mg = "" || name = "" then raise (Unqualified s)
else { mg; name }
let try_parse (s : string) : (t, string) result =
try Ok (parse s) with Unqualified s -> Error s
let make ~mg ~name = { mg; name }
let to_string { mg; name } = mg ^ ":" ^ name
|
