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!