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 parameters:
- 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 parameters:
- 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.
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 parameters:
- 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 parameters:
- 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
Unlock the (exclusive or regional) lock represented by the supplied Lock.
Unlock the (exclusive or regional) lock represented by the supplied Lock.
- Value parameters:
- lock
the lock object which represents the locked file or region.
- Inherited from:
- FileHandlePlatform