The chu2 package

[ Tags: bsd3, library, web ] [ Propose Tags ]

FFI for Chu2 Agda Web Server Interface


[Skip to Readme]

Properties

Versions 2012.11.16, 2012.11.16.1, 2012.11.17, 2012.11.17.1, 2012.11.17.2, 2012.11.18, 2012.11.18.1, 2012.11.18.2, 2012.11.19, 2012.11.20
Dependencies base (>=4 && <6), bytestring, data-default, hack2, hack2-handler-snap-server [details]
License BSD3
Author Jinjing Wang
Maintainer Jinjing Wang <nfjinjing@gmail.com>
Category Web
Home page https://github.com/nfjinjing/chu2
Uploaded Sat Nov 17 05:55:49 UTC 2012 by JinjingWang
Distributions NixOS:2012.11.20
Downloads 2366 total (36 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for chu2-2012.11.17.1

[back to package description]

Example Chu2 Application in Agda


module Hello where

open import IO.Primitive    using (return)
open import Data.List       using ([])
open import Chu2.ByteString using (pack)
open import Function        using (_$_; const)
open import Chu2             

hello-world-response = response OK [] (pack "Hello Agda!")

hello-world-app : Application
hello-world-app = const $ return hello-world-response

open import Chu2.Handler.SnapServer
main = onPort 3000 run $ chu2 hello-world-app


Note