System.Posix.Dir

Reexports

Definitions

mkdir : Has Errno es => EIO1 f => String -> Mode -> f es ()

  Creates a new directory.
  
  This fails if the directory exists already. It also fails, if the
  parent directory does not exist.

Totality: total
Visibility: export

opendir : Has Errno es => EIO1 f => String -> f es Dir

  Opens a directory.

Totality: total
Visibility: export

fdopendir : FileDesc a => Has Errno es => EIO1 f => a -> f es Dir

  Opens a directory from a file descriptor.

Totality: total
Visibility: export

rewinddir : HasIO io => Dir -> io ()

  Rewinds a directory.

Totality: total
Visibility: export

closedir : Has Errno es => EIO1 f => Dir -> f es ()

  Closes a directory.

Totality: total
Visibility: export

readdir : (0 r : Type) -> FromBuf r => Has Errno es => EIO1 f => Dir -> f es (ReadRes r)

  Reads the next entry from a directory.

Totality: total
Visibility: export

getcwd : (0 r : Type) -> FromBuf r => Has Errno es => EIO1 f => f es r

  Returns the current working directory.

Totality: total
Visibility: export

chdir : Has Errno es => EIO1 f => String -> f es ()

  Changes the current working directory

Totality: total
Visibility: export

chroot : Has Errno es => EIO1 f => String -> f es ()

  Changes the current working directory

Totality: total
Visibility: export