idris-0.10.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.REPL.Browse

Synopsis

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.

namesInNS :: [String] -> Idris [Name] Source

Find the user-accessible names that occur directly within a given namespace. The components should be in display order rather than the order that they are in inside of NS constructors.