loli: A minimum web dev DSL in Haskell

[ bsd3, deprecated, library, web ] [ Propose Tags ]
Deprecated in favor of miku

A simple library for fast web prototyping in Haskell.

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 2009.6.25, 2009.6.26, 2009.6.27, 2009.6.29, 2009.7.2, 2009.8.16, 2009.8.18, 2009.10.13, 2010.10.9, 2011.6.24
Change log
Dependencies base (>4 && <=5), bytestring, containers, data-default, hack (>=2009.7.15), hack-contrib (>=2009.8.18), mps (>=2009.9.18), mtl, template (<0.2), utf8-string [details]
License BSD-3-Clause
Author Jinjing Wang
Maintainer Jinjing Wang <>
Category Web
Home page
Uploaded by JinjingWang at 2011-06-24T05:06:41Z
Reverse Dependencies 2 direct, 3 indirect [details]
Downloads 7069 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for loli-2011.6.24

[back to package description]


A minimum web dev DSL


import Network.Loli
import Hack.Handler.Happstack

main = run . loli $ get "/" (text "loli power")


cabal update
cabal install loli
cabal install hack-handler-happstack

-- copy and paste the above example to myapp.hs

ghc --make myapp.hs

check: http://localhost:3000

Quick reference



-- use - instead of $ for clarity
import MPS.Light ((-))
import Prelude hiding ((-))

import Network.Loli
import Hack.Handler.Happstack

main = run . loli - do

  get "/" - do
    -- something for a get request

  post "/" - do
    -- for a post request

  put "/" - do
    -- put ..

  delete "/" - do
    -- ..


get "/say/:user/:message" - do
  text . show =<< captures

-- /say/jinjing/hello will output
-- [("user","jinjing"),("message","hello")]


-- public serve, only allows `./src`
public (Just ".") ["/src"]

Mime types

-- treat .hs extension as text/plain
mime "hs" "text/plain"


-- before takes a function of type (Env -> IO Env)
before - \e -> do
  putStrLn "before called"
  return e

-- after takes that of type (Response -> IO Response)
after return

Hack integration

Use hack middleware

-- note both etag and lambda middleware are removed ... for somce ghc 7.0 compatability ><

import Hack.Contrib.Middleware.ETag
import Hack.Contrib.Middleware.Lambda

middleware etag
middleware lambda

Convert loli into a hack application

-- in Network.Loli.Engine

loli :: Unit -> Application


  • It's recommended to use your own html combinator / template engine, loli's template system is for completeness rather then usefulness... The author has removed the section on view from this readme. Examples can still be found in src/Test/Test.hs. Try DIY with, e.g. moe. The template code will stay for, say, a few years, but will eventually fade away.
  • Example view using custom html combinator (moe in this case)
  • When inspecting the request, use ask defined in ReaderT monad to get the Hack.Environment, then use helper method defined in Hack.Contrib.Request to query it.
  • Response is in StateT, html and text are simply helper methods that update the state, i.e. setting the response body, content-type, etc.
  • You do need to understand monad transformers to reach the full power of loli.
  • For mac users, use GHC 6.12.1 if you have trouble running the server.