Network.EngineIO.Wai

Documentation

newtype WaiMonad a

Constructors

WaiMonad

Fields

• runWaiMonad :: ExceptT Response (ReaderT Request IO) a

Instances

Monad WaiMonad

Defined in Network.EngineIO.Wai

Methods

(>>=) :: WaiMonad a -> (a -> WaiMonad b) -> WaiMonad b

(>>) :: WaiMonad a -> WaiMonad b -> WaiMonad b

return :: a -> WaiMonad a

fail :: String -> WaiMonad a

Functor WaiMonad

Defined in Network.EngineIO.Wai

Methods

fmap :: (a -> b) -> WaiMonad a -> WaiMonad b

(<$) :: a -> WaiMonad b -> WaiMonad a

Applicative WaiMonad

Defined in Network.EngineIO.Wai

Methods

pure :: a -> WaiMonad a

(<*>) :: WaiMonad (a -> b) -> WaiMonad a -> WaiMonad b

liftA2 :: (a -> b -> c) -> WaiMonad a -> WaiMonad b -> WaiMonad c

(*>) :: WaiMonad a -> WaiMonad b -> WaiMonad b

(<*) :: WaiMonad a -> WaiMonad b -> WaiMonad a

MonadIO WaiMonad

Defined in Network.EngineIO.Wai

Methods

liftIO :: IO a -> WaiMonad a

MonadReader Request WaiMonad

Defined in Network.EngineIO.Wai

Methods

ask :: WaiMonad Request

local :: (Request -> Request) -> WaiMonad a -> WaiMonad a

reader :: (Request -> a) -> WaiMonad a

MonadError Response WaiMonad

Defined in Network.EngineIO.Wai

Methods

throwError :: Response -> WaiMonad a

catchError :: WaiMonad a -> (Response -> WaiMonad a) -> WaiMonad a

toWaiApplication :: WaiMonad a -> Application

waiAPI :: ServerAPI WaiMonad

A drop in ServerAPI that works with Wai.