Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Mensam.Server.Server.Route.Api.User
Documentation
handler :: (MonadConfigured m, MonadEmail m, MonadIO m, MonadLogger m, MonadSecret m, MonadSeldaPool m) => Routes (AsServerT m) Source #
login :: (MonadConfigured m, MonadIO m, MonadLogger m, MonadSecret m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseLogin) responses, IsMember (WithStatus 401 ErrorBasicAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> m (Union responses) Source #
logout :: (MonadConfigured m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseLogout) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> m (Union responses) Source #
register :: (MonadConfigured m, MonadEmail m, MonadIO m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 201 ResponseRegister) responses, IsMember (WithStatus 400 ErrorParseBodyJson) responses, IsMember (WithStatus 409 (StaticText "Username is taken.")) responses, IsMember (WithStatus 500 ()) responses) => Either String RequestRegister -> m (Union responses) Source #
passwordChange :: (MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponsePasswordChange) responses, IsMember (WithStatus 400 ErrorParseBodyJson) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> Either String RequestPasswordChange -> m (Union responses) Source #
pictureUpload :: (MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 (StaticText "Uploaded profile picture.")) responses, IsMember (WithStatus 400 ErrorParseBodyJpeg) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> Either String ImageJpegBytes -> m (Union responses) Source #
pictureDelete :: (MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 (StaticText "Deleted profile picture.")) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> m (Union responses) Source #
pictureDownload :: (MonadConfigured m, MonadIO m, MonadLogger m, MonadSeldaPool m) => AuthResult UserAuthenticated -> Either Text IdentifierUser -> m ImageJpegBytes Source #
confirmationRequest :: (MonadConfigured m, MonadEmail m, MonadIO m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseConfirmationRequest) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> m (Union responses) Source #
confirm :: (MonadEmail m, MonadIO m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseConfirm) responses, IsMember (WithStatus 400 ErrorParseBodyJson) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 410 ()) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> Either String RequestConfirm -> m (Union responses) Source #
notificationPreferences :: (MonadEmail m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseNotifications) responses, IsMember (WithStatus 400 ErrorParseBodyJson) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 403 (StaticText "Email address is not verified.")) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> Either String RequestNotifications -> m (Union responses) Source #
profile :: (MonadIO m, MonadLogger m, MonadSeldaPool m, IsMember (WithStatus 200 ResponseProfile) responses, IsMember (WithStatus 400 ErrorParseBodyJson) responses, IsMember (WithStatus 401 ErrorBearerAuth) responses, IsMember (WithStatus 404 ()) responses, IsMember (WithStatus 500 ()) responses) => AuthResult UserAuthenticated -> Either String RequestProfile -> m (Union responses) Source #
handleBadRequestBody :: (MonadLogger m, IsMember (WithStatus 400 ErrorParseBodyJson) responses) => Either String a -> (a -> m (Union responses)) -> m (Union responses) Source #
handleBadRequestBodyJpeg :: (MonadLogger m, IsMember (WithStatus 400 ErrorParseBodyJpeg) responses) => Either String a -> (a -> m (Union responses)) -> m (Union responses) Source #