From 25d39cdeacb5deef6edf8b39d26f079c2ddf34f6 Mon Sep 17 00:00:00 2001 From: aaron levin Date: Sat, 26 Dec 2015 12:45:32 +0100 Subject: [PATCH] Fix GADT/ADT typo --- servant/src/Servant/API/Authentication.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servant/src/Servant/API/Authentication.hs b/servant/src/Servant/API/Authentication.hs index 2ea2393a..5b54a7a8 100644 --- a/servant/src/Servant/API/Authentication.hs +++ b/servant/src/Servant/API/Authentication.hs @@ -68,7 +68,7 @@ data OnUnauthenticated m responseError (policy :: AuthPolicy) errorIndex authDat StrictUnauthenticated :: (errorIndex -> authData -> m responseError) -> OnUnauthenticated m responseError 'Strict errorIndex authData --- | A GADT representing the data and functions required to protect a reasource for authentication. +-- | An ADT representing the data and functions required to protect a reasource for authentication. -- For an authenticated resource, we need to handle the scenario where authentication data is missing -- and where authentication data is present but not valid (e.g. uesrname + password not valid). -- m: the monad errors are retrned in. For now just IO.