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