on master help sign in
Add EmptyAPI example (no prose yet)
8a16f47David Turner
doc/tutorial/ApiType.lhs+10
@@ -326,6 +326,16 @@ type ProtectedAPI11
326 :<|> BasicAuth "my-realm" User :> UserAPI2 -- this is protected by auth
326 :<|> BasicAuth "my-realm" User :> UserAPI2 -- this is protected by auth
327```
327```
328
328
329+### Empty APIs
330+
331+TODO motivation...
332+
333+``` haskell ignore
334+type UserAPI12
335+ = UserAPI
336+ :<|> EmptyAPI -- this adds nothing to the API
337+```
338+
329### Interoperability with `wai`: `Raw`
339### Interoperability with `wai`: `Raw`
330
340
331Finally, we also include a combinator named `Raw` that provides an escape hatch
341Finally, we also include a combinator named `Raw` that provides an escape hatch