idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.REPL.Browse

Description

 

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.