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

Safe Haskell	None
Language	Haskell2010

Servant.Server.Internal.Handler

Documentation

newtype Handler a Source #

Constructors

Handler
Fields runHandler' :: ExceptT ServantErr IO a

Instances

Monad Handler Source #
Instance details Defined in Servant.Server.Internal.Handler 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 #
Instance details Defined in Servant.Server.Internal.Handler Methods fmap :: (a -> b) -> Handler a -> Handler b # (<$) :: a -> Handler b -> Handler a #
Applicative Handler Source #
Instance details Defined in Servant.Server.Internal.Handler 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 #
Instance details Defined in Servant.Server.Internal.Handler Methods liftIO :: IO a -> Handler a #
MonadThrow Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Methods throwM :: Exception e => e -> Handler a #
MonadCatch Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Methods catch :: Exception e => Handler a -> (e -> Handler a) -> Handler a #
MonadMask Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Methods mask :: ((forall a. Handler a -> Handler a) -> Handler b) -> Handler b # uninterruptibleMask :: ((forall a. Handler a -> Handler a) -> Handler b) -> Handler b # generalBracket :: Handler a -> (a -> ExitCase b -> Handler c) -> (a -> Handler b) -> Handler (b, c) #
MonadBase IO Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Methods liftBase :: IO α -> Handler α #
MonadBaseControl IO Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Associated Types type StM Handler a :: Type # Methods liftBaseWith :: (RunInBase Handler IO -> IO a) -> Handler a # restoreM :: StM Handler a -> Handler a #
MonadError ServantErr Handler Source #
Instance details Defined in Servant.Server.Internal.Handler Methods throwError :: ServantErr -> Handler a # catchError :: Handler a -> (ServantErr -> Handler a) -> Handler a #
Generic (Handler a) Source #
Instance details Defined in Servant.Server.Internal.Handler Associated Types type Rep (Handler a) :: Type -> Type # Methods from :: Handler a -> Rep (Handler a) x # to :: Rep (Handler a) x -> Handler a #
type StM Handler a Source #
Instance details Defined in Servant.Server.Internal.Handler type StM Handler a = Either ServantErr a
type Rep (Handler a) Source #
Instance details Defined in Servant.Server.Internal.Handler type Rep (Handler a) = D1 (MetaData "Handler" "Servant.Server.Internal.Handler" "servant-server-0.15-HZ8jkJtk2sLGoQdbJQiUb3" True) (C1 (MetaCons "Handler" PrefixI True) (S1 (MetaSel (Just "runHandler'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExceptT ServantErr IO a))))

runHandler :: Handler a -> IO (Either ServantErr a) Source #