2011-10-06 00:33:57 +04:00
|
|
|
Name: wai-websockets
|
2014-03-27 18:30:24 +04:00
|
|
|
Version: 2.1.0.1
|
2011-10-06 00:33:57 +04:00
|
|
|
Synopsis: Provide a bridge betweeen WAI and the websockets package.
|
2012-04-03 11:41:15 +04:00
|
|
|
License: MIT
|
2011-10-06 00:33:57 +04:00
|
|
|
License-file: LICENSE
|
2013-11-12 20:28:58 +04:00
|
|
|
Author: Michael Snoyman, Jasper Van der Jeugt, Ting-Yen Lai
|
2011-10-06 00:33:57 +04:00
|
|
|
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-12-25 21:27:33 +04:00
|
|
|
flag example
|
|
|
|
|
2011-10-06 00:33:57 +04:00
|
|
|
Library
|
2012-03-20 13:21:47 +04:00
|
|
|
Build-Depends: base >= 3 && < 5
|
2012-04-29 10:35:38 +04:00
|
|
|
, bytestring >= 0.9.1.4
|
2014-03-27 18:30:24 +04:00
|
|
|
, conduit >= 0.5 && < 1.2
|
2014-03-05 20:46:41 +04:00
|
|
|
, wai >= 2.1 && < 2.2
|
2012-03-20 13:21:47 +04:00
|
|
|
, blaze-builder >= 0.2.1.4 && < 0.4
|
|
|
|
, case-insensitive >= 0.2
|
2012-09-19 10:01:42 +04:00
|
|
|
, network >= 2.2.1.5
|
2012-03-28 18:16:40 +04:00
|
|
|
, transformers >= 0.2 && < 0.4
|
2013-11-06 22:13:17 +04:00
|
|
|
, websockets >= 0.8
|
2013-11-12 20:58:44 +04:00
|
|
|
, io-streams >= 1.1 && < 1.2
|
2014-03-05 20:46:41 +04:00
|
|
|
, http-types
|
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
|
2011-12-25 21:27:33 +04:00
|
|
|
if flag(example)
|
|
|
|
buildable: True
|
2014-05-04 00:22:21 +04:00
|
|
|
Build-Depends: base >= 3 && < 5
|
2012-03-20 13:21:47 +04:00
|
|
|
, conduit
|
|
|
|
, wai-websockets
|
|
|
|
, websockets
|
|
|
|
, warp
|
|
|
|
, wai
|
|
|
|
, wai-app-static
|
|
|
|
, bytestring
|
|
|
|
, case-insensitive
|
|
|
|
, blaze-builder
|
|
|
|
, transformers
|
|
|
|
, network
|
|
|
|
, text
|
|
|
|
, file-embed
|
2013-11-12 20:58:44 +04:00
|
|
|
, io-streams
|
2014-03-05 20:46:41 +04:00
|
|
|
, http-types
|
2014-05-04 00:22:21 +04:00
|
|
|
else
|
|
|
|
buildable: False
|
2011-10-06 01:16:12 +04:00
|
|
|
|
2011-11-27 21:14:23 +04:00
|
|
|
ghc-options: -Wall -threaded
|
2011-10-06 01:16:12 +04:00
|
|
|
main-is: server.lhs
|
|
|
|
|
2011-10-06 00:33:57 +04:00
|
|
|
source-repository head
|
|
|
|
type: git
|
|
|
|
location: git://github.com/yesodweb/wai.git
|