Search hoogle server via CLI

[walseb]

Hello!

I have a Hoogle server that's running remotely.

I can connect to it over the browser, but I would prefer to interact with it through a CLI interface.

I can't find any information in the --help documentation for the hoogle command on how to search using remote servers.

I'd like to be able to do something like hoogle "a -> b" SERVER-ADDRESS:8080 to search for a -> b on the remote server SERVER-ADDRESS:8080.

Does anyone know if this is possible?

Thanks!

[ndmitchell]

This isn't currently supported. There is a format=json arg to the server, and it would be possible to build a CLI client on top of that, but no one has done so yet. Patch welcome.