package ocp-index

  1. Overview
  2. Docs
Lightweight completion and documentation browsing for OCaml libraries

Install 

dune-project
 Dependency

www.typerex.org Readme Changelog Edit opam file Versions (14)

Authors

  1. L
    Louis Gesbert
  2. Gabriel Radanne

Maintainers

  1. L
    louis.gesbert@ocamlpro.com

Sources

ocp-index-1.2.tbz
sha256=b93ed30df9ca321ff5758cdf43976034bcc5b3a23f83fcebbd524ea505e090d1
sha512=40d585edde42048d03b7672f29a0e4d0b92903d7b65f6d34f0c59d7ce29606bfc85a937b4967aea267eeb4f398990ec7ba8ec844858e433ce080a7f195a709b8

doc/ocp-index.lib/LibIndex/index.html

Module LibIndex

Main types

type t

Lazy trie structure holding the info on all identifiers

type orig_file = private IndexTypes.orig_file =
  1. | Cmt of string
  2. | Cmti of string
  3. | Cmi of string

The type of files we get our data from

exception Bad_format of string
type info = private IndexTypes.info = {
  1. path : string list;
  2. orig_path : string list;
  3. kind : kind;
  4. name : string;
  5. ty : IndexTypes.ty option;
  6. loc_sig : Location.t Lazy.t;
  7. loc_impl : Location.t Lazy.t;
  8. doc : string option Lazy.t;
  9. file : orig_file;
}

Contains the information on a given identifier

and kind = private IndexTypes.kind =
  1. | Type
  2. | Value
  3. | Exception
  4. | OpenType
  5. | Field of info
  6. | Variant of info
  7. | Method of info
  8. | Module
  9. | ModuleType
  10. | Class
  11. | ClassType
  12. | Keyword

The kind of elements that can be stored in the trie

Utility functions

module Misc : sig ... end

Building

val load : string list -> t
val add_file : t -> string -> t

Load a single file into a trie

val open_module : ?cleanup_path:bool -> t -> string list -> t
val fully_open_module : ?cleanup_path:bool -> t -> string list -> t
val alias : ?cleanup_path:bool -> t -> string list -> string list -> t

Querying

val all : t -> info list

Returns all bindings in the trie

val get : t -> string -> info

Lookup an identifier in a trie (eg. option or List.map)

val get_all : t -> string -> info list
val complete : t -> ?filter:(info -> bool) -> string -> info list

Output

include module type of IndexOut
module Format : sig ... end
module Print : sig ... end