IdrisDoc: IO

IO

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