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

Remove client-specific data from AuthInfo

Browse source
This commit is contained in:
aaron levin 2015-09-13 23:36:15 +02:00 committed by Arian van Putten
parent a6f00d3483
commit 6a626cdecd
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
servant-docs/src/Servant/Docs/Internal.hs
View file

@ -82,8 +82,8 @@ instance Hashable Method
-- POST /foo
-- @
data Endpoint = Endpoint
{ _path :: [String] -- type collected
, _method :: Method -- type collected
{ _path :: [String] -- type collected
, _method :: Method -- type collected
} deriving (Eq, Ord, Generic)
instance Show Endpoint where
@ -240,7 +240,6 @@ defResponse = Response
data AuthenticationInfo = AuthenticationInfo
{ _authIntro :: String
, _authDataRequired :: String
, _authUserReturned :: String
} deriving (Eq, Ord, Show)
-- | A datatype that represents everything that can happen
@ -598,10 +597,13 @@ markdown api = unlines $
authStr Nothing = []
authStr (Just auth) =
"#### Authentication" :
"This endpoint is protected." :
"" :
auth ^. authIntro :
"Data to supply" :
"" :
"Clients must supply the following data" :
"" :
auth ^. authDataRequired :
"" :
[]
capturesStr :: [DocCapture] -> [String]