System.Posix.Dir.Prim

Reexports

import public Data.Buffer.Core
import public Data.ByteString
import public Data.C.Integer
import public System.Posix.Dir.Dir
import public System.Posix.Errno
import public System.Posix.File.Prim

Definitions

mkdir : String -> Mode -> EPrim ()

  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 : String -> EPrim Dir

  Opens a directory.

Totality: total
Visibility: export

fdopendir : FileDesc a => a -> EPrim Dir

  Opens a directory from a file descriptor.

Totality: total
Visibility: export

rewinddir : Dir -> PrimIO ()

  Rewinds a directory.

Totality: total
Visibility: export

closedir : Dir -> EPrim ()

  Closes a directory.

Totality: total
Visibility: export

closedir' : Dir -> F1' World

  Closes a directory.

Totality: total
Visibility: export

readdir : (0 r : Type) -> FromBuf r => Dir -> EPrim (ReadRes r)

  Reads the next entry from a directory.

Totality: total
Visibility: export

getcwd : (0 r : Type) -> FromBuf r => EPrim r

  Returns the current working directory.

Totality: total
Visibility: export

chdir : String -> EPrim ()

  Changes the current working directory

Totality: total
Visibility: export

chroot : String -> EPrim ()

  Changes the current working directory

Totality: total
Visibility: export