Safe Haskell | None |
---|---|
Language | Haskell2010 |
Servant.Server.Internal.Handler
Synopsis
- newtype Handler a = Handler {
- runHandler' :: ExceptT ServerError IO a
- runHandler :: Handler a -> IO (Either ServerError a)
- pattern MkHandler :: IO (Either ServerError a) -> Handler a
Documentation
Constructors
Handler | |
Fields
|
Instances
MonadIO Handler Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
MonadCatch Handler Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
MonadMask Handler Source # | |||||
Defined in Servant.Server.Internal.Handler Methods mask :: HasCallStack => ((forall a. Handler a -> Handler a) -> Handler b) -> Handler b uninterruptibleMask :: HasCallStack => ((forall a. Handler a -> Handler a) -> Handler b) -> Handler b generalBracket :: HasCallStack => Handler a -> (a -> ExitCase b -> Handler c) -> (a -> Handler b) -> Handler (b, c) | |||||
MonadThrow Handler Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
Applicative Handler Source # | |||||
Functor Handler Source # | |||||
Monad Handler Source # | |||||
MonadFail Handler Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
MonadBaseControl IO Handler Source # | |||||
Defined in Servant.Server.Internal.Handler Associated Types
| |||||
MonadError ServerError Handler Source # | |||||
Defined in Servant.Server.Internal.Handler Methods throwError :: ServerError -> Handler a # catchError :: Handler a -> (ServerError -> Handler a) -> Handler a | |||||
MonadBase IO Handler Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
Generic (Handler a) Source # | |||||
Defined in Servant.Server.Internal.Handler Associated Types
| |||||
type StM Handler a Source # | |||||
Defined in Servant.Server.Internal.Handler | |||||
type Rep (Handler a) Source # | |||||
Defined in Servant.Server.Internal.Handler type Rep (Handler a) = D1 ('MetaData "Handler" "Servant.Server.Internal.Handler" "servant-server-0.20.2-grvov9l9wo8ZoGlIfrF6F" 'True) (C1 ('MetaCons "Handler" 'PrefixI 'True) (S1 ('MetaSel ('Just "runHandler'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExceptT ServerError IO a)))) |
runHandler :: Handler a -> IO (Either ServerError a) Source #
pattern MkHandler :: IO (Either ServerError a) -> Handler a Source #
Pattern synonym that matches directly on the inner IO
action.
To lift IO
actions that don't carry a ServerError
, use liftIO
instead.