Safe Haskell | None |
---|---|
Language | Haskell98 |
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 () #
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 () #
List idris packages installed
showIdrisLoggingCategories :: IO () #
showIdrisInfo :: IO () #
showExitIdrisInfo :: IO () #