Idris2Doc : System.Errno

System.Errno(source)

Managing error codes.

Definitions

getErrno : HasIOio=>ioInt
  Fetch libc `errno` global variable.
This sometimes returns 0 on windows.

Totality: total
Visibility: export
strerror : Int->String
  Convert numeric `errno` to string.

Totality: total
Visibility: export