Hack: a sexy Haskell Webserver Interface
Hack is a brain-dead port of the brilliant Ruby Rack webserver interface.
Hack is made of 3 parts:
- hack: the spec
- hack-contrib: middleware
- hack-handler: drivers
The spec should be as stable as possible, hack-contrib is about middleware and tools, and hack-handler provides server connectivity.
Hack explained in one line
type Application = Env -> IO Response
What does a Hack app look like
module Main where
import Hack
import Hack.Handler.Happstack
import Data.ByteString.Lazy.Char8 (pack)
app :: Application
app = \env -> return $
Response 200 [ ("Content-Type", "text/plain") ] (pack "Hello World")
main = run app
1 minute tutorial
update cabal
cabal update
install hack
cabal install hack
pick a backend
cabal install hack-handler-happstack
Create a Hack app
put the following code in src/Main.hs
module Main where
import Hack
import Hack.Handler.Happstack
app :: Application
app = \env -> return $ Response
{ status = 200
, headers = [ ("Content-Type", "text/plain") ]
, body = "Hello World"
}
main = run app
run
ghc --make -O2 Main.hs
./Main
It should be running on http://127.0.0.1:3000 now.
Middleware
demo usage of middleware
install hack-contrib:
cabal install happy
cabal install hack-contrib
put the following in Main.hs
. The code uses the SimpleRouter
middleware to route both /hello
and /there
to the hello
application.
module Main where
import Hack
import Hack.Handler.Happstack
import Hack.Contrib.Utils
import Hack.Contrib.Middleware.SimpleRouter
import Data.Default
hello :: Application
hello = \env -> return $ def {body = show env}
app :: Application
app = route [("/hello", hello), ("/there", hello)] empty_app
main = run app
create a middleware
inside Hack.hs:
type Middleware = Application -> Application
since Haskell has curry, middleware api can be of type
Anything -> Application -> Application
just pass an applied middleware into a chain.
finally the source code of SimpleRouter.hs:
module Hack.Contrib.Middleware.SimpleRouter where
import Hack
import Hack.Contrib.Utils
import MPSUTF8
import Prelude hiding ((.), (^), (>))
import List (find, isPrefixOf)
type RoutePath = (String, Application)
route :: [RoutePath] -> Middleware
route h app = \env ->
let path = env.path_info
script = env.script_name
mod_env location = env
{ script_name = script ++ location
, path_info = path.drop (location.length)
}
in
case h.find (fst > (`isPrefixOf` path) ) of
Nothing -> app env
Just (location, app) -> app (mod_env location)
Use the middleware stack
Rack provides a builder DSL, Hack just use a function. From Contrib.Utils.hs
:
-- usage: app.use [content_type, cache]
use :: [Middleware] -> Middleware
use = reduce (<<<)
Handlers
Just like Rack, once an application is written using Hack, it should work on any web server that provides a Hack handler. I'm only familiar with Kibro, so it became the first handler that's included.
The handler should expose only one function of type:
run :: Application -> IO ()
Spec
See hack doc
Links
Resources
Reference