Is Hoogle down?

[f-a]

It might be interesting to some of you: hoogle can run locally. I’ll lift the relevant part from an article I wrote ages ago:

• If you need an offline Hoogle too, just cabal install hoogle, hoogle generate and add this to your ~/.ghci (I stole this from John Wiegley):

:def hoogle \x -> return $ ":!hoogle -q --colour -n 10 \"" ++ x ++ "\""
:def hdoc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""

Now you can query hoogle straight from ghci:

λ> :hoogle [a] -> Int
Searching for: [a] -> Int
Prelude length :: [a] -> Int

Local docs means connectivity can be subpar and you can still get some work done.

I am grateful to people handling our infrastructure: they are doing an ecellent job with very little resources.