Idris.Info.Show

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

showExitIdrisInstalledPackages :: IO ()

showIdrisLoggingCategories :: IO ()

showExitIdrisLoggingCategories :: IO ()

showIdrisInfo :: IO ()

showExitIdrisInfo :: IO ()