License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.Exports
Description
Documentation
findExports :: Idris [ExportIFace] Source #
getExpNames :: [ExportIFace] -> [Name] Source #
License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.Exports
Description
findExports :: Idris [ExportIFace] Source #
getExpNames :: [ExportIFace] -> [Name] Source #