server package:servant-server

This module lets you implement Servers for defined APIs. You'll most likely just need serve.

Constraints that need to be satisfied on a context for it to be passed to serveWithContext. Typically, this will add default context entries to the context. You shouldn't typically need to worry about these constraints, but if you write a helper function that wraps serveWithContext, you might need to include this constraint.

The type of a server for this API, given a monad to run effects in. Note that the result kind is *, so it is not a monad transformer, unlike what the T in the name might suggest.

A family of combinators for defining webservices APIs and serving them A family of combinators for defining webservices APIs and serving them . You can learn about the basics in the tutorial. . Here is a runnable example, with comments, that defines a dummy API and implements a webserver that serves this API, using this package. . CHANGELOG

Singleton type representing a server that serves an empty API.

Server for EmptyAPI

Specify the type of data returned after we've authenticated a request. quite often this is some User datatype. NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE

A type that specifies that an API record contains a server implementation.

Transform a record of endpoints into a Server.

Transform a record of endpoints into a ServerT m. You can see an example usage of this function in the Servant Cookbook.

This class is a necessary evil: in the implementation of HasServer for NamedRoutes api, we essentially need the quantified constraint forall m. GServerConstraints m to hold. We cannot require do that directly as the definition of GServerConstraints contains type family applications (Rep and ServerT). The trick is to hide those type family applications behind a typeclass providing evidence for GServerConstraints api m in the form of a dictionary, and require that forall m. GServer api m instead. Users shouldn't have to worry about this class, as the only possible instance is provided in this module for all record APIs.

Set of constraints required to convert to / from vanilla server types.

Many combinators extract information that is passed to the handler without the possibility of failure. In such a case, passToServer can be used.

Same as serveDirectoryWebApp, but uses defaultFileServerSettings.