License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.REPL.Browse
Description
Synopsis
- namespacesInNS :: [String] -> Idris [[String]]
- namesInNS :: [String] -> Idris [Name]
Documentation
namespacesInNS :: [String] -> Idris [[String]] Source #
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.