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
On 13-07-29 08:35 AM, Nikita Karetnikov wrote:
I feel that a 'myThreadId' action, which is defined in this module [1],
is useless, but I'm not sure. I think it will always return the
Map.find: element not in the map exception because a 'threadMap'
contains an empty 'ThreadMap'.
Is it right, or
I still asking for good examples of ranNkinds data (and classes)
But now let's look at my example, TupleList
data TupleList (t :: **) = TupleNil | TupleUnit t (TupleList t)
we can easily define tupleList
tupleL :: TupleList ( (Int :: **) - (String :: **) - (Bool :: **) )
tupleL = TupleUnit 5
I'm sorry, `instance Functor (TupleList (a :: **)) where ...` isn't right,
sure.
The right one is `instance Functor TupleList where ...`
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Rank-N-Kinds-tp5733482p5733700.html
Sent from the Haskell - Haskell-Cafe mailing list
Any progress on Qt bindings yet?
On Sat, 8 Jun 2013 18:00:36 -0400 Ian-Woo Kim ianwoo...@gmail.com
wrote:
Dear Haskellers,
Hello.
I am very happy to announce the first version of fficxx
(http://ianwookim.org/fficxx, also, please look at
http://github.com/wavewave/fficxx )
fficxx is a
The higher universe levels are mostly used to stave off logical paradoxes
in languages where you care about that kind of stuff. In a fundamentally
impredicative language like Haskell I don't see much point, but I'd be
happy to find there is one :)
On Thu, Aug 1, 2013 at 4:55 PM, Wvv