eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Paramterize AuthProtect with error for each policy

Browse source
This commit is contained in:
aaron levin 2015-12-24 17:47:36 +01:00
parent a56fe6f409
commit 8db2a0bb6e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
servant/src/Servant/API/Authentication.hs
View file

@ -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