wai-eventsource: Export EventStream module.
commit82f0ac27f05b282912254e518195e0a788714e15
authorFelipe Lessa <felipe.lessa@gmail.com>
dateWed 25 Jul 2012, 15:53 (14 years ago)
parentce9e737
wai-eventsource/src/Network/Wai/EventSource.hs+3
@@ -1,4 +1,7 @@
11{-# LANGUAGE OverloadedStrings #-}
2+{-|
3+ A WAI adapter to the HTML5 Server-Sent Events API.
4+-}
25module Network.Wai.EventSource (
36 ServerEvent(..),
47 eventSourceAppChan,
wai-eventsource/src/Network/Wai/EventSource/EventStream.hs+1−2
@@ -2,8 +2,7 @@
22{- code adapted by Mathias Billman originaly from Chris Smith https://github.com/cdsmith/gloss-web -}
33
44{-|
5− A WAI adapter to the HTML5 Server-Sent Events API. Push-mode and
6− pull-mode interfaces are both available.
5+ Internal module, usually you don't need to use it.
76-}
87module Network.Wai.EventSource.EventStream (
98 ServerEvent(..),
wai-eventsource/wai-eventsource.cabal+3−2
@@ -25,8 +25,9 @@ Library
2525
2626 ghc-options: -Wall
2727 hs-source-dirs: src
28− exposed-modules: Network.Wai.EventSource
29− other-modules: Network.Wai.EventSource.EventStream
28+ exposed-modules:
29+ Network.Wai.EventSource
30+ Network.Wai.EventSource.EventStream
3031
3132source-repository head
3233 type: git