2011-10-06 00:33:57 +04:00
|
|
|
Name: wai-websockets
|
2011-11-15 13:03:29 +04:00
|
|
|
Version: 0.5.0
|
2011-10-06 00:33:57 +04:00
|
|
|
Synopsis: Provide a bridge betweeen WAI and the websockets package.
|
|
|
|
|
License: BSD3
|
|
|
|
|
License-file: LICENSE
|
|
|
|
|
Author: Michael Snoyman
|
|
|
|
|
Maintainer: michael@snoyman.com
|
|
|
|
|
Homepage: http://github.com/yesodweb/wai
|
|
|
|
|
Category: Web, Yesod
|
|
|
|
|
Build-Type: Simple
|
2011-10-06 01:16:12 +04:00
|
|
|
Cabal-Version: >=1.8
|
2011-10-06 00:33:57 +04:00
|
|
|
Stability: Stable
|
|
|
|
|
Description: This is primarily intended for use with Warp and its settingsIntercept.
|
|
|
|
|
|
2011-10-06 02:05:00 +04:00
|
|
|
extra-source-files: static/client.js, static/client.html, static/screen.css
|
2011-10-06 01:16:12 +04:00
|
|
|
|
2011-10-06 00:33:57 +04:00
|
|
|
Library
|
|
|
|
|
Build-Depends: base >= 3 && < 5
|
2011-11-23 08:19:39 +04:00
|
|
|
, bytestring >= 0.9.1.4 && < 0.10
|
2011-10-06 00:33:57 +04:00
|
|
|
, wai >= 0.4 && < 0.5
|
2011-11-23 08:19:39 +04:00
|
|
|
, enumerator >= 0.4.8 && < 0.5
|
2011-10-06 00:33:57 +04:00
|
|
|
, network-enumerator >= 0.1.2 && < 0.2
|
|
|
|
|
, blaze-builder >= 0.2.1.4 && < 0.4
|
|
|
|
|
, case-insensitive >= 0.2 && < 0.4
|
2011-11-23 08:19:39 +04:00
|
|
|
, network >= 2.2.1.5 && < 2.4
|
2011-11-15 13:03:29 +04:00
|
|
|
, websockets >= 0.4 && < 0.5
|
2011-10-06 00:33:57 +04:00
|
|
|
Exposed-modules: Network.Wai.Handler.WebSockets
|
|
|
|
|
ghc-options: -Wall
|
|
|
|
|
|
2011-10-06 01:16:12 +04:00
|
|
|
Executable wai-websockets-example
|
|
|
|
|
Build-Depends: base >=3 && < 5,
|
|
|
|
|
wai-websockets,
|
|
|
|
|
websockets,
|
|
|
|
|
network-enumerator,
|
|
|
|
|
warp,
|
|
|
|
|
wai,
|
|
|
|
|
wai-app-static,
|
|
|
|
|
bytestring,
|
|
|
|
|
case-insensitive,
|
|
|
|
|
blaze-builder,
|
|
|
|
|
enumerator,
|
|
|
|
|
transformers,
|
|
|
|
|
network,
|
2011-10-06 01:21:44 +04:00
|
|
|
text,
|
|
|
|
|
file-embed
|
2011-10-06 01:16:12 +04:00
|
|
|
|
|
|
|
|
ghc-options: -Wall -O2 -threaded
|
|
|
|
|
main-is: server.lhs
|
|
|
|
|
|
2011-10-06 00:33:57 +04:00
|
|
|
source-repository head
|
|
|
|
|
type: git
|
|
|
|
|
location: git://github.com/yesodweb/wai.git
|
