| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Idris.Info.Show
- showIdrisCRTSDir :: IO ()
- showExitIdrisCRTSDir :: IO ()
- showIdrisJSRTSDir :: IO ()
- showExitIdrisJSRTSDir :: IO ()
- showIdrisFlagsLibs :: IO ()
- showExitIdrisFlagsLibs :: IO ()
- showIdrisDataDir :: IO ()
- showExitIdrisDataDir :: IO ()
- showIdrisLibDir :: IO ()
- showExitIdrisLibDir :: IO ()
- showIdrisDocDir :: IO ()
- showExitIdrisDocDir :: IO ()
- showIdrisFlagsInc :: IO ()
- showExitIdrisFlagsInc :: IO ()
- showIdrisInstalledPackages :: IO ()
- showExitIdrisInstalledPackages :: IO ()
- showIdrisLoggingCategories :: IO ()
- showExitIdrisLoggingCategories :: IO ()
- showIdrisInfo :: IO ()
- showExitIdrisInfo :: IO ()
Documentation
showIdrisCRTSDir :: IO () Source #
showExitIdrisCRTSDir :: IO () Source #
showIdrisJSRTSDir :: IO () Source #
showExitIdrisJSRTSDir :: IO () Source #
showIdrisFlagsLibs :: IO () Source #
showExitIdrisFlagsLibs :: IO () Source #
showIdrisDataDir :: IO () Source #
showExitIdrisDataDir :: IO () Source #
showIdrisLibDir :: IO () Source #
showExitIdrisLibDir :: IO () Source #
showIdrisDocDir :: IO () Source #
showExitIdrisDocDir :: IO () Source #
showIdrisFlagsInc :: IO () Source #
showExitIdrisFlagsInc :: IO () Source #
showIdrisInstalledPackages :: IO () Source #
List idris packages installed
showIdrisLoggingCategories :: IO () Source #
showIdrisInfo :: IO () Source #
showExitIdrisInfo :: IO () Source #