git.iko.soy/typeable/servant
on master help sign in
Change Type Families user manual link to specify GHC 8.8.1
commit56127724480422b8854d0aeb28ad906c9153c0bd authorNoah Snelson <noah.snelson@protonmail.com> dateMon 7 Oct 2019, 18:55 (7 years ago) parentec80f25
1 file changed+1−1
doc/tutorial/Authentication.lhs+1−1
doc/tutorial/Authentication.lhs+1−1
@@ -318,7 +318,7 @@ genAuthAPI = Proxy
318318
319319Now we need to bring everything together for the server. We have the
320320`AuthHandler Request Account` value and an `AuthProtected` endpoint. To bind these
321−together, we need to provide a [Type Family](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#type-families)
321+together, we need to provide a [Type Family](https://downloads.haskell.org/~ghc/8.8.1/docs/html/users_guide/glasgow_exts.html#type-families)
322322instance that tells the `HasServer` instance that our `Context` will supply a
323323`Account` (via `AuthHandler Request Account`) and that downstream combinators will
324324have access to this `Account` value (or an error will be thrown if authentication