1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
module Network.HTTP2.H2.File where
import System.IO
import Imports
import Network.HPACK
-- | Offset for file.
type FileOffset = Int64
-- | How many bytes to read
type ByteCount = Int64
-- | Position read for files.
type PositionRead = FileOffset -> ByteCount -> Buffer -> IO ByteCount
-- | Manipulating a file resource.
data Sentinel
= -- | Closing a file resource. Its refresher is automatiaclly generated by
-- the internal timer.
Closer (IO ())
| -- | Refreshing a file resource while reading.
-- Closing the file must be done by its own timer or something.
Refresher (IO ())
-- | Making a position read and its closer.
type PositionReadMaker = FilePath -> IO (PositionRead, Sentinel)
-- | Position read based on 'Handle'.
defaultPositionReadMaker :: PositionReadMaker
defaultPositionReadMaker file = do
hdl <- openBinaryFile file ReadMode
return (pread hdl, Closer $ hClose hdl)
where
pread :: Handle -> PositionRead
pread hdl off bytes buf = do
hSeek hdl AbsoluteSeek $ fromIntegral off
fromIntegral <$> hGetBufSome hdl buf (fromIntegral bytes)
|
