idris-1.3.4: Functional Programming Language with Dependent Types

Safe Haskell | None
Language | Haskell2010

Idris.Info.Show

Synopsis

- 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

showExitIdrisInstalledPackages :: IO () #

showIdrisLoggingCategories :: IO () #

showExitIdrisLoggingCategories :: IO () #

showIdrisInfo :: IO () #

showExitIdrisInfo :: IO () #