Idris2Doc
: System.Errno
Index
Default
Alternative
Black & White
System.Errno
getErrno
:
HasIO
io => io
Int
Fetch libc `errno` global variable.
Totality
: total
strerror
:
Int
->
String
Convert numeric `errno` to string.
Totality
: total