Ocaml: utop, is there a way to list all the functions of a module?

Question

In utop, when opening a library (via ~ require ...) or when opening a module (via open Module_name), is there a way to get the contents of a library or module? utop offers this on completion tabs, but I would like to see all the features right away.

Answer 1

In utop you can use the #show command. for instance

 utop # #show Stack;; module Stack : sig type 'at exception Empty val create : unit -> 'at val push : 'a -> 'at -> unit val pop : 'at -> 'a val top : 'at -> 'a val clear : 'at -> unit val copy : 'at -> 'at val is_empty : 'at -> bool val length : 'at -> int val iter : ('a -> unit) -> 'at -> unit end 

Answer 2

Not necessarily in utop, you can use the following:

 # module type S = module type of Module_of_your_interest;; module type S = sig ... ... end 

Warning: some modules have really large signatures.

Answer 3

If you are interested in the function names available in the library, you can write:

 #module S = Library_name;; 

eg:

 #module M = String;; 

The output will be:

module M: ​​sig outer length: string → int = "% string_length" external get: string → int → char = "% string_safe_get" external set: string → int → char → unit = "% string_safe_set" external create: int → string = "caml_create_string" val make: int → char → string val copy: string → string val sub: string → int → int → string val fill: string → int → int → char → unit val blit: string → int → string → int → int → unit val concat: string → string list → string val iter: (char → unit) → string → unit val iteri: (int → char → unit) → string → unit val map: (char → char) → string → string val trim: string → string val escaped: string → string val index: string → char → int val rindex: string → char → int val index_from: string → int → char → int val rindex_from: string → int → char → int val contains: string → char → bool val contains_from: string → int → char → bool val rcontains_from: string → int → char → bool val uppercase: string → string val lower string: string → string val capitalize: string → string val uncapitalize: string → string type t = string val: t → t → int external unsafe_get: string → int → char = "% string_unsafe_get" external unsafe_set: string → int → char → unit = "% string_unsafe_set" external unsafe_blit: string → int → string -> int -> int -> unit = "caml_blit_string" "noalloc" external unsafe_fill: string -> int -> int -> char -> unit = "caml_fill_string" "noalloc" end

After that, you can even use M as an alias for String. eg:

 # M.concat " " ["one"; "two"; "three"];;