Safe Haskell	None
Language	Haskell2010

Network.HTTP2.Server

Contents

Runner
Runner arguments
HTTP/2 server
Request
- Accessing request
Aux
Response
Push promise
Types
RecvN
Position read for files

Description

HTTP/2 server library.

Example:

{-# LANGUAGE OverloadedStrings #-}
module Main (main) where

import qualified Control.Exception as E
import Data.ByteString.Builder (byteString)
import Network.HTTP.Types (ok200)
import Network.Run.TCP (runTCPServer) -- network-run

import Network.HTTP2.Server

main :: IO ()
main = runTCPServer Nothing "80" $ \s _peer -> runHTTP2Server s
  where
    runHTTP2Server s = E.bracket (allocSimpleConfig s 4096)
                                 freeSimpleConfig
                                 (\config -> run config server)
    server _req _aux sendResponse = sendResponse response []
      where
        response = responseBuilder ok200 header body
        header = [("Content-Type", "text/plain")]
        body = byteString "Hello, world!\n"

Synopsis

run :: Config -> Server -> IO ()
data Config = Config {
- confWriteBuffer :: Buffer
- confBufferSize :: BufferSize
- confSendAll :: ByteString -> IO ()
- confReadN :: Int -> IO ByteString
- confPositionReadMaker :: PositionReadMaker
- confTimeoutManager :: Manager
}
allocSimpleConfig :: Socket -> BufferSize -> IO Config
freeSimpleConfig :: Config -> IO ()
type Server = Request -> Aux -> ( Response -> [ PushPromise ] -> IO ()) -> IO ()
data Request
requestMethod :: Request -> Maybe Method
requestPath :: Request -> Maybe Path
requestAuthority :: Request -> Maybe Authority
requestScheme :: Request -> Maybe Scheme
requestHeaders :: Request -> HeaderTable
requestBodySize :: Request -> Maybe Int
getRequestBodyChunk :: Request -> IO ByteString
getRequestTrailers :: Request -> IO ( Maybe HeaderTable )
data Aux
auxTimeHandle :: Aux -> Handle
data Response
responseNoBody :: Status -> ResponseHeaders -> Response
responseFile :: Status -> ResponseHeaders -> FileSpec -> Response
responseStreaming :: Status -> ResponseHeaders -> (( Builder -> IO ()) -> IO () -> IO ()) -> Response
responseBuilder :: Status -> ResponseHeaders -> Builder -> Response
responseBodySize :: Response -> Maybe Int
type TrailersMaker = Maybe ByteString -> IO NextTrailersMaker
data NextTrailersMaker
- = NextTrailersMaker TrailersMaker
- | Trailers [ Header ]
defaultTrailersMaker :: TrailersMaker
setResponseTrailersMaker :: Response -> TrailersMaker -> Response
data PushPromise
pushPromise :: ByteString -> Response -> Weight -> PushPromise
promiseRequestPath :: PushPromise -> ByteString
promiseResponse :: PushPromise -> Response
promiseWeight :: PushPromise -> Weight
defaultWeight :: Weight
type Path = ByteString
type Authority = ByteString
type Scheme = ByteString
data FileSpec = FileSpec FilePath FileOffset ByteCount
type FileOffset = Int64
type ByteCount = Int64
defaultReadN :: Socket -> IORef ( Maybe ByteString ) -> Int -> IO ByteString
type PositionReadMaker = FilePath -> IO ( PositionRead , Sentinel )
type PositionRead = FileOffset -> ByteCount -> Buffer -> IO ByteCount
data Sentinel
- = Closer ( IO ())
- | Refresher ( IO ())
defaultPositionReadMaker :: PositionReadMaker

Runner

run :: Config -> Server -> IO () Source #

Running HTTP/2 server.

Runner arguments

data Config Source #

HTTP/2 configuration.

Constructors

Config
Fields confWriteBuffer :: Buffer confBufferSize :: BufferSize confSendAll :: ByteString -> IO () confReadN :: Int -> IO ByteString confPositionReadMaker :: PositionReadMaker confTimeoutManager :: Manager

allocSimpleConfig :: Socket -> BufferSize -> IO Config Source #

Making simple configuration whose IO is not efficient. A write buffer is allocated internally.

freeSimpleConfig :: Config -> IO () Source #

Deallocating the resource of the simple configuration.

HTTP/2 server

type Server = Request -> Aux -> ( Response -> [ PushPromise ] -> IO ()) -> IO () Source #

Server type. Server takes a HTTP request, should generate a HTTP response and push promises, then should give them to the sending function. The sending function would throw exceptions so that they can be logged.

Request

data Request Source #

Request from client.

Instances

Instances details

Show Request Source #
Instance details Defined in Network.HTTP2.Server.Types Methods showsPrec :: Int -> Request -> ShowS Source # show :: Request -> String Source # showList :: [ Request ] -> ShowS Source #

Accessing request

requestMethod :: Request -> Maybe Method Source #

Getting the method from a request.

requestPath :: Request -> Maybe Path Source #

Getting the path from a request.

requestAuthority :: Request -> Maybe Authority Source #

Getting the authority from a request.

requestScheme :: Request -> Maybe Scheme Source #

Getting the scheme from a request.

requestHeaders :: Request -> HeaderTable Source #

Getting the headers from a request.

requestBodySize :: Request -> Maybe Int Source #

Getting the body size from a request.

getRequestBodyChunk :: Request -> IO ByteString Source #

Reading a chunk of the request body. An empty ByteString returned when finished.

getRequestTrailers :: Request -> IO ( Maybe HeaderTable ) Source #

Reading request trailers. This function must be called after getRequestBodyChunk returns an empty.

Aux

data Aux Source #

Additional information.

auxTimeHandle :: Aux -> Handle Source #

Time handle for the worker processing this request and response.

Response

data Response Source #

Response from server.

Instances

Instances details

Show Response Source #
Instance details Defined in Network.HTTP2.Server.Types Methods showsPrec :: Int -> Response -> ShowS Source # show :: Response -> String Source # showList :: [ Response ] -> ShowS Source #

Creating response

responseNoBody :: Status -> ResponseHeaders -> Response Source #

Creating response without body.

responseFile :: Status -> ResponseHeaders -> FileSpec -> Response Source #

Creating response with file.

responseStreaming :: Status -> ResponseHeaders -> (( Builder -> IO ()) -> IO () -> IO ()) -> Response Source #

Creating response with streaming.

responseBuilder :: Status -> ResponseHeaders -> Builder -> Response Source #

Creating response with builder.

Accessing response

responseBodySize :: Response -> Maybe Int Source #

Getter for response body size. This value is available for file body.

Trailers maker

type TrailersMaker = Maybe ByteString -> IO NextTrailersMaker Source #

Trailers maker. A chunks of the response body is passed with Just . The maker should update internal state with the ByteString and return the next trailers maker. When response body reaches its end, Nothing is passed and the maker should generate trailers. An example:

{-# LANGUAGE BangPatterns #-}
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as C8
import Crypto.Hash (Context, SHA1) -- cryptonite
import qualified Crypto.Hash as CH

-- Strictness is important for Context.
trailersMaker :: Context SHA1 -> Maybe ByteString -> IO NextTrailersMaker
trailersMaker ctx Nothing = return $ Trailers [("X-SHA1", sha1)]
  where
    !sha1 = C8.pack $ show $ CH.hashFinalize ctx
trailersMaker ctx (Just bs) = return $ NextTrailersMaker $ trailersMaker ctx'
  where
    !ctx' = CH.hashUpdate ctx bs

Usage example:

let h2rsp = responseFile ...
    maker = trailersMaker (CH.hashInit :: Context SHA1)
    h2rsp' = setResponseTrailersMaker h2rsp maker

data NextTrailersMaker Source #

Either the next trailers maker or final trailers.

Constructors

NextTrailersMaker TrailersMaker
Trailers [ Header ]

defaultTrailersMaker :: TrailersMaker Source #

TrailersMake to create no trailers.

setResponseTrailersMaker :: Response -> TrailersMaker -> Response Source #

Setting TrailersMaker to Response .

Push promise

data PushPromise Source #

HTTP/2 push promise or sever push. Pseudo REQUEST headers in push promise is automatically generated. Then, a server push is sent according to promiseResponse .

pushPromise :: ByteString -> Response -> Weight -> PushPromise Source #

Creating push promise. The third argument is traditional, not used.

promiseRequestPath :: PushPromise -> ByteString Source #

Accessor for a URL path in a push promise (a virtual request from a server). E.g. "/style/default.css".

promiseResponse :: PushPromise -> Response Source #

Accessor for response actually pushed from a server.

promiseWeight :: PushPromise -> Weight Source #

Deprecated: Don't use this

Accessor for response weight.

defaultWeight :: Weight Source #

Deprecated: Don't use this

Default weight.

>>> defaultWeight
16

Types

type Path = ByteString Source #

Path.

type Authority = ByteString Source #

For so-called "Host:" header.

type Scheme = ByteString Source #

"http" or "https".

data FileSpec Source #

File specification.

Constructors

FileSpec FilePath FileOffset ByteCount

Instances

Instances details

Eq FileSpec Source #
Instance details Defined in Network.HTTP2.Arch.Types Methods (==) :: FileSpec -> FileSpec -> Bool Source # (/=) :: FileSpec -> FileSpec -> Bool Source #
Show FileSpec Source #
Instance details Defined in Network.HTTP2.Arch.Types Methods showsPrec :: Int -> FileSpec -> ShowS Source # show :: FileSpec -> String Source # showList :: [ FileSpec ] -> ShowS Source #

type FileOffset = Int64 Source #

Offset for file.

type ByteCount = Int64 Source #

How many bytes to read

RecvN

defaultReadN :: Socket -> IORef ( Maybe ByteString ) -> Int -> IO ByteString Source #

Naive implementation for readN.

Position read for files

type PositionReadMaker = FilePath -> IO ( PositionRead , Sentinel ) Source #

Making a position read and its closer.

type PositionRead = FileOffset -> ByteCount -> Buffer -> IO ByteCount Source #

Position read for files.

data Sentinel Source #

Manipulating a file resource.

Constructors

Closer ( IO ())	Closing a file resource. Its refresher is automatiaclly generated by the internal timer.
Refresher ( IO ())	Refreshing a file resource while reading. Closing the file must be done by its own timer or something.

defaultPositionReadMaker :: PositionReadMaker Source #

Position read based on Handle .