- data ReaderStream a = ReaderStream {
- readerClose :: IO ()
- readerGet :: IO ([a], Int)
- readerGetUncut :: IO [a]
- data WriterStream a = WriterStream {}
- type PrefixLock = (FilePath, Handle)
- data Saver
- createReader :: Serialize a => Saver -> String -> Int -> IO (ReaderStream a)
- createWriter :: Serialize a => Saver -> String -> Int -> IO (WriterStream a)
- obtainLock :: Saver -> IO (Maybe PrefixLock)
- releaseLock :: Maybe PrefixLock -> IO ()
Documentation
data ReaderStream a Source
ReaderStream | |
|
data WriterStream a Source
type PrefixLock = (FilePath, Handle)Source
createReader :: Serialize a => Saver -> String -> Int -> IO (ReaderStream a)Source
Dispatches over the Saver type provided to return a ReaderStream
for the inferred
type.
createWriter :: Serialize a => Saver -> String -> Int -> IO (WriterStream a)Source
Dispatches over the Saver type provided to return a WriterStream for the inferred type.
obtainLock :: Saver -> IO (Maybe PrefixLock)Source
releaseLock :: Maybe PrefixLock -> IO ()Source