Re: [Caml-list] where are we on the Hoogle for OCaml front?

[Ivan Gotovchits <ivg@ieee.org>]

[-- Attachment #1: Type: text/plain, Size: 1043 bytes --]

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
>

[-- Attachment #2: Type: text/html, Size: 2167 bytes --]