From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5481A7F0BA for ; Mon, 6 Feb 2017 17:01:15 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-io0-f175.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.223.175 as permitted sender) identity=mailfrom; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f175.google.com) identity=helo; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-io0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHqyUjhM488dy2LzDr00l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KP78rarrMEGX3/hxlliBBdydsKMYzbWJ+PC6ESxYuNDa7yBEKMQNHzY+yu?= =?us-ascii?q?wo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9Msfogs+2z+G//YHIK0UN3WLlIOBEFwittQjaquURhIJjLO5xlkqI8TN0fL?= =?us-ascii?q?F2yGVkP1OQ1zz74cL4qJ5u9ShKuvEJ68lYVqS8Z6M/VPpTCzFwYE4v48i+lAfK?= =?us-ascii?q?S0Og4WcbTG4WkwZTS1zE8h7SX5r8v239rOUri3rSBtH/Ub1hAWfq1KxsUhK9zX?= =?us-ascii?q?peOg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CSAAAfnZhYgK/fVdFdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAmBCQeDUZwTgjqVCSqEaIEQAoJFB0MUAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEJDQkKGzGCMwQBFgWCFwEEASMEGQEBLAsBDwkCBAcaHQICI?= =?us-ascii?q?hIBBQEKEgYTCAqJSQMIBQgOkTaRDT+LGmiBazqDCAEBBYQgA4QJAQEBAQEBBAE?= =?us-ascii?q?BAQEBAQEBGAgShjqEb4UBglmCX4c1DIh/iyuGaIMfiAKBe1OIEYYjkUUUHoEVD?= =?us-ascii?q?yeBH1wIPBcFg28qgisiNQGHRoFOAQEB?= X-IPAS-Result: =?us-ascii?q?A0CSAAAfnZhYgK/fVdFdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAmBCQeDUZwTgjqVCSqEaIEQAoJFB0MUAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEJDQkKGzGCMwQBFgWCFwEEASMEGQEBLAsBDwkCBAcaHQICIhIBBQEKEgYTCAq?= =?us-ascii?q?JSQMIBQgOkTaRDT+LGmiBazqDCAEBBYQgA4QJAQEBAQEBBAEBAQEBAQEBGAgSh?= =?us-ascii?q?jqEb4UBglmCX4c1DIh/iyuGaIMfiAKBe1OIEYYjkUUUHoEVDyeBH1wIPBcFg28?= =?us-ascii?q?qgisiNQGHRoFOAQEB?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208,217";a="259068202" Received: from mail-io0-f175.google.com ([209.85.223.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Feb 2017 17:01:14 +0100 Received: by mail-io0-f175.google.com with SMTP id l66so68736922ioi.1 for ; Mon, 06 Feb 2017 08:01:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=fpG61ir4IgWND+A/GjMwe201npMmeCtCns3YA7EJLco=; b=2BQjFl8F90nw+vTdxt299beGLBSCx/QoeqWSreufOKCU4euMdJGZCuXVwiy938N3H3 1LRaoU4Fuz9/5iP2BcIy9pzaegHchYZLgV+dksH4E36vq8V/hK9WuoYguA7LzI0AQs+n Ir5pDEAQI/w3IEe800xnkOOcPt02iPexL4o5Xtz8XL+ByDTAFDHDNFOxrbjhRoHxzLUA f5bq+LjrP6OQ2lxhy82NvFqarJSXFdnMTAkj5K/LUjG2sru2aiyo4FRS2IkN7dPOGvBt h5n0l8RGEboWccFKQKdPfzqp4N1yHvN2+H2Ib3jvSCnYoorBaJsINpmzgAJ+pyCza/PQ 0WFg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=fpG61ir4IgWND+A/GjMwe201npMmeCtCns3YA7EJLco=; b=aC9fd/3fXIcOjiKJ98f92S1t6InZzPzTqGLgKQ7sC4+xjwV1nwYc6cgvr13om5WmPJ 6OYiPmyqzuQ35emWWAKDEs90uqRbxHa4rphyurbRcHMLVGyucMgfLPe0w8A9qQJg9vaP jy1K+R1b+8EwwUu350Q5cXXoTZoHdEekaQGFuApsB1G/0xffDOeRrJTXTIFdojslpq+r m8dCshV3oWXvjdeRuwCGmpYuhZ1uvPGSduZ0DnG8f9AgL0PkVClU31DVtIaVaSAjDpUT f4/3YgG2USCp/CvWAqggZJVFAU0MAR2Gz2f8Njg2TXkr3Fl1IHJzx7y2nWvMLr4jUqFZ kS1A== X-Gm-Message-State: AMke39ldZGMSc+abu5P8oCqxNDawTtiBaQdd6EI9MIjzfJvl5LjteoPubUQG7NUrSnoBCGIbmcGnxDTL7KF5Ctxr X-Received: by 10.107.59.69 with SMTP id i66mr107038ioa.10.1486396872895; Mon, 06 Feb 2017 08:01:12 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.175.130 with HTTP; Mon, 6 Feb 2017 08:01:12 -0800 (PST) In-Reply-To: <20170206140253.GA20685@topoi.pooq.com> References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> <20170206140253.GA20685@topoi.pooq.com> From: Ivan Gotovchits Date: Mon, 6 Feb 2017 11:01:12 -0500 Message-ID: To: Hendrik Boom Cc: caml-list Content-Type: multipart/alternative; boundary=001a114f7de49adc420547debdb2 Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? --001a114f7de49adc420547debdb2 Content-Type: text/plain; charset=UTF-8 On Mon, Feb 6, 2017 at 9:02 AM, Hendrik Boom 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 > --001a114f7de49adc420547debdb2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


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

Search on parts of the type, even.=C2=A0 It is very useful to find a= ll the
functions that do anything with values of a particular type in order
to find out what you can do with it.=C2=A0 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

=C2=A0 = =C2=A0 =C2=A0 =C2=A0Search (_ -> int)

It is ext= remely useful in Coq, and should be as well in OCaml.=C2=A0

<= /div>
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 wa= ys to create it.=C2=A0
(Of course, I can just go to the mli file,= and read it, but this defeats the whole purpose of searching).
<= br>
Regards,
Ivan



=C2=A0
-- hendrik

--
Caml-list mailing list.=C2=A0 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

--001a114f7de49adc420547debdb2--