package doc-ock

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Attrs = DocOckAttrs
module Maps = DocOckMaps
module Paths = DocOckPaths
module Types = DocOckTypes
val core_types : 'a Types.TypeDecl.t list
val core_exceptions : 'a Types.Exception.t list
type 'a result =
  1. | Ok of 'a Types.Unit.t
  2. | Not_an_interface
  3. | Wrong_version
  4. | Corrupted
  5. | Not_a_typedtree
  6. | Not_an_implementation
val read_cmti : (string -> Digest.t -> 'a) -> string -> 'a result
val read_cmt : (string -> Digest.t -> 'a) -> string -> 'a result
val read_cmi : (string -> Digest.t -> 'a) -> string -> 'a result
type 'a resolver
type 'a lookup_result =
  1. | Forward_reference
  2. | Found of {
    1. root : 'a;
    2. hidden : bool;
    }
  3. | Not_found
val build_resolver : ?equal:('a -> 'a -> bool) -> ?hash:('a -> int) -> ('a Types.Unit.t -> string -> 'a lookup_result) -> ('a -> 'a Types.Unit.t) -> 'a resolver

Build a resolver. Optionally provide equality and hash on 'a.

val resolve : 'a resolver -> 'a Types.Unit.t -> 'a Types.Unit.t
type 'a expander
val build_expander : ?equal:('a -> 'a -> bool) -> ?hash:('a -> int) -> (string -> 'a lookup_result) -> (root:'a -> 'a -> 'a Types.Unit.t) -> 'a expander

Build an expander. Assumes that it is safe to use Hashtbl.hash and structural equality (=) on 'a.

val expand : 'a expander -> 'a Types.Unit.t -> 'a Types.Unit.t
OCaml

Innovation. Community. Security.