Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
Idris.REPL.Browse
Description
Documentation
namespacesInNS :: [String] -> Idris [[String]] #
Find the sub-namespaces of a given namespace. The components should be in display order rather than the order that they are in inside of NS constructors.