aboutsummaryrefslogtreecommitdiffstats
path: root/lib/qualified_name.mli
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-06-23 23:53:26 -0300
committerGitHub <noreply@github.com>2026-06-23 23:53:26 -0300
commitc284fcd570342c31bc21169960579a20a763e32e (patch)
treece7485055116d794c55090ad0978e0b3f5ff4c2a /lib/qualified_name.mli
parentb81586ee4a0543a5f9866586c78dccdd6328934a (diff)
downloadSakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz
Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip
Format
Diffstat (limited to '')
-rw-r--r--lib/qualified_name.mli8
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/qualified_name.mli b/lib/qualified_name.mli
index 0e39ff2..15f80d1 100644
--- a/lib/qualified_name.mli
+++ b/lib/qualified_name.mli
@@ -3,16 +3,14 @@
The first colon separates the multigroup name from the relation name; any
further colons are part of the relation name verbatim. *)
-type t = { mg : string; name : string }
+type t = {mg: string; name: string}
exception Unqualified of string
+(** Splits on the first [:]. Raises [Unqualified] when no mg segment is present
+ (i.e. no colon, or empty mg / empty name). *)
val parse : string -> t
-(** Splits on the first [:]. Raises [Unqualified] when no mg segment is
- present (i.e. no colon, or empty mg / empty name). *)
val try_parse : string -> (t, Condition.t) result
-
val make : mg:string -> name:string -> t
-
val to_string : t -> string