git.iko.soy/Idris-dev
on 9724992 help sign in
Idris-dev/lib/System.idr
31 lines 800 B history raw
1module System
3import Prelude
5%default partial
6%access public
8getArgs : IO (List String)
9getArgs = do n <- numArgs
10 ga' [] 0 n
11 where
12 numArgs : IO Int
13 numArgs = mkForeign (FFun "idris_numArgs" [FPtr] FInt) prim__vm
15 getArg : Int -> IO String
16 getArg x = mkForeign (FFun "idris_getArg" [FPtr, FInt] (FAny String)) prim__vm x
18 ga' : List String -> Int -> Int -> IO (List String)
19 ga' acc i n = if (i == n) then (return $ reverse acc) else
20 do arg <- getArg i
21 ga' (arg :: acc) (i+1) n
23getEnv : String -> IO String
24getEnv x = mkForeign (FFun "getenv" [FString] FString) x
26exit : Int -> IO ()
27exit code = mkForeign (FFun "exit" [FInt] FUnit) code
29usleep : Int -> IO ()
30usleep i = mkForeign (FFun "usleep" [FInt] FUnit) i