Module Name.Registrar
type 'context t
Names are organized by context. For instance contexts can be: expressions, patterns, types, ...
val create : kind:Ppxlib__.Import.string -> current_file:Ppxlib__.Import.string -> string_of_context:('context -> Ppxlib__.Import.string Ppxlib__.Import.option) -> 'context t
kind
is a description of the things registered. For instance: "extension", "attribute", ...
current_file
is where this function is called. Must be__FILE__
.
string_of_context
: human readable description of a context
val register : kind:[ `Attribute | `Extension ] -> 'context t -> 'context -> Ppxlib__.Import.string -> Ppxlib__.Import.unit
val spellcheck : 'context t -> 'context -> ?white_list:Ppxlib__.Import.string Ppxlib__.Import.list -> Ppxlib__.Import.string -> Ppxlib__.Import.string Ppxlib__.Import.option
val raise_errorf : 'context t -> 'context -> ?white_list:Ppxlib__.Import.string Ppxlib__.Import.list -> (Ppxlib__.Import.string -> 'a, Ppxlib__.Import.unit, Ppxlib__.Import.string, 'c) Ppxlib__.Import.format4 -> Ppxlib__.Import.string Ppxlib.Loc.t -> 'a