Provides the ability to read/write/lock/inspect a file in the effect F.
- Companion
- object
Type members
Inherited types
Opaque type representing an exclusive lock on a file.
Opaque type representing an exclusive lock on a file.
- Inherited from
- FileHandlePlatform
Value members
Abstract methods
Force any updates for the underlying file to storage.
Force any updates for the underlying file to storage.
- Value Params
- metaData
If true, also attempts to force file metadata updates to storage.
Read the specified number of bytes at a particular offset.
Read the specified number of bytes at a particular offset.
- Value Params
- numBytes
the number of bytes to read.
- offset
the offset from the start of the file.
- Returns
a number of bytes from the file (at most, numBytes in size).
Report the current size of the file.
Report the current size of the file.
- Returns
the size of the file.
Truncate the underlying file to the specified size.
Truncate the underlying file to the specified size.
- Value Params
- size
the size of the file after truncation.
Inherited methods
Acquire a lock on the specified region of the underlying file.
Acquire a lock on the specified region of the underlying file.
- Value Params
- position
the start of the region to lock.
- shared
to request a shared lock across process boundaries (may be converted to an exclusive lock on some operating systems).
- size
the size of the region to lock.
- Returns
a lock object which can be used to unlock the region.
- Inherited from
- FileHandlePlatform
Acquire an exclusive lock on the underlying file.
Acquire an exclusive lock on the underlying file.
- Returns
a lock object which can be used to unlock the file.
- Inherited from
- FileHandlePlatform
Attempt to acquire a lock on the specified region of the underlying file.
Attempt to acquire a lock on the specified region of the underlying file.
- Value Params
- position
the start of the region to lock.
- shared
to request a shared lock across process boundaries (may be converted to an exclusive lock on some operating systems).
- size
the size of the region to lock.
- Returns
if the lock could be acquired, a lock object which can be used to unlock the region.
- Inherited from
- FileHandlePlatform
Attempt to acquire an exclusive lock on the underlying file.
Attempt to acquire an exclusive lock on the underlying file.
- Returns
if the lock could be acquired, a lock object which can be used to unlock the file.
- Inherited from
- FileHandlePlatform