IdrisDoc: IO

IO

forceGC : IO ()
fork : IO' l () -> IO' l Ptr
getErrno : IO Int
getMyVM : IO' l Ptr