Version 0.15.1.3-0 of leksah is deprecated.
The latest version of leksah is 0.16.2.2-0.

IDE.SymbolNavigation

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?