Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Client.Application.MensamClient.Class

Documentation

class Monad m => MonadMensamClient m where Source #

Methods

mensamCall :: ClientM a -> m (Either ClientError a) Source #

Instances

Instances details

MonadIO m => MonadMensamClient (ApplicationT m) Source #
Instance details Defined in Mensam.Client.Application Methods mensamCall :: ClientM a -> ApplicationT m (Either ClientError a) Source #
MonadIO m => MonadMensamClient (MensamClientT m) Source #
Instance details Defined in Mensam.Client.Application.MensamClient Methods mensamCall :: ClientM a -> MensamClientT m (Either ClientError a) Source #
(Monad (t m), MonadTrans t, MonadMensamClient m) => MonadMensamClient (Elevator t m) Source #
Instance details Defined in Mensam.Client.Application.MensamClient.Class Methods mensamCall :: ClientM a -> Elevator t m (Either ClientError a) Source #
MonadIO (t2 m) => MonadMensamClient (ComposeT MensamClientT t2 m) Source #
Instance details Defined in Mensam.Client.Application.MensamClient Methods mensamCall :: ClientM a -> ComposeT MensamClientT t2 m (Either ClientError a) Source #
(Monad (t1 (t2 m)), MonadTrans t1, MonadMensamClient (t2 m)) => MonadMensamClient (ComposeT t1 t2 m) Source #
Instance details Defined in Mensam.Client.Application.MensamClient.Class Methods mensamCall :: ClientM a -> ComposeT t1 t2 m (Either ClientError a) Source #

endpointOpenApi :: ClientM OpenApi Source #

endpointLogin :: AuthData '[BasicAuth, JWTWithSession] -> ClientM (Union '[WithStatus 200 ResponseLogin, WithStatus 401 ErrorBasicAuth, WithStatus 500 ()]) Source #

endpointLogout :: AuthData '[JWTWithSession] -> ClientM (Union '[WithStatus 200 ResponseLogout, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointRegister :: RequestRegister -> ClientM (Union '[WithStatus 201 ResponseRegister, WithStatus 400 ErrorParseBodyJson, WithStatus 409 (StaticText "Username is taken."), WithStatus 500 ()]) Source #

endpointPasswordChange :: AuthData '[JWTWithSession] -> RequestPasswordChange -> ClientM (Union '[WithStatus 200 ResponsePasswordChange, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointUserPictureUpload :: AuthData '[JWTWithSession] -> ImageJpegBytes -> ClientM (Union '[WithStatus 200 (StaticText "Uploaded profile picture."), WithStatus 400 ErrorParseBodyJpeg, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointUserPictureDelete :: AuthData '[JWTWithSession] -> ClientM (Union '[WithStatus 200 (StaticText "Deleted profile picture."), WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointUserPictureDownload :: AuthData '[JWTWithSession] -> IdentifierUser -> ClientM ImageJpegBytes Source #

endpointConfirmationRequest :: AuthData '[JWTWithSession] -> ClientM (Union '[WithStatus 200 ResponseConfirmationRequest, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointConfirm :: AuthData '[JWTWithSession] -> RequestConfirm -> ClientM (Union '[WithStatus 200 ResponseConfirm, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 410 (), WithStatus 500 ()]) Source #

endpointNotificationPreferences :: AuthData '[JWTWithSession] -> RequestNotifications -> ClientM (Union '[WithStatus 200 ResponseNotifications, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (StaticText "Email address is not verified."), WithStatus 500 ()]) Source #

endpointProfile :: AuthData '[JWTWithSession] -> RequestProfile -> ClientM (Union '[WithStatus 200 ResponseProfile, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 404 (), WithStatus 500 ()]) Source #

endpointSpaceCreate :: AuthData '[JWTWithSession] -> RequestSpaceCreate -> ClientM (Union '[WithStatus 201 ResponseSpaceCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointSpaceDelete :: AuthData '[JWTWithSession] -> RequestSpaceDelete -> ClientM (Union '[WithStatus 200 ResponseSpaceDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceEdit :: AuthData '[JWTWithSession] -> RequestSpaceEdit -> ClientM (Union '[WithStatus 200 ResponseSpaceEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpacePictureUpload :: AuthData '[JWTWithSession] -> IdentifierSpace -> ImageJpegBytes -> ClientM (Union '[WithStatus 200 (StaticText "Uploaded space picture."), WithStatus 400 ErrorParseBodyJpeg, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpacePictureDelete :: AuthData '[JWTWithSession] -> IdentifierSpace -> ClientM (Union '[WithStatus 200 (StaticText "Deleted space picture."), WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpacePictureDownload :: AuthData '[JWTWithSession] -> IdentifierSpace -> ClientM ImageJpegBytes Source #

endpointSpaceJoin :: AuthData '[JWTWithSession] -> RequestSpaceJoin -> ClientM (Union '[WithStatus 200 ResponseSpaceJoin, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (StaticTexts ["Role is inaccessible.", "Wrong role password."]), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceLeave :: AuthData '[JWTWithSession] -> RequestSpaceLeave -> ClientM (Union '[WithStatus 200 ResponseSpaceLeave, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (StaticText "Owner cannot leave space."), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceKick :: AuthData '[JWTWithSession] -> RequestSpaceKick -> ClientM (Union '[WithStatus 200 ResponseSpaceKick, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditUser), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceUserRole :: AuthData '[JWTWithSession] -> RequestSpaceUserRole -> ClientM (Union '[WithStatus 200 ResponseSpaceUserRole, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditUser), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceView :: AuthData '[JWTWithSession] -> RequestSpaceView -> ClientM (Union '[WithStatus 200 ResponseSpaceView, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 ResponseSpaceView403, WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointSpaceList :: AuthData '[JWTWithSession] -> RequestSpaceList -> ClientM (Union '[WithStatus 200 ResponseSpaceList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #

endpointRoleCreate :: AuthData '[JWTWithSession] -> RequestRoleCreate -> ClientM (Union '[WithStatus 201 ResponseRoleCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointRoleEdit :: AuthData '[JWTWithSession] -> RequestRoleEdit -> ClientM (Union '[WithStatus 200 ResponseRoleEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 500 ()]) Source #

endpointRoleDelete :: AuthData '[JWTWithSession] -> RequestRoleDelete -> ClientM (Union '[WithStatus 200 ResponseRoleDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 500 ()]) Source #

endpointDeskCreate :: AuthData '[JWTWithSession] -> RequestDeskCreate -> ClientM (Union '[WithStatus 201 ResponseDeskCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointDeskDelete :: AuthData '[JWTWithSession] -> RequestDeskDelete -> ClientM (Union '[WithStatus 200 ResponseDeskDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Desk not found."), WithStatus 500 ()]) Source #

endpointDeskEdit :: AuthData '[JWTWithSession] -> RequestDeskEdit -> ClientM (Union '[WithStatus 200 ResponseDeskEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Desk not found."), WithStatus 500 ()]) Source #

endpointDeskList :: AuthData '[JWTWithSession] -> RequestDeskList -> ClientM (Union '[WithStatus 200 ResponseDeskList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionViewSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]) Source #

endpointReservationCreate :: AuthData '[JWTWithSession] -> RequestReservationCreate -> ClientM (Union '[WithStatus 201 ResponseReservationCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionCreateReservation), WithStatus 409 (StaticText "Desk is not available within the given time window."), WithStatus 500 ()]) Source #

endpointReservationCancel :: AuthData '[JWTWithSession] -> RequestReservationCancel -> ClientM (Union '[WithStatus 200 ResponseReservationCancel, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionCancelReservation), WithStatus 409 (StaticText "Already cancelled."), WithStatus 410 (StaticText "Already happened."), WithStatus 500 ()]) Source #

endpointReservationList :: AuthData '[JWTWithSession] -> RequestReservationList -> ClientM (Union [WithStatus 200 ResponseReservationList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]) Source #