git.iko.soy/Idris-dev
on master help sign in
Idris-dev/src/Idris/Info/Show.hs
143 lines 3.3 kB history raw
1module Idris.Info.Show where
3import Idris.Info
5import System.Exit
7showIdrisCRTSDir :: IO ()
8showIdrisCRTSDir = do
9 ldir <- getIdrisCRTSDir
10 putStrLn ldir
12showExitIdrisCRTSDir :: IO ()
13showExitIdrisCRTSDir = do
14 showIdrisCRTSDir
15 exitSuccess
17showIdrisJSRTSDir :: IO ()
18showIdrisJSRTSDir = do
19 ldir <- getIdrisJSRTSDir
20 putStrLn ldir
22showExitIdrisJSRTSDir :: IO ()
23showExitIdrisJSRTSDir = do
24 showIdrisJSRTSDir
25 exitSuccess
27showIdrisFlagsLibs :: IO ()
28showIdrisFlagsLibs = do
29 libFlags <- getIdrisFlagsLib
30 putStrLn $ unwords libFlags
32showExitIdrisFlagsLibs :: IO ()
33showExitIdrisFlagsLibs = do
34 showIdrisFlagsLibs
35 exitSuccess
37showIdrisDataDir :: IO ()
38showIdrisDataDir = do
39 ldir <- getIdrisDataDir
40 putStrLn ldir
42showExitIdrisDataDir :: IO ()
43showExitIdrisDataDir = do
44 showIdrisDataDir
45 exitSuccess
47showIdrisLibDir :: IO ()
48showIdrisLibDir = do
49 ldir <- getIdrisLibDir
50 putStrLn ldir
52showExitIdrisLibDir :: IO ()
53showExitIdrisLibDir = do
54 showIdrisLibDir
55 exitSuccess
57showIdrisDocDir :: IO ()
58showIdrisDocDir = do
59 ldir <- getIdrisDocDir
60 putStrLn ldir
62showExitIdrisDocDir :: IO ()
63showExitIdrisDocDir = do
64 showIdrisDocDir
65 exitSuccess
67showIdrisFlagsInc :: IO ()
68showIdrisFlagsInc = do
69 incFlags <- getIdrisFlagsInc
70 putStrLn $ unwords incFlags
72showExitIdrisFlagsInc :: IO ()
73showExitIdrisFlagsInc = do
74 showIdrisFlagsInc
75 exitSuccess
77-- | List idris packages installed
78showIdrisInstalledPackages :: IO ()
79showIdrisInstalledPackages = do
80 ipkgs <- getIdrisInstalledPackages
81 mapM_ putStrLn ipkgs
83showExitIdrisInstalledPackages :: IO ()
84showExitIdrisInstalledPackages = do
85 showIdrisInstalledPackages
86 exitSuccess
88showIdrisLoggingCategories :: IO ()
89showIdrisLoggingCategories = do
90 cs <- getIdrisLoggingCategories
91 mapM_ putStrLn cs
93showExitIdrisLoggingCategories :: IO ()
94showExitIdrisLoggingCategories = do
95 showIdrisLoggingCategories
96 exitSuccess
98showIdrisInfo :: IO ()
99showIdrisInfo = do
100 putStrLn $ unwords ["Idris", getIdrisVersion]
102 ps <- getIdrisInstalledPackages
103 putStrLn $ unwords (["Installed Packages:"] ++ ps)
105 cs <- getIdrisLoggingCategories
106 putStrLn $ unwords (["Logging Categories:"] ++ cs)
108 putStrLn "Paths:"
109 ldir <- getIdrisLibDir
110 udir <- getIdrisUserDataDir
111 ddir <- getIdrisDocDir
112 idir <- getIdrisDataDir
113 crdir <- getIdrisCRTSDir
114 jrdir <- getIdrisJSRTSDir
115 putStrLn $ unwords ["-", "Data Dir:", idir]
116 putStrLn $ unwords ["-", "Library Dir:", ldir]
117 putStrLn $ unwords ["-", "C RTS Dir:", crdir]
118 putStrLn $ unwords ["-", "JS RTS Dir:", jrdir]
119 putStrLn $ unwords ["-", "User Dir:", udir]
120 putStrLn $ unwords ["-", "Documentation Dir:", ddir]
122 putStrLn "Flags:"
123 lflag <- getIdrisFlagsLib
124 iflag <- getIdrisFlagsInc
125 eflag <- getIdrisFlagsEnv
126 putStrLn $ unwords (["-", "Libraries:", show lflag])
127 putStrLn $ unwords (["-", "Includes:", show iflag])
128 putStrLn $ unwords (["-", "Env:", show eflag])
130 cc <- getIdrisCC
131 putStrLn $ unwords ["CC:", cc]
133 putStrLn "Files:"
134 hfile <- getIdrisHistoryFile
135 iscript <- getIdrisInitScript
136 putStrLn $ unwords (["-", "History File:", hfile])
137 putStrLn $ unwords (["-", "REPL Init Script", iscript])
140showExitIdrisInfo :: IO ()
141showExitIdrisInfo = do
142 showIdrisInfo
143 exitSuccess