Idris2Doc : System.File.Meta

System.File.Meta

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

Totality: total
fPoll : HasIOio => File -> ioBool
  Check whether the given File's size is non-zero.

Totality: total
fileAccessTime : HasIOio => File -> io (EitherFileErrorInt)
  Get the File's atime.

Totality: total
fileModifiedTime : HasIOio => File -> io (EitherFileErrorInt)
  Get the File's mtime.

Totality: total
fileSize : HasIOio => File -> io (EitherFileErrorInt)
  Get the File's size.

Totality: total
fileStatusTime : HasIOio => File -> io (EitherFileErrorInt)
  Get the File's ctime.

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