Idris2Doc : System.File.Meta

System.File.Meta

exists : HasIOio => String -> ioBool
  Check if a file exists for reading.

Totality: total
fPoll : HasIOio => File -> ioBool
Totality: total
fileAccessTime : HasIOio => File -> io (EitherFileErrorInt)
Totality: total
fileModifiedTime : HasIOio => File -> io (EitherFileErrorInt)
Totality: total
fileSize : HasIOio => File -> io (EitherFileErrorInt)
Totality: total
fileStatusTime : HasIOio => File -> io (EitherFileErrorInt)
Totality: total
firstExists : HasIOio => ListString -> io (MaybeString)
  Pick the first existing file

Totality: total
isTTY : HasIOio => File -> ioBool
  Check whether the given File is a terminal device.

Totality: total