From 85b2cc0cebd7df7609842f86135df37967da6d9f Mon Sep 17 00:00:00 2001 From: nek0 Date: Sat, 7 Sep 2019 16:21:07 +0200 Subject: [PATCH] rename API --- app/Main.hs | 2 +- src/API.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/Main.hs b/app/Main.hs index b636df4..3577085 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -78,7 +78,7 @@ app initState = journalShow ) -userApi :: Proxy UserAPI +userApi :: Proxy MateAPI userApi = Proxy authProxy :: Proxy '[ AuthHandler Request (Maybe Int) ] diff --git a/src/API.hs b/src/API.hs index b3707a5..54d543b 100644 --- a/src/API.hs +++ b/src/API.hs @@ -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