IdrisDoc
: Effect.System
Index
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