@@ -31,7 +31,7 @@ instance GenericMode (AsServerT m) where
32type AsServer = AsServerT Handler
32type AsServer = AsServerT Handler
34−-- | Transform record of routes into a WAI 'Application'.
34+-- | Transform a record of routes into a WAI 'Application'.
35genericServe
35genericServe
36 :: forall routes.
36 :: forall routes.
37 ( HasServer (ToServantApi routes) '[]
37 ( HasServer (ToServantApi routes) '[]
@@ -80,13 +80,17 @@ genericServeTWithContext f server ctx =
80 p = genericApi (Proxy :: Proxy routes)
80 p = genericApi (Proxy :: Proxy routes)
81 pctx = Proxy :: Proxy ctx
81 pctx = Proxy :: Proxy ctx
83−-- | Transform record of endpoints into a 'Server'.
83+-- | Transform a record of endpoints into a 'Server'.
84genericServer
84genericServer
85 :: GenericServant routes AsServer
85 :: GenericServant routes AsServer
86 => routes AsServer
86 => routes AsServer
87 -> ToServant routes AsServer
87 -> ToServant routes AsServer
88genericServer = toServant
88genericServer = toServant
90+-- | Transform a record of endpoints into a @'ServerT' m@.
92+-- You can see an example usage of this function
93+-- <https://docs.servant.dev/en/stable/cookbook/generic/Generic.html#using-generics-together-with-a-custom-monad in the Servant Cookbook>.
90genericServerT
94genericServerT
91 :: GenericServant routes (AsServerT m)
95 :: GenericServant routes (AsServerT m)
92 => routes (AsServerT m)
96 => routes (AsServerT m)