System.IO.RandomAccessFile.MMap

Documentation

data MMaped

Instances

FileAccess MMaped

Defined in System.IO.RandomAccessFile.MMap

Associated Types

data AccessParams MMaped :: Type

Methods

initFile :: AccessParams MMaped -> FilePath -> IO MMaped

readBytes :: MMaped -> Offset -> Size -> IO ByteString

writeBytes :: MMaped -> Offset -> ByteString -> IO ()

currentFileSize :: MMaped -> IO Size

syncFile :: MMaped -> IO ()

closeFile :: MMaped -> IO ()

data AccessParams MMaped

Defined in System.IO.RandomAccessFile.MMap

data AccessParams MMaped = MMapedParams Size Bool

data family AccessParams a

Instances

data AccessParams MMaped

Defined in System.IO.RandomAccessFile.MMap

data AccessParams MMaped = MMapedParams Size Bool

data AccessParams Simple

Defined in System.IO.RandomAccessFile.Simple

data AccessParams Simple = SimpleParams

data AccessParams Threaded

Defined in System.IO.RandomAccessFile.Threaded

data AccessParams Threaded = ThreadedParams Size

data AccessParams (Cached a)

Defined in System.IO.RandomAccessFile.Cached

data AccessParams (Cached a) = CachedBackend {

• backendParams :: AccessParams a
• cachePageSize :: Size
• cacheCapacity :: Int
• cacheFlushPeriod :: Int

}

extendFile :: MMaped -> Size -> IO ()

Resize file to be at least of specified size. Does nothing if size of file is already greater or equal to specified. While file is resized, all reading and writing to it are locked.