Add EmptyAPI example (no prose yet)
commit8a16f47fbab6e2f7778422c926dc769394d27208
authorDavid Turner <dave.c.turner@gmail.com>
dateTue 16 May 2017, 09:21 (9 years ago)
parentb81fbe4
doc/tutorial/ApiType.lhs+10
@@ -326,6 +326,16 @@ type ProtectedAPI11
326326 :<|> BasicAuth "my-realm" User :> UserAPI2 -- this is protected by auth
327327```
328328
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+
329339### Interoperability with `wai`: `Raw`
330340
331341Finally, we also include a combinator named `Raw` that provides an escape hatch