package lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Appendable_list : sig ... end

Appendable lists: concatenation takes O(1) time, conversion to a list takes O(n).

module Nonempty_list : sig ... end

A (to be expanded) collection of functions for working with non-empty lists.

module Ansi_color : sig ... end
module Array : sig ... end
module Bytes : sig ... end
module Char : sig ... end
module Comparator : sig ... end
module Console : sig ... end

Manages the console

module Either : sig ... end

Left or right

module Exn : sig ... end

Exceptions

module Exn_with_backtrace : sig ... end

An exception together with the backtrace that raised it.

module Fcntl : sig ... end
module Filename : sig ... end
module Hashtbl : sig ... end
module Table : sig ... end

Hashtable with a simple polymorphic type, but without the polymorphic equality.

module Int : sig ... end
module Id : sig ... end
module Io : sig ... end

IO operations.

module List : sig ... end
module Lock_file : sig ... end

A mutually exclusive lock file.

module Map : sig ... end
module Option : sig ... end

Optional values

module Or_exn : sig ... end

Either a value or an exception

module Ordering : sig ... end

Element ordering

module Pp = Pp
module Result : sig ... end

Result type

module Set : sig ... end
module Signal : sig ... end

Unix Signal helpers

module Comparable : sig ... end
module Comparable_intf : sig ... end
module Staged : sig ... end
module String : sig ... end
module Bool : sig ... end
module Sexp : sig ... end

S-expressions

module Path : sig ... end

Representation of paths

module Fpath : sig ... end

Functions on paths that are represented as strings

module Interned : sig ... end

Interned strings

module Interned_intf : sig ... end
module Univ_map : sig ... end

Universal maps

module Loc : sig ... end
module Env : sig ... end
module Proc : sig ... end
module Type_eq : sig ... end

Equality between types. See Base.Type_equal for documentation.

module Nothing : sig ... end

Inhabited type

module Bin : sig ... end

Binaries from the PATH

module Digest : sig ... end

Digests (MD5)

module Fdecl : sig ... end

Forward declarations

module Unit : sig ... end
module Monad : sig ... end

Monad signatures

module Monoid : sig ... end
module Dyn : sig ... end
module Float : sig ... end
module Tuple : sig ... end
module Poly : sig ... end
module Code_error : sig ... end

A programming error that should be reported upstream

module User_error : sig ... end

Error meant for humans

module Unix_error : sig ... end

Auxiliary functions for working with Unix errors.

module User_message : sig ... end

A message for the user

module User_warning : sig ... end

Non-fatal user errors

module Lexbuf : sig ... end

Lexing buffer utilities

module Scanf : sig ... end

Safe version of Scanf from the stdlib. Does not raise parsing errors errors.

module Sys : sig ... end
module Pid : sig ... end
module Applicative : sig ... end
module Top_closure_intf : sig ... end
module Top_closure : sig ... end
module Seq : sig ... end
module Temp : sig ... end

Temporary file management

module Queue : sig ... end
module Caller_id : sig ... end

Who called me?

module Metrics : sig ... end

Utilities for collecting performance metrics

module type Applicative = sig ... end
module type Monad = sig ... end
module type Monoid = sig ... end
val reraise : exn -> _
val compare : 'a -> 'b -> [> `Use_Poly_compare ]
type ('a, 'error) result = ('a, 'error) Result.t =
  1. | Ok of 'a
  2. | Error of 'error
type ('a, 'b) either = ('a, 'b) Either.t =
  1. | Left of 'a
  2. | Right of 'b
type ordering = Ordering.t =
  1. | Lt
  2. | Eq
  3. | Gt
val sprintf : ('a, unit, string) format -> 'a
val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b
val printfn : ('a, unit, string, unit) format4 -> 'a
OCaml

Innovation. Community. Security.