Idris2Doc : System.Errno

System.Errno

Managing error codes.

Definitions

getErrno : HasIOio=>ioInt
  Fetch libc `errno` global variable.

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

Totality: total
Visibility: export