Hoogle type search is great: Give a type, get back names implementing that type or a generalization of it. There's the haddock auto-generated documentation fro

Hoogle type search is great: Give a type, get back names implementing that type or a generalization of it. There's the haddock auto-generated documentation from cabal (if you enable it). Not sure if that qualifies for "available from the command line".