Global Flags
These apply to every subcommand and are given before or after the command.
| Flag | Description |
|---|---|
--project-dir DIR | Override project root |
--package-override PKG=VER | Replace a plan entry (repeatable) |
--offline | Disable network access; a remote-Hoogle answer cached by a previous online lookup is still served, only the request is skipped (fails only if nothing is cached) |
--json | Emit the JSON envelope instead of YAML (the default) |
--pretty-json | Indent JSON output |
--full | Include all fields (default: compact) |
--select f1,f2,... | Post-filter output to the listed fields |
--cache-dir DIR | Override the cache root (default: XDG, ~/.cache/hypha) |
--hoogle-timeout SECONDS | Remote Hoogle request timeout (default: 10) |
--version / -V | Print the hypha version and exit |
--quiet / -q | Suppress informational output; overrides --verbose. Does not suppress the indexer's and the browser's diagnostics — a skipped module, an export it could not resolve, a cabal file it could not read — which always go to stderr |
--verbose / -v | Show debug output |
Output format
YAML is the default — compact, terminal-readable, and cheap for an agent to
parse. --json switches to a JSON envelope for machine pipelines;
--pretty-json indents it.
-
--fulladds the fields the compact form omits. Today that issource(thepathandlinea symbol is defined at) onsymbol, andtiers_consultedonlookup— the default already carries the full Haddock body, so--fullis a small addition rather than a different mode. -
--selecttrims the output to just the fields you name, e.g.hypha symbol … --select signature,haddock. Great for keeping token cost down. The short spellingssigandhaddockmean the same fields (they are aliases forsignatureandhaddock_raw), so--select sig,haddockworks too.It names top-level result fields, so which names are valid depends on the command:
signatureandhaddock_rawarehypha symbol's. A name no command produces selects nothing —hypha lookup … --select siganswers with an empty result, becauselookup's signatures live one level down, inside each entry ofproviders.lookup's own top-level fields arequeryandproviders(plustiers_consultedunder--full), and its default output is already compact.You do not have to guess: a name the command cannot answer is reported on stderr, along with the ones it can.
$ hypha lookup encode --select sig warning: --select names no field of 'lookup': signature; this command answers with providers, query (more under --full)
See Caching for what --cache-dir and --offline control.