Added documentation, fixed formatting
commite29c6696a70c10e9afc1536a6dc894099dbf1a0e
authorSaurabh Rawat <saurabh.rawat90@gmail.com>
dateMon 5 Dec 2016, 16:20 (10 years ago)
parent13449b5
libs/base/System.idr+2−1
@@ -61,7 +61,8 @@ time : IO Integer
6161time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
6262 pure t
6363
64−usleep : (i: Int) -> { auto p: (i > 0 && i <= 1000000) = True } -> IO ()
64+||| Specify interval to sleep for, must be in range [0, 1000000]
65+usleep : (i : Int) -> { auto prf : (i > 0 && i <= 1000000) = True } -> IO ()
6566usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
6667
6768system : String -> IO Int