diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/qualified_name.mli | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/qualified_name.mli')
| -rw-r--r-- | lib/qualified_name.mli | 8 |
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 |
