Servant.Server.Internal.Handler · servant-server-0.20.3.0

newtypenewtype Handler a

#

Constructors

Handler
- runHandler' :: ExceptT ServerError IO a

Instances14Monad, Functor, MonadFail, Applicative, MonadIO, MonadCatch, …

Monad HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
Functor HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadFail HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
Applicative HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadIO HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadCatch HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadMask HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadThrow HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadError ServerError HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadBase IO HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
MonadBaseControl IO HandlerDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
Generic (Handler a)Defined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
type Rep (Handler a) = D1 ('MetaData "Handler" "Servant.Server.Internal.Handler" "servant-server-0.20.3.0-HNp8M2QsEjNF1elzGWFNCw" 'True) (C1 ('MetaCons "Handler" 'PrefixI 'True) (S1 ('MetaSel ('Just "runHandler'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExceptT ServerError IO a))))Defined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler
type StM Handler a = Either ServerError aDefined in servant-server-0.20.3.0 · Servant.Server.Internal.Handler

valuerunHandler :: Handler a -> IO (Either ServerError a)

#

patternpattern 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.