| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Info.Show
- showIdrisFlagsLibs :: IO ()
- showExitIdrisFlagsLibs :: IO ()
- showIdrisLibDir :: IO ()
- showExitIdrisLibDir :: IO ()
- showIdrisFlagsInc :: IO ()
- showExitIdrisFlagsInc :: IO ()
- showIdrisInstalledPackages :: IO ()
- showExitIdrisInstalledPackages :: IO ()
- showIdrisLoggingCategories :: IO ()
- showExitIdrisLoggingCategories :: IO ()
- showIdrisInfo :: IO ()
- showExitIdrisInfo :: IO ()
Documentation
showIdrisFlagsLibs :: IO () Source #
showExitIdrisFlagsLibs :: IO () Source #
showIdrisLibDir :: IO () Source #
showExitIdrisLibDir :: IO () Source #
showIdrisFlagsInc :: IO () Source #
showExitIdrisFlagsInc :: IO () Source #
showIdrisInstalledPackages :: IO () Source #
List idris packages installed
showIdrisLoggingCategories :: IO () Source #
showIdrisInfo :: IO () Source #
showExitIdrisInfo :: IO () Source #