On Mon, Feb 6, 2017 at 9:02 AM, Hendrik Boom <hendrik@topoi.pooq.com> wrote:

Search on parts of the type, even. It is very useful to find all the
functions that do anything with values of a particular type in order
to find out what you can do with it. As well as how you can produce
values of that type.

Yep, the same as it is done in Coq's search command, where you query all functions that produce integer

Search (_ -> int)

It is extremely useful in Coq, and should be as well in OCaml.

For example, when I see, that a function requires a value of type `Uuidm.t`, then a search for `_ -> Uuidm.t` will reveal all possible ways to create it.

(Of course, I can just go to the mli file, and read it, but this defeats the whole purpose of searching).

Regards,

Ivan

-- hendrik

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs