IdrisDoc: Effect.System

Effect.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
SYSTEM : EFFECT