rename API
This commit is contained in:
parent
e53a67ae02
commit
85b2cc0ceb
2 changed files with 2 additions and 2 deletions
|
@ -78,7 +78,7 @@ app initState =
|
|||
journalShow
|
||||
)
|
||||
|
||||
userApi :: Proxy UserAPI
|
||||
userApi :: Proxy MateAPI
|
||||
userApi = Proxy
|
||||
|
||||
authProxy :: Proxy '[ AuthHandler Request (Maybe Int) ]
|
||||
|
|
|
@ -16,7 +16,7 @@ import Servant.API
|
|||
|
||||
import Types
|
||||
|
||||
type UserAPI =
|
||||
type MateAPI =
|
||||
"auth" :> "get" :> ReqBody '[JSON] Int :> Post '[JSON] AuthInfo
|
||||
:<|> "auth" :> ReqBody '[JSON] AuthRequest :> Post '[JSON] AuthResult
|
||||
:<|> "auth" :> AuthProtect "header-auth" :> ReqBody '[JSON] Int
|
||||
|
|
Loading…
Reference in a new issue