file

Types

File

pub type File {
  File(descriptor: FileDescriptor, file_size: Int)
}

Constructors

File(descriptor: FileDescriptor, file_size: Int)

FileDescriptor

</>

pub type FileDescriptor

FileError

</>

pub type FileError {
  IsDir
  NoAccess
  NoEntry
  UnknownFileError
}

Constructors

```
IsDir
```
```
NoAccess
```
```
NoEntry
```
```
UnknownFileError
```

SendError

</>

pub type SendError {
  FileErr(FileError)
  SocketErr(socket.SocketReason)
}

Constructors

```
FileErr(FileError)
```
```
SocketErr(socket.SocketReason)
```

Values

close

</>

pub fn close(file: FileDescriptor) -> Result(Nil, FileError)

error_to_string

</>

pub fn error_to_string(error: FileError) -> String

open

</>

pub fn open(file: BitArray) -> Result(FileDescriptor, FileError)

pread

</>

pub fn pread(
  fd: FileDescriptor,
  location: Int,
  bytes: Int,
) -> Result(BitArray, FileError)

sendfile

</>

pub fn sendfile(
  transport: transport.Transport,
  file_descriptor file_descriptor: FileDescriptor,
  socket socket: socket.Socket,
  offset offset: Int,
  bytes bytes: Int,
  options options: List(a),
) -> Result(Nil, SendError)

stat

</>

pub fn stat(filename: BitArray) -> Result(File, FileError)