aboutsummaryrefslogblamecommitdiffstats
path: root/lib/qualified_name.mli
blob: 15f80d142c32f8a6d6e440bb630029252011f5d8 (plain) (tree)
1
2
3
4
5
6
7
8
9
                                                      
 

                                                                             
 
                                   
 
                               
 

                                                                               

                       
                                                 
                                        
                           
(** 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. *)

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

val try_parse : string -> (t, Condition.t) result
val make : mg:string -> name:string -> t
val to_string : t -> string