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

1.2.2.tar.gz
md5=f8850fe552b1a8d29d5e4cf9a2d8a54a
sha512=2165da986f65b5aeac83abd3bed9b8d9a8d2d7e54ef8a7a6d051c0a2ccb6d8ce8ff37104037f8c8a4c9c9accbe2c6fced497cdbd6ea14ff063fabba9c5e54260

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