jon.recoil.org

Module Paths.IdentifierSource

Generic operations

Sourcemodule type IdSig = sig ... end
Sourcemodule Id : sig ... end
Sourcemodule Any : IdSig with type t = t
Sourcemodule RootModule : IdSig with type t = RootModule.t
Sourcemodule Signature : IdSig with type t = Signature.t
Sourcemodule LabelParent : IdSig with type t = LabelParent.t
Sourcemodule Module : IdSig with type t = Module.t
Sourcemodule FunctorParameter : sig ... end
Sourcemodule ModuleType : IdSig with type t = ModuleType.t
Sourcemodule Type : IdSig with type t = Type.t
Sourcemodule Class : IdSig with type t = Class.t
Sourcemodule ClassType : IdSig with type t = ClassType.t
Sourcemodule DataType : sig ... end
Sourcemodule FieldParent : sig ... end
Sourcemodule UnboxedFieldParent : sig ... end
Sourcemodule FunctorResult : sig ... end
Sourcemodule Constructor : sig ... end
Sourcemodule Field : sig ... end
Sourcemodule UnboxedField : sig ... end
Sourcemodule Extension : sig ... end
Sourcemodule ExtensionDecl : sig ... end
Sourcemodule Exception : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule Method : sig ... end
Sourcemodule InstanceVariable : sig ... end
Sourcemodule Label : IdSig with type t = Label.t
Sourcemodule Page : sig ... end
Sourcemodule LeafPage : sig ... end
Sourcemodule ContainerPage : sig ... end
Sourcemodule NonSrc : sig ... end
Sourcemodule SourcePage : sig ... end
Sourcemodule SourceLocation : sig ... end
Sourcemodule AssetFile : sig ... end
Sourcemodule OdocId : sig ... end
Sourcemodule Path : sig ... end
Sourceval hash : t -> int
Sourceval name : [< t ] -> string
Sourceval fullname : [< t ] -> string list

The fullname of value x in module M is M.x, whereas the regular name is x.

Sourceval is_hidden : [< t ] -> bool
Sourceval compare : t -> t -> int
Sourceval equal : ([< t ] as 'a) -> 'a -> bool
Sourceval label_parent : [< NonSrc.t ] -> LabelParent.t
Sourcemodule Maps : sig ... end
Sourcemodule Hashtbl : sig ... end
Sourcemodule Mk : sig ... end
Sourceval fresh_include_parent : Signature.t -> Signature.t

Create a synthetic parent identifier for items inside an include's module type expression. Uses a lowercase module name (illegal in normal OCaml) to ensure no clashes with real identifiers. Each call returns a fresh identifier.

Sourceval fresh_module_arg_parent : unit -> Signature.t

Create a synthetic parent identifier for module arguments, which can't have unique identifier, as they can be introduced multiple times with the same name in a single type expression .