Hi,
Hoogle is definitely not deprecated. The reason you can't yet search
all packages simultaneously is that it consumes too many resources -
the number of Haskell packages exploded at a time when I wasn't able
to spend enough time to allow Hoogle to keep up. It's definitely
something on the todo
Mateusz Kowalczyk fuuzetsu at fuuzetsu.co.uk writes:
I always thought [hayoo] was just Hoogle with more indexed docs.
Wait - there's a semantic difference:
hoogle does understand type signatures
(e.g., it can specialize them, or flip arguments of functions)
while hayoo just treats signatures
On Thu, Aug 22, 2013 at 9:23 PM, Mateusz Kowalczyk
fuuze...@fuuzetsu.co.uk wrote:
On 22/08/13 19:30, jabolo...@google.com wrote:
Hi,
I noticed Hayoo appears as a link in the toolbox of
http://hackage.haskell.org and also that Hayoo seems to display better
results than Hoogle. For example,
On Fri, Aug 23, 2013 at 10:12:27AM +0200, Erik Hesselink wrote:
Note that the 'normal' hoogle indexes all (?) of hackage. But by
default it only searches the haskell platform. You can add a package
with '+' to search in that package. E.g. PublicKey +crypto-api.
If the idea behind this, that
It's a bit pointless, if I have to know the package, where I want to
search in.
Yeah! It does sound a bit pointless. Hoogle should search everything
by default, and then you can refine your search by clicking on the '+'
or '-' on the packages that appear on the left menu.
Jose
--
Jose
On 23/08/13 14:57, jabolo...@google.com wrote:
It's a bit pointless, if I have to know the package, where I want to
search in.
Yeah! It does sound a bit pointless. Hoogle should search everything
by default, and then you can refine your search by clicking on the '+'
or '-' on the packages
Hi,
I noticed Hayoo appears as a link in the toolbox of
http://hackage.haskell.org and also that Hayoo seems to display better
results than Hoogle. For example, if you search for 'PublicKey' in
Hayoo, you will get several results from Hackage libraries, such as,
'crypto-pubkey' and 'crypto-api'.
On 22/08/13 19:30, jabolo...@google.com wrote:
Hi,
I noticed Hayoo appears as a link in the toolbox of
http://hackage.haskell.org and also that Hayoo seems to display better
results than Hoogle. For example, if you search for 'PublicKey' in
Hayoo, you will get several results from Hackage
It still doesn't work when I try it.
In the meantime, I am using a mirror of it at:
https://www.fpcomplete.com/hoogle?q=%5Bt%5D+-%3E+%5Bt%5D+-%3E+Bool
On Thu, Jul 18, 2013 at 7:35 PM, Neil Mitchell ndmitch...@gmail.com wrote:
Hoogle has returned to live, thanks to the efforts to the new
On Thu, Aug 01, 2013 at 01:25:22PM +0100, Richard Evans wrote:
It still doesn't work when I try it.
What URL are you using? http://www.haskell.org/hoogle works fine for me.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
It also does not work for me when I try
http://www.haskell.org/hoogle
But you can cheat ;) Try this one instead
http://www.haskell.org/hoogle?
I don't know what the problem is; but seeing that some people have it
and some people don't, perhaps it's a caching problem...
Cheers,
Jose
On Thu,
Sorry yes - it was just a caching problem. Now I've cleared the Chrome
cache, it is all working beautifully again.
On Thu, Aug 1, 2013 at 1:55 PM, Jose A. Lopes jabolo...@google.com wrote:
It also does not work for me when I try
http://www.haskell.org/hoogle
But you can cheat ;) Try this
Hoogle has returned to live, thanks to the efforts to the new
haskell.org admins.
Thanks, Neil
On Tue, Jul 16, 2013 at 4:33 PM, Neil Mitchell ndmitch...@gmail.com wrote:
No idea why it has gone down, my guess is that the Apache rule that
says treat it as a CGI script got changed to serve it as
No idea why it has gone down, my guess is that the Apache rule that
says treat it as a CGI script got changed to serve it as a file. In
the meantime you can use a copy of Hoogle at:
https://www.fpcomplete.com/hoogle
Thanks, Neil
On Mon, Jul 15, 2013 at 5:19 PM, Niklas Hambüchen m...@nh2.me
Hi cafe,
I'm seeing a binary executable file every time I try to access
haskell.org/hoogle.
I don't know if the maintainers are aware of this.
Cheers.
Ivan
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I've just tried using Hoogle, but either get a 404 not found
(http://haskell.org/hoogle/) or else I find I get a ELF 64-bit
LSB executable being downloaded
If I search using Google and click on the first link
(shown as www.haskell.org/hoogle/
I get the following (spaces deliberately added to
Yes, I get the same error as you do.
It was working the last time I looked at it, a couple of weeks ago.
On Mon, Jul 15, 2013 at 2:35 PM, Andrew Butterfield
andrew.butterfi...@scss.tcd.ie wrote:
I've just tried using Hoogle, but either get a 404 not found
(http://haskell.org/hoogle/) or
The web site is migrating.
IRC says: Topic for #haskell: haskell.org in the middle of migration;
expect turbulence; use www.haskell.org
On Mon, Jul 15, 2013 at 5:35 PM, Andrew Butterfield
andrew.butterfi...@scss.tcd.ie wrote:
I've just tried using Hoogle, but either get a 404 not found
OK, but why does it need to go down for migration?
On Mon 15 Jul 2013 23:52:02 SGT, Daniel F wrote:
The web site is migrating.
IRC says: Topic for #haskell: haskell.org in the middle of migration;
expect turbulence; use www.haskell.org
___
2012/12/19 Joachim Breitner m...@joachim-breitner.de:
if Michael Snoyman’s stackage will fly, I’d that would be a good
candidate for a default set.
+10
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Thanks for the suggestion, Jan. Is there a way to include all of hackage?
Alvaro
On Thu, Dec 20, 2012 at 3:37 AM, Jan Stolarek jan.stola...@p.lodz.plwrote:
I see that the comments are from years ago. Are there any ongoing efforts
to expand the default search set? (Or alternatively, to
Dnia piątek, 21 grudnia 2012, Radical napisał:
Thanks for the suggestion, Jan. Is there a way to include all of hackage?
Sorry, I don't know any way of doing this.
Janek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Searching Hoogle for symbols like `rstrip` or `lstrip` produces No
results found for me, even though they exist in the MissingH library.
To wit:
http://hackage.haskell.org/packages/archive/MissingH/1.2.0.0/doc/html/Data-String-Utils.html
Is this behavior intentional, or a regression of some
Hi Alvaro,
by default Hoogle only searches some standard set of packages, which is
only a relatively small subset of all Hackage content. From
http://www.haskell.org/haskellwiki/Hoogle#Scope_of_Web_Searches :
Using the standard web interface, Hoogle searches: array, arrows, base,
bytestring,
Thanks, Petr.
I see that the comments are from years ago. Are there any ongoing efforts
to expand the default search set? (Or alternatively, to implement the
+hackage modifier mentioned.)
Is there interest in either of these things happening?
Alvaro
On Wed, Dec 19, 2012 at 12:06 PM, Petr P
Hayoo has them all:
2012/12/19 Radical radi...@google.com
Thanks, Petr.
I see that the comments are from years ago. Are there any ongoing efforts
to expand the default search set? (Or alternatively, to implement the
+hackage modifier mentioned.)
Is there interest in either of these
http://holumbus.fh-wedel.de/hayoo/hayoo.html
2012/12/19 Alberto G. Corona agocor...@gmail.com
Hayoo has them all:
2012/12/19 Radical radi...@google.com
Thanks, Petr.
I see that the comments are from years ago. Are there any ongoing efforts
to expand the default search set? (Or
Hi,
Am Mittwoch, den 19.12.2012, 12:28 -0500 schrieb Radical:
I see that the comments are from years ago. Are there any ongoing
efforts to expand the default search set?
if Michael Snoyman’s stackage will fly, I’d that would be a good
candidate for a default set.
Greetings,
Joachim
--
Hayoo has them all [ .. ]
but Hoogle is better with types?
it seems Hayoo only does exact (string?) match on types,
while Hoogle also knows about polymorphisms, permutations etc.
E.g., search for String - Int.
Hoogle finds length :: [a]- Int as well,
I think Hayoo doesn't.
J.W.
Hi,
i installed Hoogle succesfullly with
cabal install hoogle
then i try to run
hoogle data
but the connection to
http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal
times out.
How can i download the data needed for the hoogle command line
tool?
Greetings
Chris
The Galois link works fine for me now - it also worked for me earlier
today when I ran hoogle data for my own system. I suggest you try
again, possibly with a better internet connection?
Cheers,
Thomas
On Fri, Aug 26, 2011 at 12:39 AM, informationen informatio...@gmx.de wrote:
Hi,
i
On Mon, Jan 10, 2011 at 10:17 PM, Neil Mitchell ndmitch...@gmail.com wrote:
If so, I'll make a new release that just changes the
file creation mask to the above during hoogle data (and sets it back
after).
Thanks to Erik's help testing preview versions I've now released
Hoogle 4.1.4 that sets
On 15 January 2011 22:53, Neil Mitchell ndmitch...@gmail.com wrote:
On Mon, Jan 10, 2011 at 10:17 PM, Neil Mitchell ndmitch...@gmail.com wrote:
If so, I'll make a new release that just changes the
file creation mask to the above during hoogle data (and sets it back
after).
Thanks to Erik's
Thanks to Erik's help testing preview versions I've now released
Hoogle 4.1.4 that sets the file creation mask appropriately.
Shouldn't data like this really go in /var rather than /usr ? To
quote Wikipedia [1]: /var/: Variable files—files whose content is
expected to continually change
Hi,
Am Samstag, den 15.01.2011, 13:38 + schrieb Neil Mitchell:
Thanks to Erik's help testing preview versions I've now released
Hoogle 4.1.4 that sets the file creation mask appropriately.
Shouldn't data like this really go in /var rather than /usr ? To
quote Wikipedia [1]: /var/:
Hi Joachim,
The Hoogle databases are expected to change very rarely - most users
will install them when they install Hoogle. A small number will update
them occasionally as the packages update. I'm using the Cabal datadir
to store the databases, but does Cabal provide a more sensible place
Neil Mitchell wrote:
Should all files created by hoogle data always have world
read/execute? I'm not sure what the Unix conventions are - would that
be reasonable?
The files created by the 'hoogle data' command in /usr/share/hoogle
should probably all be world readable. The directories
If so, I'll make a new release that just changes the
file creation mask to the above during hoogle data (and sets it back
after).
That makes sense. If you have a darcs repo of the code (or even a
tarball), I can check it before create a package.
That would be very useful. I'll try and
Hi Erik,
I'll release Hoogle 4.1.3 with a fix later today.
Thanks, Neil
On Sun, Jan 9, 2011 at 5:07 AM, Erik de Castro Lopo
mle...@mega-nerd.com wrote:
Hi all,
I'm testing out hoogle 4.1.2 on Debian Linux and getting the
following when trying to update the local hoogle databases:
erik
Hi Erik,
Hoogle 4.1.3 is now released, which reads and writes Hoogle input
files in UTF8 throughout. Please let me know if this doesn't fix your
problem.
Thanks, Neil
On Sun, Jan 9, 2011 at 11:22 AM, Neil Mitchell ndmitch...@gmail.com wrote:
Hi Erik,
I'll release Hoogle 4.1.3 with a fix
Neil Mitchell wrote:
Hoogle 4.1.3 is now released, which reads and writes Hoogle input
files in UTF8 throughout. Please let me know if this doesn't fix your
problem.
Thanks Neil for the quick response. That definitely has fixed thet
problem.
The next problem is that hoogle installed as a
Hi Erik,
The next problem is that hoogle installed as a Debian package would
install as root as /usr/bin/hoogle. Then, when I run hoogle data it
wants to install the database at /usr/share/hoogle/hoogle-4.1.3/databases
which fails because I'm not running as root. So, to install the databases
Hi all,
I'm testing out hoogle 4.1.2 on Debian Linux and getting the
following when trying to update the local hoogle databases:
erik sudo hoogle data
Starting default
Starting keyword
hoogle: keyword.txt: commitAndReleaseBuffer: invalid argument
(Invalid or incomplete
Hi Elliot,
It is the right place, and Hoogle is now back up. Unfortunately the
server it was run was out of disk space, which caused Hoogle to fail.
Hopefully it won't happen again.
Thanks, Neil
2009/11/29 Elliot Wolk elliot.w...@gmail.com:
hello!
im not sure that this is the correct mailing
hello!
im not sure that this is the correct mailing list for saying so, and
also whether or not today's down-ness is just scheduled maintenance, but
hoogle appears to be down again. sorry if this is known/redundant/not
the right place!
thanks, elliot
Hi Keith,
Thanks for pointing this out. I've no idea why it's failing, but will
check once I get home - unfortunately the machine I'm currently on
doesn't permit me to ssh in and find out.
Thanks, Neil
On Sat, Nov 28, 2009 at 6:53 AM, Keith Sheppard keiths...@gmail.com wrote:
hoogle is down
Now it's running again. Just out of curiosity, what was wrong?
2009/11/28 Neil Mitchell ndmitch...@gmail.com
Hi Keith,
Thanks for pointing this out. I've no idea why it's failing, but will
check once I get home - unfortunately the machine I'm currently on
doesn't permit me to ssh in and
Hi,
Yep, it's all back now. The problem was that the server had run out of
disk space. Ian fixed it for now, but do let me know if it fails
again.
Thanks, Neil
On Sat, Nov 28, 2009 at 2:54 PM, Ozgur Akgun ozgurak...@gmail.com wrote:
Now it's running again. Just out of curiosity, what was
Just tried to use Hoogle and got: 500 Internal Server Error
Michael
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
hoogle is down for me: Internal Server Error
Thanks
Keith
--
keithsheppard.name
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Following up on this rather old thread, if you want to see a module
which has lots of input/output example pairs, and properties, in the
documentation then look at filepath (hoogle for takeExtension as an
example). These properties are also automatically transformed in to
test cases, so filepath
On Sun, Oct 25, 2009 at 2:09 PM, Curt Sampson c...@starling-software.com
wrote:
But zaxis, here's another thing to look at. There's usually a view
source link beside most of the functions that come up in the Haddock
documentation to which Hoogle links. It's worth clicking. You would be
On 10/26/09, David Virebayre dav.vire+hask...@gmail.com wrote:
On Sun, Oct 25, 2009 at 2:09 PM, Curt Sampson c...@starling-software.com
wrote:
But zaxis, here's another thing to look at. There's usually a view
source link beside most of the functions that come up in the Haddock
documentation
I likewise agree this isn't a job for Hoogle, but on a related note see my
previous post in here about needing better documentation (specifically a
proper manual for most hackage pages, not just a bare bones API doc):
http://www.haskell.org/pipermail/haskell-cafe/2009-October/067969.html
-R. Kyle
On Mon, Oct 26, 2009 at 9:11 AM, David Leimbach leim...@gmail.com wrote:
or the printf implementation. I tried to figure it out, then the
Cenobites came and got me.
QOTW, if I may say so.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Mon, Oct 26, 2009 at 1:27 PM, Tom Tobin korp...@korpios.com wrote:
On Mon, Oct 26, 2009 at 9:11 AM, David Leimbach leim...@gmail.com wrote:
or the printf implementation. I tried to figure it out, then the
Cenobites came and got me.
QOTW, if I may say so.
Only if you like the
http://www.haskell.org/hoogle/ is VERY great for haskeller. However, i feel
hoogle should be improved by providing more examples as :
isInfixOf :: Eq a = [a] - [a] - Bool
The isInfixOf function takes two lists and returns True iff the first list
is contained, wholly and intact, anywhere within
This is not a job for Hoogle, it's for library documenters.
However, that might be a good suggestion for haddock: introduce a
input/output examples haddock field and present it in hoogle
results. That, however, will only be useful if many library authors
use this feature.
2009/10/25 zaxis
On 2009-10-25 02:46 -0700 (Sun), zaxis wrote:
However, i feel hoogle should be improved by providing more examples...
On 2009-10-25 12:55 +0300 (Sun), Eugene Kirpichov wrote:
This is not a job for Hoogle, it's for library documenters.
What he said.
But zaxis, here's another thing to look
On Mon, May 11, 2009 at 10:25 AM, Neil Mitchell ndmitch...@gmail.comwrote:
Hi Peter,
I would like to use the Hoogle text format in C#.
Out of curiosity, why? I'm just interested to know what work you're doing.
Sure. We're building with a graphical representation of a Haskellish
language
Hi
Sure. We're building with a graphical representation of a Haskellish
language (a tiny subset of Haskell actually). The target audience is
graphical artists and designers. For testing, I would like to populate the
library with primitives taken from the Haskell base libraries. I tried
I would like to use the Hoogle text format in C#.
Hoogle on Hackage comes with a bunch of binary *.hoo files. Can these be
converted to text/xml? If not, is the binary format documented?
I know I can build hoo files using cabal haddock --hoogle. But doing this
on the BASE package (which I need)
On 2009 Feb 21, at 20:47, Jonathan Cast wrote:
On Sat, 2009-02-21 at 07:25 -0700, John A. De Goes wrote:
Not showing platform-specific packages by default *might* make
package
writers more likely to develop cross-platform packages. We've heard
many times someone say, I don't know if it works
Hi
I don't want to get in to a platform war (which I certainly don't have
time to engage in - plus its not nearly as much fun over email vs
sitting in a pub with some beer having a platform war). Martijn's
thoughts of +windows, +unix, +os is exactly right, I'm happy to let
users say oh, please
sitting in a pub with some beer having a platform war). Martijn's
thoughts of +windows, +unix, +os is exactly right, I'm happy to let
users say oh, please show me these packages, but there are
trade-offs in Hoogle design. If someone has some clear viewpoint on
the answers, I'd love to hear them.
On Sun, Feb 22, 2009 at 1:04 PM, Neil Mitchell ndmitch...@gmail.com wrote:
1) What packages should Hoogle search by default?
At the very least - all of the Haskell Platform. If/when it searches
more (+hackage flag?), perhaps the results could be ordered to place
the HP functions first.
2)
Neil Mitchell wrote:
Hi
1) Show all the functions (when the number is low), but place platform
specific functions under separate headers: Windows,
Linux/BSD/POSIX, OS X, etc.
If a function isn't available on all OS's then all Hoogle would be
encouraging you to do is break compatibility
Hi Neil,
Neil Mitchell wrote:
If a function isn't available on all OS's then all Hoogle would be
encouraging you to do is break compatibility and stop me from using
your software. If a function is only available on one OS you will
certainly have to deliberately choose to search for that, and it
On Sat, Feb 21, 2009 at 11:55 AM, Martijn van Steenbergen
mart...@van.steenbergen.nl wrote:
How about allowing an extra search flag +windows that reveals
windows-specific APIs? Likewise for other OS's.
Being able to enable API for a specific package requires me knowing in what
package I want
I think the (valid) concern is that too many people are choosing
platform-specific packages when there are alternatives available
(albeit not as convenient in some cases), and this really hurts the
Windows community because Windows is so radically different from all
the other operating
On Sat, 2009-02-21 at 07:25 -0700, John A. De Goes wrote:
I think the (valid) concern is that too many people are choosing
platform-specific packages when there are alternatives available
(albeit not as convenient in some cases), and this really hurts the
Windows community because
Maybe because one Haskeller generally tries to help another one.
That's what what it means to be a community, no?
Regards,
John A. De Goes
N-BRAIN, Inc.
The Evolution of Collaboration
http://www.n-brain.net|877-376-2724 x 101
On Feb 21, 2009, at 6:47 PM, Jonathan Cast wrote:
On
John A. De Goes:
I think the (valid) concern is that too many people are choosing
platform-specific packages when there are alternatives available
(albeit not as convenient in some cases), and this really hurts the
Windows community because Windows is so radically different from all
the other
Thomas DuBuisson wrote:
2) Detect the OS (when possible - perhaps difficult for the web/JS
interface) and display the functions specific to the platform
requesting the search.
That kind of magic would really annoy me. I might browse on one of
several platforms, and I don't expect a search
Hi
1) Show all the functions (when the number is low), but place platform
specific functions under separate headers: Windows,
Linux/BSD/POSIX, OS X, etc.
If a function isn't available on all OS's then all Hoogle would be
encouraging you to do is break compatibility and stop me from using
your
On Fri, 2009-02-20 at 09:17 +, Neil Mitchell wrote:
Hi
1) Show all the functions (when the number is low), but place platform
specific functions under separate headers: Windows,
Linux/BSD/POSIX, OS X, etc.
If a function isn't available on all OS's then all Hoogle would be
On Fri, Feb 20, 2009 at 1:17 AM, Neil Mitchell ndmitch...@gmail.com wrote:
If a function isn't available on all OS's then all Hoogle would be
encouraging you to do is break compatibility and stop me from using
your software. If a function is only available on one OS you will
certainly have to
1) Show all the functions (when the number is low), but place platform
specific functions under separate headers: Windows,
Linux/BSD/POSIX, OS X, etc.
If a function isn't available on all OS's then all Hoogle would be
encouraging you to do is break compatibility and stop me from using
your
On Thu, Feb 19, 2009 at 3:50 AM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
I recall that Niel made sure hoogle doesn't search through
non-portable libraries (a shame), but I thought Network.Socket could
be used on Windows and yet Hoogle does not give any results for
'socket' or any
The Network.Socket module works fine on Windows. The original Winsock
implementation was based on the Berkeley sockets api.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi
http://haskell.org/hoogle/?q=socket+%2Bnetwork
By default it searches the libraries supplied with Windows apart from
Network (for various technical reasons). If you add +network it will
then search the network library.
What libraries should Hoogle search by default? What flags should be
Niel,
Outside of flags to enable display of modules specific to each major
platform (+windows, +posix, +osx) I see two options. This all depends
on hoogle having some sort of list of modules for each platform, which
I believe would be the main problem.
1) Show all the functions (when the number
On Wed, Feb 18, 2009 at 6:50 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
I recall that Niel made sure hoogle doesn't search through
non-portable libraries (a shame), but I thought Network.Socket could
be used on Windows and yet Hoogle does not give any results for
'socket' or any
2009/2/19 Bryan O'Sullivan b...@serpentine.com:
On Wed, Feb 18, 2009 at 6:50 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
I recall that Niel made sure hoogle doesn't search through
non-portable libraries (a shame), but I thought Network.Socket could
be used on Windows and yet
On 2009 Feb 19, at 13:19, Svein Ove Aas wrote:
If you say so, but..
Unix domain sockets?
sendFd?
I can't speak to sendFd, but BITD OS/2 had AF_LOCAL (the portable
version of AF_UNIX; same API) sockets. There's no particular reason
aside from unwillingness that Windows wouldn't support
I recall that Niel made sure hoogle doesn't search through
non-portable libraries (a shame), but I thought Network.Socket could
be used on Windows and yet Hoogle does not give any results for
'socket' or any other functions within Network.Socket.
First, am I mistaken and Network.Socket is POSIX
2008/10/9 Reiner Pope [EMAIL PROTECTED]:
The syntax is for the implicit parameter extension[1]. I think you would
write your example as
foo (undefined :: Bar x) ?z :: Bar y
Then querying the type of that whole expression with :t will list ?z's type
in the expression's constraints. (Of
Reiner Pope wrote:
The syntax is for the implicit parameter extension[1]. I think you
would write your example as
foo (undefined :: Bar x) ?z :: Bar y
Then querying the type of that whole expression with :t will list ?z's
type in the expression's constraints. (Of course, you should turn off
On Tue, Oct 7, 2008 at 7:09 PM, Andrew Coppin
[EMAIL PROTECTED] wrote:
For my current troubles, it would be really useful if there were some
program that you could feed some source code to, and it would tell you what
the inferred types of each subexpression are. (Ideally it would be nice if
The syntax is for the implicit parameter extension[1]. I think you would
write your example as
foo (undefined :: Bar x) ?z :: Bar y
Then querying the type of that whole expression with :t will list ?z's type
in the expression's constraints. (Of course, you should turn off the
monomorphism
Actually, I was thinking more along the lines of
Data.Traversable.sequence, which has
sequence :: (Traversable t, Monad m) = t (m a) - m (t a)
Are you expecting c1 (:: * - * - *) to unify with [] (:: * - *)?
That seems kind incorrect at the very last. Additionally,
those types
Mitchell, Neil wrote:
Well, as I said, replacing one term with another transforms
one signature into the other. I guess you can't curry type
constructors as easily as functions - or at least, Hoogle
currently doesn't like it.
Yes, currying of type constructors is much less common, and
Hi
Try doing a Hoogle search for c1 (c2 x) - c2 (c1 x).
Hoogle correctly states that Data.Traversable.sequence will
do it for you.
Now try doing c1 k (c2 x) - c2 (c1 k x). The 'sequence'
function will also do this, but now Hoogle returns 0 results.
This is puzzling, since AFAIK, the
Mitchell, Neil wrote:
Hi
Try doing a Hoogle search for c1 (c2 x) - c2 (c1 x).
Hoogle correctly states that Data.Traversable.sequence will
do it for you.
Now try doing c1 k (c2 x) - c2 (c1 k x). The 'sequence'
function will also do this, but now Hoogle returns 0 results.
This is
Andrew Coppin wrote:
After much searching (Hoogle rather failed me here), I discover that...
I could probably elaborate on that point further.
Try doing a Hoogle search for c1 (c2 x) - c2 (c1 x). Hoogle correctly
states that Data.Traversable.sequence will do it for you.
Now try doing c1 k
Hi,
I have just been asked for usage of timer in haskell. Which I did not
remember clearly. So I ask the search engine.
In Hoogle: timer
In Google: haskell timer
Hoogle does not search the general web, just the libraries supplied
with GHC. A quick scan of the first few Google results
Hi Haskellers:
I have just been asked for usage of timer in haskell. Which I did not
remember clearly. So I ask the search engine.
In Hoogle: timer
In Google: haskell timer
After I tried these, I wonder, when and how often the hoogle update its
database? And, could hoogle search range cover the
It'd seem that (at least the online version of) Hoogle is totally broken
and useless. See, for example, the output when looking for:
Monad m = m a - (a - m b) - m b (i.e. (=)'s type)
over at:
http://haskell.org/hoogle/?q=Monad+m+%3D+m+a+-+(a+-+m+b)+-+m+b
Data.Generics.Sche... everywhere
On Sat, Jun 14, 2008 at 9:10 AM, Richard [EMAIL PROTECTED]
wrote:
It'd seem that (at least the online version of) Hoogle is totally broken
and useless. See, for example, the output when looking for:
Monad m = m a - (a - m b) - m b (i.e. (=)'s type)
over at:
Am Samstag, 14. Juni 2008 15:10 schrieb Richard:
It'd seem that (at least the online version of) Hoogle is totally broken
and useless. See, for example, the output when looking for:
Monad m = m a - (a - m b) - m b (i.e. (=)'s type)
over at:
1 - 100 of 131 matches
Mail list logo
