doc-ock 1.1.1 · OCaml Package

Tables

type 'a t

The type of tables of components

type 'a lookup_result =

| Forward_reference
| Found of {
1. root : 'a;
2. hidden : bool;
}
| Not_found

val create : 
  ?equal:('a -> 'a -> bool) ->
  ?hash:('a -> int) ->
  ('a DocOckTypes.Unit.t -> string -> 'a lookup_result) ->
  ('a -> 'a DocOckTypes.Unit.t) ->
  'a t

Create a table of the components of units. Optionally provide equality and hash functons.

Identifier Lookup

val signature_identifier : 
  'a t ->
  'a DocOckPaths.Identifier.signature ->
  'a DocOckComponents.Sig.t

Lookup the components of a signature identifier

val class_signature_identifier : 
  'a t ->
  'a DocOckPaths.Identifier.class_signature ->
  'a DocOckComponents.ClassSig.t

Lookup the components of a class signature identifier

val datatype_identifier : 
  'a t ->
  'a DocOckPaths.Identifier.type_ ->
  'a DocOckComponents.Datatype.t

Lookup the components of a datatype identifier

Path Lookup

val resolved_module_path : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Path.Resolved.module_ ->
  'a DocOckComponents.Sig.t

Lookup the components of a resolved module path

val resolved_module_type_path : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Path.Resolved.module_type ->
  'a DocOckComponents.Sig.t

Lookup the components of a resolved module type path

val resolved_class_type_path : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Path.Resolved.class_type ->
  'a DocOckComponents.ClassSig.t

Lookup the components of a resolved class type path

val module_path : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Path.module_ ->
  'a DocOckComponents.Sig.t

Lookup the components of a module path, needed for module applications.

Fragment Lookup

type 'a with_

Table specialised to lookup fragments based on a module expression or path.

val module_type_expr_with : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Identifier.signature ->
  'a DocOckTypes.ModuleType.expr ->
  'a with_

Create specialised fragment table for a module type expression

val module_type_path_with : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Path.module_type ->
  'a with_

Create specialised fragment table for a module path

val resolved_signature_fragment : 
  'a with_ ->
  'a DocOckPaths.Fragment.Resolved.signature ->
  'a DocOckComponents.Sig.t

Lookup the components of a resolved module fragment

Reference Lookup

val resolved_signature_reference : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Reference.Resolved.signature ->
  'a DocOckComponents.Sig.t

Lookup the components of a resolved signature reference

val resolved_class_signature_reference : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Reference.Resolved.class_signature ->
  'a DocOckComponents.ClassSig.t

Lookup the components of a resolved class signature reference

val resolved_datatype_reference : 
  'a t ->
  'a DocOckTypes.Unit.t ->
  'a DocOckPaths.Reference.Resolved.datatype ->
  'a DocOckComponents.Datatype.t

Lookup the components of a resolved datatype reference

Root lookup

val base : 'a t -> 'a DocOckTypes.Unit.t -> string -> 'a lookup_result

Lookup the base of a unit name