INT

INTRO

The Network.N2O.Internal module contains request and context definition, state and N2O monad.

REQUEST

Listing 1. HTTP Request
type Header = (BS.ByteString, BS.ByteString) data Req = Req { reqPath :: BS.ByteString , reqMeth :: BS.ByteString , reqVers :: BS.ByteString , reqHead :: [Header] }
Listing 2. HTTP Request Constructor
mkReq = Req { reqPath = "/" , reqMeth = "GET" , reqVers = "HTTP/1.1" , reqHead = [] }

CONTEXT

Listing 3. N2O Protocol Closure
data Event a = Init | Message a | Terminate deriving Show
Listing 4. N2O Protocol Result
data Result a = Reply a | Ok | Unknown | Empty deriving (Show, Eq)
Listing 5. N2O Context Record
data Context (f :: * -> *) a where Context :: { cxHandler :: Event a -> N2O f a (Result a) , cxReq :: Req , cxMiddleware :: [Context f a -> Context f a] , cxProtos :: [Proto f a] , cxActions :: BS.ByteString , cxDict :: M.Map BS.ByteString BS.ByteString } -> Context f a
Listing 6. N2O Context Constructor
mkCx = Context { cxReq = undefined , cxHandler = undefined , cxMiddleware = [] , cxProtos = [] , cxActions = "" , cxDict = M.empty }

MONAD

Listing 7. N2O Monad
type Proto (f :: * -> *) a = (f a) -> N2O f a (Result (f a)) type N2O f a = ReaderT (IORef (Context f a)) IO

put :: (B.Serialize bin) => BS.ByteString -> bin -> N2O f a ()

get :: (B.Serialize bin) => BS.ByteString -> N2O f a (Maybe bin)

getContext :: N2O f a (Context f a)

nop :: Result a

protoRun :: f a -> [Proto f a] -> N2O f a (Result (f a))

This module may refer to: INT, CORE