From 8db2a0bb6ec4154516b68ac89c28cffa0e7ecea7 Mon Sep 17 00:00:00 2001 From: aaron levin Date: Thu, 24 Dec 2015 17:47:36 +0100 Subject: [PATCH] Paramterize AuthProtect with error for each policy --- 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 5ca117b8..2ea2393a 100644 --- a/servant/src/Servant/API/Authentication.hs +++ b/servant/src/Servant/API/Authentication.hs @@ -35,7 +35,7 @@ data SAuthPolicy (p :: AuthPolicy) where SLax :: SAuthPolicy 'Lax -- | the combinator to be used in API types -data AuthProtect authdata usr (policy :: AuthPolicy) +data AuthProtect authData usr (missingPolicy :: AuthPolicy) missingError (unauthPolicy :: AuthPolicy) unauthError -- | A GADT indexed by policy strictness that encompasses the ways -- users will handle the case where authentication data is missing