| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Servant.API.WithNamedContext
Synopsis
- data WithNamedContext (name :: Symbol) (subContext :: [*]) subApi
Documentation
data WithNamedContext (name :: Symbol) (subContext :: [*]) subApi Source #
WithNamedContext names a specific tagged context to use for the
combinators in the API. (See also in servant-server,
Servant.Server.Context.) For example:
type UseNamedContextAPI = WithNamedContext "myContext" '[String] (
ReqBody '[JSON] Int :> Get '[JSON] Int)Both the ReqBody and Get combinators will use the WithNamedContext with
type tag "myContext" as their context.
Contexts are only relevant for servant-server.
For more information, see the tutorial.
Instances
| HasLink sub => HasLink (WithNamedContext name context sub :: *) Source # | |
Defined in Servant.Links Associated Types type MkLink (WithNamedContext name context sub) a :: * Source # Methods toLink :: (Link -> a) -> Proxy (WithNamedContext name context sub) -> Link -> MkLink (WithNamedContext name context sub) a Source # | |
| type MkLink (WithNamedContext name context sub :: *) a Source # | |
Defined in Servant.Links | |