IdrisDoc: Effect.System

Effect.System

usleep : (i : Int) -> {auto prf : So (i >= fromInteger 0 && Delay (i <= fromInteger 1000000))} -> Eff () [SYSTEM]
time : Eff Integer [SYSTEM]
system : String -> Eff Int [SYSTEM]
getEnv : String -> Eff (Maybe String) [SYSTEM]
getArgs : Eff (List String) [SYSTEM]
data System : Effect
Args : sig System (List String)
Time : sig System Integer
GetEnv : String -> sig System (Maybe String)
CSystem : String -> sig System Int
Usleep : (i : Int) -> (inbounds : So (i >= fromInteger 0 && Delay (i <= fromInteger 1000000))) -> sig System ()
SYSTEM : EFFECT