From 4dbd721d39a9d31d78a1c93d7a6db410bccb9f96 Mon Sep 17 00:00:00 2001 From: "Julian K. Arni" Date: Thu, 18 Feb 2016 00:43:34 +0100 Subject: [PATCH] Remove stale next/previous --- doc/tutorial/Client.lhs | 5 ----- doc/tutorial/Docs.lhs | 4 ---- doc/tutorial/Javascript.lhs | 5 ----- 3 files changed, 14 deletions(-) diff --git a/doc/tutorial/Client.lhs b/doc/tutorial/Client.lhs index ea8bdbfa..60dc88e4 100644 --- a/doc/tutorial/Client.lhs +++ b/doc/tutorial/Client.lhs @@ -147,8 +147,3 @@ You can now run `dist/build/tutorial/tutorial 8` (the server) and ``` The types of the arguments for the functions are the same as for (server-side) request handlers. You now know how to use *servant-client*! - -
-

Previous page: Serving an API

-

Next page: Generating javascript functions to query an API

-
diff --git a/doc/tutorial/Docs.lhs b/doc/tutorial/Docs.lhs index c006c0b1..adc63924 100644 --- a/doc/tutorial/Docs.lhs +++ b/doc/tutorial/Docs.lhs @@ -232,7 +232,3 @@ app = serve api EmptyConfig server ``` And if you spin up this server with `dist/build/tutorial/tutorial 10` and go to anywhere else than `/position`, `/hello` and `/marketing`, you will see the API docs in markdown. This is because `serveDocs` is attempted if the 3 other endpoints don't match and systematically succeeds since its definition is to just return some fixed bytestring with the `text/plain` content type. - -
- Previous page: Generating javascript functions to query an API -
diff --git a/doc/tutorial/Javascript.lhs b/doc/tutorial/Javascript.lhs index 9ab4740e..c5f118b1 100644 --- a/doc/tutorial/Javascript.lhs +++ b/doc/tutorial/Javascript.lhs @@ -182,8 +182,3 @@ writeJSFiles = do ``` And we're good to go. Start the server with `dist/build/tutorial/tutorial 9` and go to `http://localhost:8081/`. Start typing in the name of one of the authors in our database or part of a book title, and check out how long it takes to approximate π using the method mentioned above. - -
-

Previous page: Deriving Haskell functions to query an API

-

Next page: Generating documentation for APIs

-