Servant.API.NamedRoutes

NamedRoutes combinator

data NamedRoutes (api :: * -> *)

Combinator for embedding a record of named routes into a Servant API type.

Instances

(HasLink (ToServantApi routes), forall a. GLink routes a, ErrorIfNoGeneric routes) => HasLink (NamedRoutes routes :: Type)

Defined in Servant.Links

Associated Types

type MkLink (NamedRoutes routes) a

Methods

toLink :: (Link -> a) -> Proxy (NamedRoutes routes) -> Link -> MkLink (NamedRoutes routes) a

type MkLink (NamedRoutes routes :: Type) a

Defined in Servant.Links

type MkLink (NamedRoutes routes :: Type) a = routes (AsLink a)