| Copyright | License : BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
IRTS.Exports
Description
Documentation
findExports :: Idris [ExportIFace] Source #
getExpNames :: [ExportIFace] -> [Name] Source #
idris-1.1.0: Functional Programming Language with Dependent Types
| Copyright | License : BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
IRTS.Exports
Description
findExports :: Idris [ExportIFace] Source #
getExpNames :: [ExportIFace] -> [Name] Source #