servant-server-0.14: A family of combinators for defining webservices APIs and serving them

Safe HaskellNone
LanguageHaskell2010

Servant.Server.Internal.Handler

Documentation

newtype Handler a Source #

Constructors

Handler 

Instances

Monad Handler Source # 

Methods

(>>=) :: Handler a -> (a -> Handler b) -> Handler b #

(>>) :: Handler a -> Handler b -> Handler b #

return :: a -> Handler a #

fail :: String -> Handler a #

Functor Handler Source # 

Methods

fmap :: (a -> b) -> Handler a -> Handler b #

(<$) :: a -> Handler b -> Handler a #

Applicative Handler Source # 

Methods

pure :: a -> Handler a #

(<*>) :: Handler (a -> b) -> Handler a -> Handler b #

liftA2 :: (a -> b -> c) -> Handler a -> Handler b -> Handler c #

(*>) :: Handler a -> Handler b -> Handler b #

(<*) :: Handler a -> Handler b -> Handler a #

MonadIO Handler Source # 

Methods

liftIO :: IO a -> Handler a #

MonadThrow Handler Source # 

Methods

throwM :: Exception e => e -> Handler a #

MonadCatch Handler Source # 

Methods

catch :: Exception e => Handler a -> (e -> Handler a) -> Handler a #

MonadBase IO Handler Source # 

Methods

liftBase :: IO α -> Handler α #

MonadBaseControl IO Handler Source # 

Associated Types

type StM (Handler :: * -> *) a :: * #

MonadError ServantErr Handler Source # 
Generic (Handler a) Source # 

Associated Types

type Rep (Handler a) :: * -> * #

Methods

from :: Handler a -> Rep (Handler a) x #

to :: Rep (Handler a) x -> Handler a #

type StM Handler a Source # 
type Rep (Handler a) Source # 
type Rep (Handler a) = D1 * (MetaData "Handler" "Servant.Server.Internal.Handler" "servant-server-0.14-5VwspDG59ZEK2gBEF6EIcJ" True) (C1 * (MetaCons "Handler" PrefixI True) (S1 * (MetaSel (Just Symbol "runHandler'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ExceptT ServantErr IO a))))