Idris2Doc : System.File.Meta

System.File.Meta

Functions for accessing file metadata.

Reexports

importpublic System.File.Types

Definitions

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

Totality: total
Visibility: export
firstExists : HasIOio=>ListString->io (MaybeString)
  Pick the first existing file

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

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

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

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

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

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

Totality: total
Visibility: export