Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.API.Route.Api.Space

Documentation

data Routes route Source #

Constructors

Routes

Fields

routeSpaceCreate :: route :- (Summary "Create Space" :> (Description "Create a new space.\nYou will be an administrator of this newly created space.\n" :> ("space" :> ("create" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceCreate :> UVerb PUT '[JSON] [WithStatus 201 ResponseSpaceCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]))))))
routeSpaceDelete :: route :- (Summary "Delete Space" :> (Description "Delete a space irreversibly.\nThis also purges data associated with this space including reservations, desks and member roles.\n" :> ("space" :> ("delete" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceDelete :> UVerb DELETE '[JSON] [WithStatus 200 ResponseSpaceDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeSpaceEdit :: route :- (Summary "Edit Space" :> (Description "Update the configuration of a space.\n" :> ("space" :> ("edit" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceEdit :> UVerb PATCH '[JSON] [WithStatus 200 ResponseSpaceEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routePictureUpload :: route :- (Summary "Change Space Picture" :> (Description "Upload a new space logo.\nThis overwrites any old space logo.\n" :> ("space" :> ("picture" :> (Auth '[JWTWithSession] UserAuthenticated :> (QueryParam' '[Lenient, Required] "space" IdentifierSpace :> (ReqBody' '[Lenient, Required] '[ImageJpeg] ImageJpegBytes :> UVerb PUT '[JSON] [WithStatus 200 (StaticText "Uploaded space picture."), WithStatus 400 ErrorParseBodyJpeg, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()])))))))
routePictureDelete :: route :- (Summary "Delete Space Picture" :> (Description "Delete the current space logo.\n" :> ("space" :> ("picture" :> (Auth '[JWTWithSession] UserAuthenticated :> (QueryParam' '[Lenient, Required] "space" IdentifierSpace :> UVerb DELETE '[JSON] [WithStatus 200 (StaticText "Deleted space picture."), WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routePictureDownload :: route :- (Summary "View Space Picture" :> (Description "View a space logo.\n" :> ("space" :> ("picture" :> (Auth '[JWTWithSession] UserAuthenticated :> (QueryParam' '[Lenient, Required] "space" IdentifierSpace :> Get '[ImageJpeg] ImageJpegBytes))))))
routeSpaceJoin :: route :- (Summary "Join Space" :> (Description "Become a member of a space.\n" :> ("space" :> ("join" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceJoin :> UVerb POST '[JSON] [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 ()]))))))
routeSpaceLeave :: route :- (Summary "Leave Space" :> (Description "Abandon membership of a space.\n" :> ("space" :> ("leave" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceLeave :> UVerb POST '[JSON] [WithStatus 200 ResponseSpaceLeave, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (StaticText "Owner cannot leave space."), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeSpaceKick :: route :- (Summary "Kick User from Space" :> (Description "Kick a user out of a space.\nYou need the `edit-user` permission for that space to remove users.\n" :> ("space" :> ("kick" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceKick :> UVerb POST '[JSON] [WithStatus 200 ResponseSpaceKick, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditUser), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeSpaceUserRole :: route :- (Summary "Set User Role for Space" :> (Description "Give a new role to a user of a space.\nYou need the `edit-user` permission for that space to redefine user roles.\n" :> ("space" :> ("user" :> ("role" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceUserRole :> UVerb POST '[JSON] [WithStatus 200 ResponseSpaceUserRole, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditUser), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()])))))))
routeSpaceView :: route :- (Summary "View Space" :> (Description "View a single space in detail.\n" :> ("space" :> ("view" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceView :> UVerb POST '[JSON] [WithStatus 200 ResponseSpaceView, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 ResponseSpaceView403, WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeSpaceList :: route :- (Summary "List Spaces" :> (Description "List visible spaces.\n" :> ("space" :> ("list" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestSpaceList :> UVerb POST '[JSON] [WithStatus 200 ResponseSpaceList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()]))))))
routeRoleCreate :: route :- (Summary "Create Role" :> (Description "Create a new role.\nThis role will be a way to access the given space.\nYou need the `edit-role` permission for that space to create roles.\n" :> ("role" :> ("create" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestRoleCreate :> UVerb PUT '[JSON] [WithStatus 201 ResponseRoleCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeRoleEdit :: route :- (Summary "Edit Role" :> (Description "Update settings of a role.\nYou need the `edit-role` permission for the space to edit roles.\n" :> ("role" :> ("edit" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestRoleEdit :> UVerb PATCH '[JSON] [WithStatus 200 ResponseRoleEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 500 ()]))))))
routeRoleDelete :: route :- (Summary "Delete Role" :> (Description "Delete a role.\nYou have to provide a fallback role to reassign members to that fallback role.\nYou need the `edit-role` permission for the space to delete roles.\n" :> ("role" :> ("delete" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestRoleDelete :> UVerb DELETE '[JSON] [WithStatus 200 ResponseRoleDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditRole), WithStatus 500 ()]))))))
routeDeskCreate :: route :- (Summary "Create Desk" :> (Description "Create a new desk.\nThis desk will belong to the given space.\nYou need the `edit-desk` permission for that space to create desks.\n" :> ("desk" :> ("create" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestDeskCreate :> UVerb PUT '[JSON] [WithStatus 201 ResponseDeskCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))
routeDeskDelete :: route :- (Summary "Delete Desk" :> (Description "Delete a desk.\nYou need the `edit-desk` permission for that space to delete desks.\n" :> ("desk" :> ("delete" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestDeskDelete :> UVerb DELETE '[JSON] [WithStatus 200 ResponseDeskDelete, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Desk not found."), WithStatus 500 ()]))))))
routeDeskEdit :: route :- (Summary "Edit Desk" :> (Description "Update a desk.\nYou need the `edit-desk` permission for that space to edit desks.\n" :> ("desk" :> ("edit" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestDeskEdit :> UVerb PATCH '[JSON] [WithStatus 200 ResponseDeskEdit, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionEditDesk), WithStatus 404 (StaticText "Desk not found."), WithStatus 500 ()]))))))
routeDeskList :: route :- (Summary "List Desks" :> (Description "List desks.\nUse the time-window to restrict the reservations in the result to overlapping time frames.\n" :> ("desk" :> ("list" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestDeskList :> UVerb POST '[JSON] [WithStatus 200 ResponseDeskList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionViewSpace), WithStatus 404 (StaticText "Space not found."), WithStatus 500 ()]))))))

Instances

Instances details

Generic (Routes route) Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep (Routes route) :: Type -> Type # Methods from :: Routes route -> Rep (Routes route) x # to :: Rep (Routes route) x -> Routes route #
type Rep (Routes route) Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep (Routes route)

data RequestSpaceCreate Source #

Constructors

MkRequestSpaceCreate
Fields requestSpaceCreateName :: NameSpace requestSpaceCreateTimezone :: TZLabel requestSpaceCreateVisibility :: VisibilitySpace

Instances

Instances details

FromJSON RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceCreate Source # parseJSONList :: Value -> Parser [RequestSpaceCreate] Source #
ToJSON RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceCreate -> Value Source # toEncoding :: RequestSpaceCreate -> Encoding Source # toJSONList :: [RequestSpaceCreate] -> Value Source # toEncodingList :: [RequestSpaceCreate] -> Encoding Source #
Generic RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceCreate :: Type -> Type # Methods from :: RequestSpaceCreate -> Rep RequestSpaceCreate x # to :: Rep RequestSpaceCreate x -> RequestSpaceCreate #
Read RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceCreate # readList :: ReadS [RequestSpaceCreate] # readPrec :: ReadPrec RequestSpaceCreate # readListPrec :: ReadPrec [RequestSpaceCreate] #
Show RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceCreate -> ShowS # show :: RequestSpaceCreate -> String # showList :: [RequestSpaceCreate] -> ShowS #
Eq RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool # (/=) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool #
Ord RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceCreate -> RequestSpaceCreate -> Ordering # (<) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool # (<=) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool # (>) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool # (>=) :: RequestSpaceCreate -> RequestSpaceCreate -> Bool # max :: RequestSpaceCreate -> RequestSpaceCreate -> RequestSpaceCreate # min :: RequestSpaceCreate -> RequestSpaceCreate -> RequestSpaceCreate #
ToSchema RequestSpaceCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceCreate = D1 ('MetaData "RequestSpaceCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceCreate" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceCreateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace) :: (S1 ('MetaSel ('Just "requestSpaceCreateTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel) :: S1 ('MetaSel ('Just "requestSpaceCreateVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace))))

newtype ResponseSpaceCreate Source #

Constructors

MkResponseSpaceCreate
Fields responseSpaceCreateId :: IdentifierSpace

Instances

Instances details

FromJSON ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceCreate Source # parseJSONList :: Value -> Parser [ResponseSpaceCreate] Source #
ToJSON ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceCreate -> Value Source # toEncoding :: ResponseSpaceCreate -> Encoding Source # toJSONList :: [ResponseSpaceCreate] -> Value Source # toEncodingList :: [ResponseSpaceCreate] -> Encoding Source #
Generic ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceCreate :: Type -> Type # Methods from :: ResponseSpaceCreate -> Rep ResponseSpaceCreate x # to :: Rep ResponseSpaceCreate x -> ResponseSpaceCreate #
Read ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceCreate # readList :: ReadS [ResponseSpaceCreate] # readPrec :: ReadPrec ResponseSpaceCreate # readListPrec :: ReadPrec [ResponseSpaceCreate] #
Show ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceCreate -> ShowS # show :: ResponseSpaceCreate -> String # showList :: [ResponseSpaceCreate] -> ShowS #
Eq ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool # (/=) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool #
Ord ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceCreate -> ResponseSpaceCreate -> Ordering # (<) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool # (<=) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool # (>) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool # (>=) :: ResponseSpaceCreate -> ResponseSpaceCreate -> Bool # max :: ResponseSpaceCreate -> ResponseSpaceCreate -> ResponseSpaceCreate # min :: ResponseSpaceCreate -> ResponseSpaceCreate -> ResponseSpaceCreate #
ToSchema ResponseSpaceCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceCreate = D1 ('MetaData "ResponseSpaceCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceCreate" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceCreateId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace)))

newtype RequestSpaceDelete Source #

Constructors

MkRequestSpaceDelete
Fields requestSpaceDeleteId :: IdentifierSpace

Instances

Instances details

FromJSON RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceDelete Source # parseJSONList :: Value -> Parser [RequestSpaceDelete] Source #
ToJSON RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceDelete -> Value Source # toEncoding :: RequestSpaceDelete -> Encoding Source # toJSONList :: [RequestSpaceDelete] -> Value Source # toEncodingList :: [RequestSpaceDelete] -> Encoding Source #
Generic RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceDelete :: Type -> Type # Methods from :: RequestSpaceDelete -> Rep RequestSpaceDelete x # to :: Rep RequestSpaceDelete x -> RequestSpaceDelete #
Read RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceDelete # readList :: ReadS [RequestSpaceDelete] # readPrec :: ReadPrec RequestSpaceDelete # readListPrec :: ReadPrec [RequestSpaceDelete] #
Show RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceDelete -> ShowS # show :: RequestSpaceDelete -> String # showList :: [RequestSpaceDelete] -> ShowS #
Eq RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool # (/=) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool #
Ord RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceDelete -> RequestSpaceDelete -> Ordering # (<) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool # (<=) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool # (>) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool # (>=) :: RequestSpaceDelete -> RequestSpaceDelete -> Bool # max :: RequestSpaceDelete -> RequestSpaceDelete -> RequestSpaceDelete # min :: RequestSpaceDelete -> RequestSpaceDelete -> RequestSpaceDelete #
ToSchema RequestSpaceDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceDelete = D1 ('MetaData "RequestSpaceDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkRequestSpaceDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceDeleteId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace)))

newtype ResponseSpaceDelete Source #

Constructors

MkResponseSpaceDelete
Fields responseSpaceDeleteUnit :: ()

Instances

Instances details

FromJSON ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceDelete Source # parseJSONList :: Value -> Parser [ResponseSpaceDelete] Source #
ToJSON ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceDelete -> Value Source # toEncoding :: ResponseSpaceDelete -> Encoding Source # toJSONList :: [ResponseSpaceDelete] -> Value Source # toEncodingList :: [ResponseSpaceDelete] -> Encoding Source #
Generic ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceDelete :: Type -> Type # Methods from :: ResponseSpaceDelete -> Rep ResponseSpaceDelete x # to :: Rep ResponseSpaceDelete x -> ResponseSpaceDelete #
Read ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceDelete # readList :: ReadS [ResponseSpaceDelete] # readPrec :: ReadPrec ResponseSpaceDelete # readListPrec :: ReadPrec [ResponseSpaceDelete] #
Show ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceDelete -> ShowS # show :: ResponseSpaceDelete -> String # showList :: [ResponseSpaceDelete] -> ShowS #
Eq ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool # (/=) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool #
Ord ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceDelete -> ResponseSpaceDelete -> Ordering # (<) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool # (<=) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool # (>) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool # (>=) :: ResponseSpaceDelete -> ResponseSpaceDelete -> Bool # max :: ResponseSpaceDelete -> ResponseSpaceDelete -> ResponseSpaceDelete # min :: ResponseSpaceDelete -> ResponseSpaceDelete -> ResponseSpaceDelete #
ToSchema ResponseSpaceDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceDelete = D1 ('MetaData "ResponseSpaceDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceDeleteUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestSpaceEdit Source #

Constructors

MkRequestSpaceEdit
Fields requestSpaceEditId :: IdentifierSpace requestSpaceEditName :: Updatable NameSpace requestSpaceEditTimezone :: Updatable TZLabel requestSpaceEditVisibility :: Updatable VisibilitySpace

Instances

Instances details

FromJSON RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceEdit Source # parseJSONList :: Value -> Parser [RequestSpaceEdit] Source #
ToJSON RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceEdit -> Value Source # toEncoding :: RequestSpaceEdit -> Encoding Source # toJSONList :: [RequestSpaceEdit] -> Value Source # toEncodingList :: [RequestSpaceEdit] -> Encoding Source #
Generic RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceEdit :: Type -> Type # Methods from :: RequestSpaceEdit -> Rep RequestSpaceEdit x # to :: Rep RequestSpaceEdit x -> RequestSpaceEdit #
Read RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceEdit # readList :: ReadS [RequestSpaceEdit] # readPrec :: ReadPrec RequestSpaceEdit # readListPrec :: ReadPrec [RequestSpaceEdit] #
Show RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceEdit -> ShowS # show :: RequestSpaceEdit -> String # showList :: [RequestSpaceEdit] -> ShowS #
Eq RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool # (/=) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool #
Ord RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceEdit -> RequestSpaceEdit -> Ordering # (<) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool # (<=) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool # (>) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool # (>=) :: RequestSpaceEdit -> RequestSpaceEdit -> Bool # max :: RequestSpaceEdit -> RequestSpaceEdit -> RequestSpaceEdit # min :: RequestSpaceEdit -> RequestSpaceEdit -> RequestSpaceEdit #
ToSchema RequestSpaceEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceEdit = D1 ('MetaData "RequestSpaceEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceEdit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requestSpaceEditId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "requestSpaceEditName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable NameSpace))) :: (S1 ('MetaSel ('Just "requestSpaceEditTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable TZLabel)) :*: S1 ('MetaSel ('Just "requestSpaceEditVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable VisibilitySpace)))))

data ResponseSpaceEdit Source #

Constructors

MkResponseSpaceEdit
Fields responseSpaceEditId :: IdentifierSpace responseSpaceEditName :: NameSpace responseSpaceEditTimezone :: TZLabel responseSpaceEditVisibility :: VisibilitySpace

Instances

Instances details

FromJSON ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceEdit Source # parseJSONList :: Value -> Parser [ResponseSpaceEdit] Source #
ToJSON ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceEdit -> Value Source # toEncoding :: ResponseSpaceEdit -> Encoding Source # toJSONList :: [ResponseSpaceEdit] -> Value Source # toEncodingList :: [ResponseSpaceEdit] -> Encoding Source #
Generic ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceEdit :: Type -> Type # Methods from :: ResponseSpaceEdit -> Rep ResponseSpaceEdit x # to :: Rep ResponseSpaceEdit x -> ResponseSpaceEdit #
Read ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceEdit # readList :: ReadS [ResponseSpaceEdit] # readPrec :: ReadPrec ResponseSpaceEdit # readListPrec :: ReadPrec [ResponseSpaceEdit] #
Show ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceEdit -> ShowS # show :: ResponseSpaceEdit -> String # showList :: [ResponseSpaceEdit] -> ShowS #
Eq ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool # (/=) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool #
Ord ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceEdit -> ResponseSpaceEdit -> Ordering # (<) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool # (<=) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool # (>) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool # (>=) :: ResponseSpaceEdit -> ResponseSpaceEdit -> Bool # max :: ResponseSpaceEdit -> ResponseSpaceEdit -> ResponseSpaceEdit # min :: ResponseSpaceEdit -> ResponseSpaceEdit -> ResponseSpaceEdit #
ToSchema ResponseSpaceEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceEdit = D1 ('MetaData "ResponseSpaceEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkResponseSpaceEdit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "responseSpaceEditId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "responseSpaceEditName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace)) :: (S1 ('MetaSel ('Just "responseSpaceEditTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel) :*: S1 ('MetaSel ('Just "responseSpaceEditVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace))))

data RequestSpaceJoin Source #

Constructors

MkRequestSpaceJoin
Fields requestSpaceJoinSpace :: NameOrIdentifier NameSpace IdentifierSpace requestSpaceJoinRole :: NameOrIdentifier NameRole IdentifierRole requestSpaceJoinPassword :: Maybe Text

Instances

Instances details

FromJSON RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceJoin Source # parseJSONList :: Value -> Parser [RequestSpaceJoin] Source #
ToJSON RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceJoin -> Value Source # toEncoding :: RequestSpaceJoin -> Encoding Source # toJSONList :: [RequestSpaceJoin] -> Value Source # toEncodingList :: [RequestSpaceJoin] -> Encoding Source #
Generic RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceJoin :: Type -> Type # Methods from :: RequestSpaceJoin -> Rep RequestSpaceJoin x # to :: Rep RequestSpaceJoin x -> RequestSpaceJoin #
Read RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceJoin # readList :: ReadS [RequestSpaceJoin] # readPrec :: ReadPrec RequestSpaceJoin # readListPrec :: ReadPrec [RequestSpaceJoin] #
Show RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceJoin -> ShowS # show :: RequestSpaceJoin -> String # showList :: [RequestSpaceJoin] -> ShowS #
Eq RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool # (/=) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool #
Ord RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceJoin -> RequestSpaceJoin -> Ordering # (<) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool # (<=) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool # (>) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool # (>=) :: RequestSpaceJoin -> RequestSpaceJoin -> Bool # max :: RequestSpaceJoin -> RequestSpaceJoin -> RequestSpaceJoin # min :: RequestSpaceJoin -> RequestSpaceJoin -> RequestSpaceJoin #
ToSchema RequestSpaceJoin Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceJoin -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceJoin = D1 ('MetaData "RequestSpaceJoin" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceJoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceJoinSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameOrIdentifier NameSpace IdentifierSpace)) :: (S1 ('MetaSel ('Just "requestSpaceJoinRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameOrIdentifier NameRole IdentifierRole)) :: S1 ('MetaSel ('Just "requestSpaceJoinPassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

newtype ResponseSpaceJoin Source #

Constructors

MkResponseSpaceJoin
Fields responseSpaceJoinUnit :: ()

Instances

Instances details

FromJSON ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceJoin Source # parseJSONList :: Value -> Parser [ResponseSpaceJoin] Source #
ToJSON ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceJoin -> Value Source # toEncoding :: ResponseSpaceJoin -> Encoding Source # toJSONList :: [ResponseSpaceJoin] -> Value Source # toEncodingList :: [ResponseSpaceJoin] -> Encoding Source #
Generic ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceJoin :: Type -> Type # Methods from :: ResponseSpaceJoin -> Rep ResponseSpaceJoin x # to :: Rep ResponseSpaceJoin x -> ResponseSpaceJoin #
Read ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceJoin # readList :: ReadS [ResponseSpaceJoin] # readPrec :: ReadPrec ResponseSpaceJoin # readListPrec :: ReadPrec [ResponseSpaceJoin] #
Show ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceJoin -> ShowS # show :: ResponseSpaceJoin -> String # showList :: [ResponseSpaceJoin] -> ShowS #
Eq ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool # (/=) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool #
Ord ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceJoin -> ResponseSpaceJoin -> Ordering # (<) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool # (<=) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool # (>) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool # (>=) :: ResponseSpaceJoin -> ResponseSpaceJoin -> Bool # max :: ResponseSpaceJoin -> ResponseSpaceJoin -> ResponseSpaceJoin # min :: ResponseSpaceJoin -> ResponseSpaceJoin -> ResponseSpaceJoin #
ToSchema ResponseSpaceJoin Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceJoin -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceJoin Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceJoin = D1 ('MetaData "ResponseSpaceJoin" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceJoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceJoinUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

newtype RequestSpaceLeave Source #

Constructors

MkRequestSpaceLeave
Fields requestSpaceLeaveSpace :: NameOrIdentifier NameSpace IdentifierSpace

Instances

Instances details

FromJSON RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceLeave Source # parseJSONList :: Value -> Parser [RequestSpaceLeave] Source #
ToJSON RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceLeave -> Value Source # toEncoding :: RequestSpaceLeave -> Encoding Source # toJSONList :: [RequestSpaceLeave] -> Value Source # toEncodingList :: [RequestSpaceLeave] -> Encoding Source #
Generic RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceLeave :: Type -> Type # Methods from :: RequestSpaceLeave -> Rep RequestSpaceLeave x # to :: Rep RequestSpaceLeave x -> RequestSpaceLeave #
Read RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceLeave # readList :: ReadS [RequestSpaceLeave] # readPrec :: ReadPrec RequestSpaceLeave # readListPrec :: ReadPrec [RequestSpaceLeave] #
Show RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceLeave -> ShowS # show :: RequestSpaceLeave -> String # showList :: [RequestSpaceLeave] -> ShowS #
Eq RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool # (/=) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool #
Ord RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceLeave -> RequestSpaceLeave -> Ordering # (<) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool # (<=) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool # (>) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool # (>=) :: RequestSpaceLeave -> RequestSpaceLeave -> Bool # max :: RequestSpaceLeave -> RequestSpaceLeave -> RequestSpaceLeave # min :: RequestSpaceLeave -> RequestSpaceLeave -> RequestSpaceLeave #
ToSchema RequestSpaceLeave Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceLeave -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceLeave = D1 ('MetaData "RequestSpaceLeave" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkRequestSpaceLeave" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceLeaveSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameOrIdentifier NameSpace IdentifierSpace))))

newtype ResponseSpaceLeave Source #

Constructors

MkResponseSpaceLeave
Fields responseSpaceLeaveUnit :: ()

Instances

Instances details

FromJSON ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceLeave Source # parseJSONList :: Value -> Parser [ResponseSpaceLeave] Source #
ToJSON ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceLeave -> Value Source # toEncoding :: ResponseSpaceLeave -> Encoding Source # toJSONList :: [ResponseSpaceLeave] -> Value Source # toEncodingList :: [ResponseSpaceLeave] -> Encoding Source #
Generic ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceLeave :: Type -> Type # Methods from :: ResponseSpaceLeave -> Rep ResponseSpaceLeave x # to :: Rep ResponseSpaceLeave x -> ResponseSpaceLeave #
Read ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceLeave # readList :: ReadS [ResponseSpaceLeave] # readPrec :: ReadPrec ResponseSpaceLeave # readListPrec :: ReadPrec [ResponseSpaceLeave] #
Show ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceLeave -> ShowS # show :: ResponseSpaceLeave -> String # showList :: [ResponseSpaceLeave] -> ShowS #
Eq ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool # (/=) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool #
Ord ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceLeave -> ResponseSpaceLeave -> Ordering # (<) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool # (<=) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool # (>) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool # (>=) :: ResponseSpaceLeave -> ResponseSpaceLeave -> Bool # max :: ResponseSpaceLeave -> ResponseSpaceLeave -> ResponseSpaceLeave # min :: ResponseSpaceLeave -> ResponseSpaceLeave -> ResponseSpaceLeave #
ToSchema ResponseSpaceLeave Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceLeave -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceLeave Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceLeave = D1 ('MetaData "ResponseSpaceLeave" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceLeave" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceLeaveUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestSpaceKick Source #

Constructors

MkRequestSpaceKick
Fields requestSpaceKickSpace :: IdentifierSpace requestSpaceKickUser :: IdentifierUser

Instances

Instances details

FromJSON RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceKick Source # parseJSONList :: Value -> Parser [RequestSpaceKick] Source #
ToJSON RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceKick -> Value Source # toEncoding :: RequestSpaceKick -> Encoding Source # toJSONList :: [RequestSpaceKick] -> Value Source # toEncodingList :: [RequestSpaceKick] -> Encoding Source #
Generic RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceKick :: Type -> Type # Methods from :: RequestSpaceKick -> Rep RequestSpaceKick x # to :: Rep RequestSpaceKick x -> RequestSpaceKick #
Read RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceKick # readList :: ReadS [RequestSpaceKick] # readPrec :: ReadPrec RequestSpaceKick # readListPrec :: ReadPrec [RequestSpaceKick] #
Show RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceKick -> ShowS # show :: RequestSpaceKick -> String # showList :: [RequestSpaceKick] -> ShowS #
Eq RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceKick -> RequestSpaceKick -> Bool # (/=) :: RequestSpaceKick -> RequestSpaceKick -> Bool #
Ord RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceKick -> RequestSpaceKick -> Ordering # (<) :: RequestSpaceKick -> RequestSpaceKick -> Bool # (<=) :: RequestSpaceKick -> RequestSpaceKick -> Bool # (>) :: RequestSpaceKick -> RequestSpaceKick -> Bool # (>=) :: RequestSpaceKick -> RequestSpaceKick -> Bool # max :: RequestSpaceKick -> RequestSpaceKick -> RequestSpaceKick # min :: RequestSpaceKick -> RequestSpaceKick -> RequestSpaceKick #
ToSchema RequestSpaceKick Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceKick -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceKick = D1 ('MetaData "RequestSpaceKick" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceKick" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceKickSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :*: S1 ('MetaSel ('Just "requestSpaceKickUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser)))

newtype ResponseSpaceKick Source #

Constructors

MkResponseSpaceKick
Fields responseSpaceKickUnit :: ()

Instances

Instances details

FromJSON ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceKick Source # parseJSONList :: Value -> Parser [ResponseSpaceKick] Source #
ToJSON ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceKick -> Value Source # toEncoding :: ResponseSpaceKick -> Encoding Source # toJSONList :: [ResponseSpaceKick] -> Value Source # toEncodingList :: [ResponseSpaceKick] -> Encoding Source #
Generic ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceKick :: Type -> Type # Methods from :: ResponseSpaceKick -> Rep ResponseSpaceKick x # to :: Rep ResponseSpaceKick x -> ResponseSpaceKick #
Read ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceKick # readList :: ReadS [ResponseSpaceKick] # readPrec :: ReadPrec ResponseSpaceKick # readListPrec :: ReadPrec [ResponseSpaceKick] #
Show ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceKick -> ShowS # show :: ResponseSpaceKick -> String # showList :: [ResponseSpaceKick] -> ShowS #
Eq ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool # (/=) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool #
Ord ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceKick -> ResponseSpaceKick -> Ordering # (<) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool # (<=) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool # (>) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool # (>=) :: ResponseSpaceKick -> ResponseSpaceKick -> Bool # max :: ResponseSpaceKick -> ResponseSpaceKick -> ResponseSpaceKick # min :: ResponseSpaceKick -> ResponseSpaceKick -> ResponseSpaceKick #
ToSchema ResponseSpaceKick Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceKick -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceKick Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceKick = D1 ('MetaData "ResponseSpaceKick" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceKick" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceKickUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestSpaceUserRole Source #

Constructors

MkRequestSpaceUserRole
Fields requestSpaceUserRoleSpace :: IdentifierSpace requestSpaceUserRoleUser :: IdentifierUser requestSpaceUserRoleRole :: IdentifierRole

Instances

Instances details

FromJSON RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceUserRole Source # parseJSONList :: Value -> Parser [RequestSpaceUserRole] Source #
ToJSON RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceUserRole -> Value Source # toEncoding :: RequestSpaceUserRole -> Encoding Source # toJSONList :: [RequestSpaceUserRole] -> Value Source # toEncodingList :: [RequestSpaceUserRole] -> Encoding Source #
Generic RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceUserRole :: Type -> Type # Methods from :: RequestSpaceUserRole -> Rep RequestSpaceUserRole x # to :: Rep RequestSpaceUserRole x -> RequestSpaceUserRole #
Read RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceUserRole # readList :: ReadS [RequestSpaceUserRole] # readPrec :: ReadPrec RequestSpaceUserRole # readListPrec :: ReadPrec [RequestSpaceUserRole] #
Show RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceUserRole -> ShowS # show :: RequestSpaceUserRole -> String # showList :: [RequestSpaceUserRole] -> ShowS #
Eq RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool # (/=) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool #
Ord RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceUserRole -> RequestSpaceUserRole -> Ordering # (<) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool # (<=) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool # (>) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool # (>=) :: RequestSpaceUserRole -> RequestSpaceUserRole -> Bool # max :: RequestSpaceUserRole -> RequestSpaceUserRole -> RequestSpaceUserRole # min :: RequestSpaceUserRole -> RequestSpaceUserRole -> RequestSpaceUserRole #
ToSchema RequestSpaceUserRole Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceUserRole -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceUserRole = D1 ('MetaData "RequestSpaceUserRole" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceUserRole" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceUserRoleSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: (S1 ('MetaSel ('Just "requestSpaceUserRoleUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser) :: S1 ('MetaSel ('Just "requestSpaceUserRoleRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierRole))))

newtype ResponseSpaceUserRole Source #

Constructors

MkResponseSpaceUserRole
Fields responseSpaceUserRoleUnit :: ()

Instances

Instances details

FromJSON ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceUserRole Source # parseJSONList :: Value -> Parser [ResponseSpaceUserRole] Source #
ToJSON ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceUserRole -> Value Source # toEncoding :: ResponseSpaceUserRole -> Encoding Source # toJSONList :: [ResponseSpaceUserRole] -> Value Source # toEncodingList :: [ResponseSpaceUserRole] -> Encoding Source #
Generic ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceUserRole :: Type -> Type # Methods from :: ResponseSpaceUserRole -> Rep ResponseSpaceUserRole x # to :: Rep ResponseSpaceUserRole x -> ResponseSpaceUserRole #
Read ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceUserRole # readList :: ReadS [ResponseSpaceUserRole] # readPrec :: ReadPrec ResponseSpaceUserRole # readListPrec :: ReadPrec [ResponseSpaceUserRole] #
Show ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceUserRole -> ShowS # show :: ResponseSpaceUserRole -> String # showList :: [ResponseSpaceUserRole] -> ShowS #
Eq ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool # (/=) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool #
Ord ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Ordering # (<) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool # (<=) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool # (>) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool # (>=) :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> Bool # max :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> ResponseSpaceUserRole # min :: ResponseSpaceUserRole -> ResponseSpaceUserRole -> ResponseSpaceUserRole #
ToSchema ResponseSpaceUserRole Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceUserRole -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceUserRole Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceUserRole = D1 ('MetaData "ResponseSpaceUserRole" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceUserRole" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceUserRoleUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

newtype RequestSpaceView Source #

Constructors

MkRequestSpaceView
Fields requestSpaceViewId :: IdentifierSpace

Instances

Instances details

FromJSON RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceView Source # parseJSONList :: Value -> Parser [RequestSpaceView] Source #
ToJSON RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceView -> Value Source # toEncoding :: RequestSpaceView -> Encoding Source # toJSONList :: [RequestSpaceView] -> Value Source # toEncodingList :: [RequestSpaceView] -> Encoding Source #
Generic RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceView :: Type -> Type # Methods from :: RequestSpaceView -> Rep RequestSpaceView x # to :: Rep RequestSpaceView x -> RequestSpaceView #
Read RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceView # readList :: ReadS [RequestSpaceView] # readPrec :: ReadPrec RequestSpaceView # readListPrec :: ReadPrec [RequestSpaceView] #
Show RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceView -> ShowS # show :: RequestSpaceView -> String # showList :: [RequestSpaceView] -> ShowS #
Eq RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceView -> RequestSpaceView -> Bool # (/=) :: RequestSpaceView -> RequestSpaceView -> Bool #
Ord RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceView -> RequestSpaceView -> Ordering # (<) :: RequestSpaceView -> RequestSpaceView -> Bool # (<=) :: RequestSpaceView -> RequestSpaceView -> Bool # (>) :: RequestSpaceView -> RequestSpaceView -> Bool # (>=) :: RequestSpaceView -> RequestSpaceView -> Bool # max :: RequestSpaceView -> RequestSpaceView -> RequestSpaceView # min :: RequestSpaceView -> RequestSpaceView -> RequestSpaceView #
ToSchema RequestSpaceView Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceView -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceView = D1 ('MetaData "RequestSpaceView" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkRequestSpaceView" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceViewId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace)))

data ResponseSpaceView Source #

Instances

Instances details

FromJSON ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceView Source # parseJSONList :: Value -> Parser [ResponseSpaceView] Source #
ToJSON ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceView -> Value Source # toEncoding :: ResponseSpaceView -> Encoding Source # toJSONList :: [ResponseSpaceView] -> Value Source # toEncodingList :: [ResponseSpaceView] -> Encoding Source #
Generic ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceView :: Type -> Type # Methods from :: ResponseSpaceView -> Rep ResponseSpaceView x # to :: Rep ResponseSpaceView x -> ResponseSpaceView #
Read ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceView # readList :: ReadS [ResponseSpaceView] # readPrec :: ReadPrec ResponseSpaceView # readListPrec :: ReadPrec [ResponseSpaceView] #
Show ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceView -> ShowS # show :: ResponseSpaceView -> String # showList :: [ResponseSpaceView] -> ShowS #
Eq ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceView -> ResponseSpaceView -> Bool # (/=) :: ResponseSpaceView -> ResponseSpaceView -> Bool #
Ord ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceView -> ResponseSpaceView -> Ordering # (<) :: ResponseSpaceView -> ResponseSpaceView -> Bool # (<=) :: ResponseSpaceView -> ResponseSpaceView -> Bool # (>) :: ResponseSpaceView -> ResponseSpaceView -> Bool # (>=) :: ResponseSpaceView -> ResponseSpaceView -> Bool # max :: ResponseSpaceView -> ResponseSpaceView -> ResponseSpaceView # min :: ResponseSpaceView -> ResponseSpaceView -> ResponseSpaceView #
ToSchema ResponseSpaceView Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceView -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceView Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceView = D1 ('MetaData "ResponseSpaceView" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkResponseSpaceView" 'PrefixI 'True) (((S1 ('MetaSel ('Just "responseSpaceViewId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "responseSpaceViewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace)) :: (S1 ('MetaSel ('Just "responseSpaceViewTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel) :: S1 ('MetaSel ('Just "responseSpaceViewVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace))) :: ((S1 ('MetaSel ('Just "responseSpaceViewOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser) :: S1 ('MetaSel ('Just "responseSpaceViewRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Role))) :: (S1 ('MetaSel ('Just "responseSpaceViewUsers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set SpaceUser)) :*: S1 ('MetaSel ('Just "responseSpaceViewYourRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IdentifierRole))))))

data ResponseSpaceView403 Source #

Constructors

MkResponseSpaceView403
Fields responseSpaceView403Id :: IdentifierSpace responseSpaceView403Name :: NameSpace responseSpaceView403Timezone :: TZLabel responseSpaceView403Visibility :: VisibilitySpace responseSpaceView403Roles :: Set Role responseSpaceView403YourRole :: Maybe IdentifierRole

Instances

Instances details

FromJSON ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceView403 Source # parseJSONList :: Value -> Parser [ResponseSpaceView403] Source #
ToJSON ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceView403 -> Value Source # toEncoding :: ResponseSpaceView403 -> Encoding Source # toJSONList :: [ResponseSpaceView403] -> Value Source # toEncodingList :: [ResponseSpaceView403] -> Encoding Source #
Generic ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceView403 :: Type -> Type # Methods from :: ResponseSpaceView403 -> Rep ResponseSpaceView403 x # to :: Rep ResponseSpaceView403 x -> ResponseSpaceView403 #
Read ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceView403 # readList :: ReadS [ResponseSpaceView403] # readPrec :: ReadPrec ResponseSpaceView403 # readListPrec :: ReadPrec [ResponseSpaceView403] #
Show ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceView403 -> ShowS # show :: ResponseSpaceView403 -> String # showList :: [ResponseSpaceView403] -> ShowS #
Eq ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool # (/=) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool #
Ord ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceView403 -> ResponseSpaceView403 -> Ordering # (<) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool # (<=) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool # (>) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool # (>=) :: ResponseSpaceView403 -> ResponseSpaceView403 -> Bool # max :: ResponseSpaceView403 -> ResponseSpaceView403 -> ResponseSpaceView403 # min :: ResponseSpaceView403 -> ResponseSpaceView403 -> ResponseSpaceView403 #
ToSchema ResponseSpaceView403 Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceView403 -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceView403 Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceView403 = D1 ('MetaData "ResponseSpaceView403" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkResponseSpaceView403" 'PrefixI 'True) ((S1 ('MetaSel ('Just "responseSpaceView403Id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: (S1 ('MetaSel ('Just "responseSpaceView403Name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace) :: S1 ('MetaSel ('Just "responseSpaceView403Timezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel))) :: (S1 ('MetaSel ('Just "responseSpaceView403Visibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace) :: (S1 ('MetaSel ('Just "responseSpaceView403Roles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Role)) :*: S1 ('MetaSel ('Just "responseSpaceView403YourRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IdentifierRole))))))

data RequestSpaceList Source #

Constructors

MkRequestSpaceList
Fields requestSpaceListOrder :: OrderByCategories SpaceOrderCategory requestSpaceListMember :: Maybe Bool

Instances

Instances details

FromJSON RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestSpaceList Source # parseJSONList :: Value -> Parser [RequestSpaceList] Source #
ToJSON RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestSpaceList -> Value Source # toEncoding :: RequestSpaceList -> Encoding Source # toJSONList :: [RequestSpaceList] -> Value Source # toEncodingList :: [RequestSpaceList] -> Encoding Source #
Generic RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestSpaceList :: Type -> Type # Methods from :: RequestSpaceList -> Rep RequestSpaceList x # to :: Rep RequestSpaceList x -> RequestSpaceList #
Read RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestSpaceList # readList :: ReadS [RequestSpaceList] # readPrec :: ReadPrec RequestSpaceList # readListPrec :: ReadPrec [RequestSpaceList] #
Show RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestSpaceList -> ShowS # show :: RequestSpaceList -> String # showList :: [RequestSpaceList] -> ShowS #
Eq RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestSpaceList -> RequestSpaceList -> Bool # (/=) :: RequestSpaceList -> RequestSpaceList -> Bool #
Ord RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestSpaceList -> RequestSpaceList -> Ordering # (<) :: RequestSpaceList -> RequestSpaceList -> Bool # (<=) :: RequestSpaceList -> RequestSpaceList -> Bool # (>) :: RequestSpaceList -> RequestSpaceList -> Bool # (>=) :: RequestSpaceList -> RequestSpaceList -> Bool # max :: RequestSpaceList -> RequestSpaceList -> RequestSpaceList # min :: RequestSpaceList -> RequestSpaceList -> RequestSpaceList #
ToSchema RequestSpaceList Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestSpaceList -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestSpaceList = D1 ('MetaData "RequestSpaceList" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestSpaceList" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestSpaceListOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OrderByCategories SpaceOrderCategory)) :*: S1 ('MetaSel ('Just "requestSpaceListMember") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

newtype ResponseSpaceList Source #

Constructors

MkResponseSpaceList
Fields responseSpaceListSpaces :: [SpaceListSpace]

Instances

Instances details

FromJSON ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseSpaceList Source # parseJSONList :: Value -> Parser [ResponseSpaceList] Source #
ToJSON ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseSpaceList -> Value Source # toEncoding :: ResponseSpaceList -> Encoding Source # toJSONList :: [ResponseSpaceList] -> Value Source # toEncodingList :: [ResponseSpaceList] -> Encoding Source #
Generic ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseSpaceList :: Type -> Type # Methods from :: ResponseSpaceList -> Rep ResponseSpaceList x # to :: Rep ResponseSpaceList x -> ResponseSpaceList #
Read ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseSpaceList # readList :: ReadS [ResponseSpaceList] # readPrec :: ReadPrec ResponseSpaceList # readListPrec :: ReadPrec [ResponseSpaceList] #
Show ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseSpaceList -> ShowS # show :: ResponseSpaceList -> String # showList :: [ResponseSpaceList] -> ShowS #
Eq ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseSpaceList -> ResponseSpaceList -> Bool # (/=) :: ResponseSpaceList -> ResponseSpaceList -> Bool #
Ord ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseSpaceList -> ResponseSpaceList -> Ordering # (<) :: ResponseSpaceList -> ResponseSpaceList -> Bool # (<=) :: ResponseSpaceList -> ResponseSpaceList -> Bool # (>) :: ResponseSpaceList -> ResponseSpaceList -> Bool # (>=) :: ResponseSpaceList -> ResponseSpaceList -> Bool # max :: ResponseSpaceList -> ResponseSpaceList -> ResponseSpaceList # min :: ResponseSpaceList -> ResponseSpaceList -> ResponseSpaceList #
ToSchema ResponseSpaceList Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseSpaceList -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseSpaceList Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseSpaceList = D1 ('MetaData "ResponseSpaceList" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseSpaceList" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseSpaceListSpaces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SpaceListSpace])))

data SpaceListSpace Source #

Constructors

MkSpaceListSpace
Fields spaceListSpaceId :: IdentifierSpace spaceListSpaceName :: NameSpace spaceListSpaceTimezone :: TZLabel spaceListSpaceOwner :: IdentifierUser spaceListSpaceUsers :: Natural spaceListSpaceDesks :: Natural

Instances

Instances details

FromJSON SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser SpaceListSpace Source # parseJSONList :: Value -> Parser [SpaceListSpace] Source #
ToJSON SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: SpaceListSpace -> Value Source # toEncoding :: SpaceListSpace -> Encoding Source # toJSONList :: [SpaceListSpace] -> Value Source # toEncodingList :: [SpaceListSpace] -> Encoding Source #
Generic SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep SpaceListSpace :: Type -> Type # Methods from :: SpaceListSpace -> Rep SpaceListSpace x # to :: Rep SpaceListSpace x -> SpaceListSpace #
Read SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS SpaceListSpace # readList :: ReadS [SpaceListSpace] # readPrec :: ReadPrec SpaceListSpace # readListPrec :: ReadPrec [SpaceListSpace] #
Show SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> SpaceListSpace -> ShowS # show :: SpaceListSpace -> String # showList :: [SpaceListSpace] -> ShowS #
Eq SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: SpaceListSpace -> SpaceListSpace -> Bool # (/=) :: SpaceListSpace -> SpaceListSpace -> Bool #
Ord SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: SpaceListSpace -> SpaceListSpace -> Ordering # (<) :: SpaceListSpace -> SpaceListSpace -> Bool # (<=) :: SpaceListSpace -> SpaceListSpace -> Bool # (>) :: SpaceListSpace -> SpaceListSpace -> Bool # (>=) :: SpaceListSpace -> SpaceListSpace -> Bool # max :: SpaceListSpace -> SpaceListSpace -> SpaceListSpace # min :: SpaceListSpace -> SpaceListSpace -> SpaceListSpace #
ToSchema SpaceListSpace Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy SpaceListSpace -> Declare (Definitions Schema) NamedSchema Source #
type Rep SpaceListSpace Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep SpaceListSpace = D1 ('MetaData "SpaceListSpace" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSpaceListSpace" 'PrefixI 'True) ((S1 ('MetaSel ('Just "spaceListSpaceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: (S1 ('MetaSel ('Just "spaceListSpaceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace) :: S1 ('MetaSel ('Just "spaceListSpaceTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel))) :: (S1 ('MetaSel ('Just "spaceListSpaceOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser) :: (S1 ('MetaSel ('Just "spaceListSpaceUsers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "spaceListSpaceDesks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))))

data RequestRoleCreate Source #

Constructors

MkRequestRoleCreate
Fields requestRoleCreateSpace :: IdentifierSpace requestRoleCreateName :: NameRole requestRoleCreateAccessibility :: AccessibilityRole requestRoleCreatePassword :: Maybe Text requestRoleCreatePermissions :: Set Permission

Instances

Instances details

FromJSON RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestRoleCreate Source # parseJSONList :: Value -> Parser [RequestRoleCreate] Source #
ToJSON RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestRoleCreate -> Value Source # toEncoding :: RequestRoleCreate -> Encoding Source # toJSONList :: [RequestRoleCreate] -> Value Source # toEncodingList :: [RequestRoleCreate] -> Encoding Source #
Generic RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestRoleCreate :: Type -> Type # Methods from :: RequestRoleCreate -> Rep RequestRoleCreate x # to :: Rep RequestRoleCreate x -> RequestRoleCreate #
Read RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestRoleCreate # readList :: ReadS [RequestRoleCreate] # readPrec :: ReadPrec RequestRoleCreate # readListPrec :: ReadPrec [RequestRoleCreate] #
Show RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestRoleCreate -> ShowS # show :: RequestRoleCreate -> String # showList :: [RequestRoleCreate] -> ShowS #
Eq RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestRoleCreate -> RequestRoleCreate -> Bool # (/=) :: RequestRoleCreate -> RequestRoleCreate -> Bool #
Ord RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestRoleCreate -> RequestRoleCreate -> Ordering # (<) :: RequestRoleCreate -> RequestRoleCreate -> Bool # (<=) :: RequestRoleCreate -> RequestRoleCreate -> Bool # (>) :: RequestRoleCreate -> RequestRoleCreate -> Bool # (>=) :: RequestRoleCreate -> RequestRoleCreate -> Bool # max :: RequestRoleCreate -> RequestRoleCreate -> RequestRoleCreate # min :: RequestRoleCreate -> RequestRoleCreate -> RequestRoleCreate #
ToSchema RequestRoleCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestRoleCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestRoleCreate = D1 ('MetaData "RequestRoleCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestRoleCreate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requestRoleCreateSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "requestRoleCreateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameRole)) :: (S1 ('MetaSel ('Just "requestRoleCreateAccessibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccessibilityRole) :: (S1 ('MetaSel ('Just "requestRoleCreatePassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "requestRoleCreatePermissions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Permission))))))

newtype ResponseRoleCreate Source #

Constructors

MkResponseRoleCreate
Fields responseRoleCreateId :: IdentifierRole

Instances

Instances details

FromJSON ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseRoleCreate Source # parseJSONList :: Value -> Parser [ResponseRoleCreate] Source #
ToJSON ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseRoleCreate -> Value Source # toEncoding :: ResponseRoleCreate -> Encoding Source # toJSONList :: [ResponseRoleCreate] -> Value Source # toEncodingList :: [ResponseRoleCreate] -> Encoding Source #
Generic ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseRoleCreate :: Type -> Type # Methods from :: ResponseRoleCreate -> Rep ResponseRoleCreate x # to :: Rep ResponseRoleCreate x -> ResponseRoleCreate #
Read ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseRoleCreate # readList :: ReadS [ResponseRoleCreate] # readPrec :: ReadPrec ResponseRoleCreate # readListPrec :: ReadPrec [ResponseRoleCreate] #
Show ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseRoleCreate -> ShowS # show :: ResponseRoleCreate -> String # showList :: [ResponseRoleCreate] -> ShowS #
Eq ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool # (/=) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool #
Ord ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseRoleCreate -> ResponseRoleCreate -> Ordering # (<) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool # (<=) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool # (>) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool # (>=) :: ResponseRoleCreate -> ResponseRoleCreate -> Bool # max :: ResponseRoleCreate -> ResponseRoleCreate -> ResponseRoleCreate # min :: ResponseRoleCreate -> ResponseRoleCreate -> ResponseRoleCreate #
ToSchema ResponseRoleCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseRoleCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseRoleCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseRoleCreate = D1 ('MetaData "ResponseRoleCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseRoleCreate" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseRoleCreateId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierRole)))

data RequestRoleEdit Source #

Constructors

MkRequestRoleEdit
Fields requestRoleEditId :: IdentifierRole requestRoleEditName :: Updatable NameRole requestRoleEditAccessibilityAndPassword :: Updatable RoleEditAccessibilityAndPassword requestRoleEditPermissions :: Updatable (Set Permission)

Instances

Instances details

FromJSON RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestRoleEdit Source # parseJSONList :: Value -> Parser [RequestRoleEdit] Source #
ToJSON RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestRoleEdit -> Value Source # toEncoding :: RequestRoleEdit -> Encoding Source # toJSONList :: [RequestRoleEdit] -> Value Source # toEncodingList :: [RequestRoleEdit] -> Encoding Source #
Generic RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestRoleEdit :: Type -> Type # Methods from :: RequestRoleEdit -> Rep RequestRoleEdit x # to :: Rep RequestRoleEdit x -> RequestRoleEdit #
Read RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestRoleEdit # readList :: ReadS [RequestRoleEdit] # readPrec :: ReadPrec RequestRoleEdit # readListPrec :: ReadPrec [RequestRoleEdit] #
Show RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestRoleEdit -> ShowS # show :: RequestRoleEdit -> String # showList :: [RequestRoleEdit] -> ShowS #
Eq RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestRoleEdit -> RequestRoleEdit -> Bool # (/=) :: RequestRoleEdit -> RequestRoleEdit -> Bool #
Ord RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestRoleEdit -> RequestRoleEdit -> Ordering # (<) :: RequestRoleEdit -> RequestRoleEdit -> Bool # (<=) :: RequestRoleEdit -> RequestRoleEdit -> Bool # (>) :: RequestRoleEdit -> RequestRoleEdit -> Bool # (>=) :: RequestRoleEdit -> RequestRoleEdit -> Bool # max :: RequestRoleEdit -> RequestRoleEdit -> RequestRoleEdit # min :: RequestRoleEdit -> RequestRoleEdit -> RequestRoleEdit #
ToSchema RequestRoleEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestRoleEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestRoleEdit = D1 ('MetaData "RequestRoleEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestRoleEdit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requestRoleEditId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierRole) :: S1 ('MetaSel ('Just "requestRoleEditName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable NameRole))) :: (S1 ('MetaSel ('Just "requestRoleEditAccessibilityAndPassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable RoleEditAccessibilityAndPassword)) :*: S1 ('MetaSel ('Just "requestRoleEditPermissions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable (Set Permission))))))

data RoleEditAccessibilityAndPassword Source #

Constructors

MkRoleEditAccessibilityAndPassword
Fields roleEditAccessibilityAndPasswordAccessibility :: AccessibilityRole roleEditAccessibilityAndPasswordPassword :: Maybe Text

Instances

Instances details

FromJSON RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RoleEditAccessibilityAndPassword Source # parseJSONList :: Value -> Parser [RoleEditAccessibilityAndPassword] Source #
ToJSON RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RoleEditAccessibilityAndPassword -> Value Source # toEncoding :: RoleEditAccessibilityAndPassword -> Encoding Source # toJSONList :: [RoleEditAccessibilityAndPassword] -> Value Source # toEncodingList :: [RoleEditAccessibilityAndPassword] -> Encoding Source #
Generic RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RoleEditAccessibilityAndPassword :: Type -> Type # Methods from :: RoleEditAccessibilityAndPassword -> Rep RoleEditAccessibilityAndPassword x # to :: Rep RoleEditAccessibilityAndPassword x -> RoleEditAccessibilityAndPassword #
Read RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RoleEditAccessibilityAndPassword # readList :: ReadS [RoleEditAccessibilityAndPassword] # readPrec :: ReadPrec RoleEditAccessibilityAndPassword # readListPrec :: ReadPrec [RoleEditAccessibilityAndPassword] #
Show RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RoleEditAccessibilityAndPassword -> ShowS # show :: RoleEditAccessibilityAndPassword -> String # showList :: [RoleEditAccessibilityAndPassword] -> ShowS #
Eq RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool # (/=) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool #
Ord RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Ordering # (<) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool # (<=) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool # (>) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool # (>=) :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> Bool # max :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword # min :: RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword -> RoleEditAccessibilityAndPassword #
ToSchema RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RoleEditAccessibilityAndPassword -> Declare (Definitions Schema) NamedSchema Source #
type Rep RoleEditAccessibilityAndPassword Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RoleEditAccessibilityAndPassword = D1 ('MetaData "RoleEditAccessibilityAndPassword" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRoleEditAccessibilityAndPassword" 'PrefixI 'True) (S1 ('MetaSel ('Just "roleEditAccessibilityAndPasswordAccessibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccessibilityRole) :*: S1 ('MetaSel ('Just "roleEditAccessibilityAndPasswordPassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

newtype ResponseRoleEdit Source #

Constructors

MkResponseRoleEdit
Fields responseRoleEditUnit :: ()

Instances

Instances details

FromJSON ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseRoleEdit Source # parseJSONList :: Value -> Parser [ResponseRoleEdit] Source #
ToJSON ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseRoleEdit -> Value Source # toEncoding :: ResponseRoleEdit -> Encoding Source # toJSONList :: [ResponseRoleEdit] -> Value Source # toEncodingList :: [ResponseRoleEdit] -> Encoding Source #
Generic ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseRoleEdit :: Type -> Type # Methods from :: ResponseRoleEdit -> Rep ResponseRoleEdit x # to :: Rep ResponseRoleEdit x -> ResponseRoleEdit #
Read ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseRoleEdit # readList :: ReadS [ResponseRoleEdit] # readPrec :: ReadPrec ResponseRoleEdit # readListPrec :: ReadPrec [ResponseRoleEdit] #
Show ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseRoleEdit -> ShowS # show :: ResponseRoleEdit -> String # showList :: [ResponseRoleEdit] -> ShowS #
Eq ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool # (/=) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool #
Ord ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseRoleEdit -> ResponseRoleEdit -> Ordering # (<) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool # (<=) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool # (>) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool # (>=) :: ResponseRoleEdit -> ResponseRoleEdit -> Bool # max :: ResponseRoleEdit -> ResponseRoleEdit -> ResponseRoleEdit # min :: ResponseRoleEdit -> ResponseRoleEdit -> ResponseRoleEdit #
ToSchema ResponseRoleEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseRoleEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseRoleEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseRoleEdit = D1 ('MetaData "ResponseRoleEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseRoleEdit" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseRoleEditUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestRoleDelete Source #

Constructors

MkRequestRoleDelete
Fields requestRoleDeleteId :: IdentifierRole requestRoleDeleteFallbackId :: IdentifierRole

Instances

Instances details

FromJSON RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestRoleDelete Source # parseJSONList :: Value -> Parser [RequestRoleDelete] Source #
ToJSON RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestRoleDelete -> Value Source # toEncoding :: RequestRoleDelete -> Encoding Source # toJSONList :: [RequestRoleDelete] -> Value Source # toEncodingList :: [RequestRoleDelete] -> Encoding Source #
Generic RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestRoleDelete :: Type -> Type # Methods from :: RequestRoleDelete -> Rep RequestRoleDelete x # to :: Rep RequestRoleDelete x -> RequestRoleDelete #
Read RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestRoleDelete # readList :: ReadS [RequestRoleDelete] # readPrec :: ReadPrec RequestRoleDelete # readListPrec :: ReadPrec [RequestRoleDelete] #
Show RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestRoleDelete -> ShowS # show :: RequestRoleDelete -> String # showList :: [RequestRoleDelete] -> ShowS #
Eq RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestRoleDelete -> RequestRoleDelete -> Bool # (/=) :: RequestRoleDelete -> RequestRoleDelete -> Bool #
Ord RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestRoleDelete -> RequestRoleDelete -> Ordering # (<) :: RequestRoleDelete -> RequestRoleDelete -> Bool # (<=) :: RequestRoleDelete -> RequestRoleDelete -> Bool # (>) :: RequestRoleDelete -> RequestRoleDelete -> Bool # (>=) :: RequestRoleDelete -> RequestRoleDelete -> Bool # max :: RequestRoleDelete -> RequestRoleDelete -> RequestRoleDelete # min :: RequestRoleDelete -> RequestRoleDelete -> RequestRoleDelete #
ToSchema RequestRoleDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestRoleDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestRoleDelete = D1 ('MetaData "RequestRoleDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestRoleDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestRoleDeleteId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierRole) :*: S1 ('MetaSel ('Just "requestRoleDeleteFallbackId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierRole)))

newtype ResponseRoleDelete Source #

Constructors

MkResponseRoleDelete
Fields responseRoleDeleteUnit :: ()

Instances

Instances details

FromJSON ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseRoleDelete Source # parseJSONList :: Value -> Parser [ResponseRoleDelete] Source #
ToJSON ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseRoleDelete -> Value Source # toEncoding :: ResponseRoleDelete -> Encoding Source # toJSONList :: [ResponseRoleDelete] -> Value Source # toEncodingList :: [ResponseRoleDelete] -> Encoding Source #
Generic ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseRoleDelete :: Type -> Type # Methods from :: ResponseRoleDelete -> Rep ResponseRoleDelete x # to :: Rep ResponseRoleDelete x -> ResponseRoleDelete #
Read ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseRoleDelete # readList :: ReadS [ResponseRoleDelete] # readPrec :: ReadPrec ResponseRoleDelete # readListPrec :: ReadPrec [ResponseRoleDelete] #
Show ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseRoleDelete -> ShowS # show :: ResponseRoleDelete -> String # showList :: [ResponseRoleDelete] -> ShowS #
Eq ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool # (/=) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool #
Ord ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseRoleDelete -> ResponseRoleDelete -> Ordering # (<) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool # (<=) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool # (>) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool # (>=) :: ResponseRoleDelete -> ResponseRoleDelete -> Bool # max :: ResponseRoleDelete -> ResponseRoleDelete -> ResponseRoleDelete # min :: ResponseRoleDelete -> ResponseRoleDelete -> ResponseRoleDelete #
ToSchema ResponseRoleDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseRoleDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseRoleDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseRoleDelete = D1 ('MetaData "ResponseRoleDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseRoleDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseRoleDeleteUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestDeskCreate Source #

Constructors

MkRequestDeskCreate
Fields requestDeskCreateName :: NameDesk requestDeskCreateSpace :: NameOrIdentifier NameSpace IdentifierSpace requestDeskCreateLocation :: Maybe LocationDesk

Instances

Instances details

FromJSON RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestDeskCreate Source # parseJSONList :: Value -> Parser [RequestDeskCreate] Source #
ToJSON RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestDeskCreate -> Value Source # toEncoding :: RequestDeskCreate -> Encoding Source # toJSONList :: [RequestDeskCreate] -> Value Source # toEncodingList :: [RequestDeskCreate] -> Encoding Source #
Generic RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestDeskCreate :: Type -> Type # Methods from :: RequestDeskCreate -> Rep RequestDeskCreate x # to :: Rep RequestDeskCreate x -> RequestDeskCreate #
Read RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestDeskCreate # readList :: ReadS [RequestDeskCreate] # readPrec :: ReadPrec RequestDeskCreate # readListPrec :: ReadPrec [RequestDeskCreate] #
Show RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestDeskCreate -> ShowS # show :: RequestDeskCreate -> String # showList :: [RequestDeskCreate] -> ShowS #
Eq RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestDeskCreate -> RequestDeskCreate -> Bool # (/=) :: RequestDeskCreate -> RequestDeskCreate -> Bool #
Ord RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestDeskCreate -> RequestDeskCreate -> Ordering # (<) :: RequestDeskCreate -> RequestDeskCreate -> Bool # (<=) :: RequestDeskCreate -> RequestDeskCreate -> Bool # (>) :: RequestDeskCreate -> RequestDeskCreate -> Bool # (>=) :: RequestDeskCreate -> RequestDeskCreate -> Bool # max :: RequestDeskCreate -> RequestDeskCreate -> RequestDeskCreate # min :: RequestDeskCreate -> RequestDeskCreate -> RequestDeskCreate #
ToSchema RequestDeskCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestDeskCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestDeskCreate = D1 ('MetaData "RequestDeskCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestDeskCreate" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestDeskCreateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameDesk) :: (S1 ('MetaSel ('Just "requestDeskCreateSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameOrIdentifier NameSpace IdentifierSpace)) :: S1 ('MetaSel ('Just "requestDeskCreateLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LocationDesk)))))

newtype ResponseDeskCreate Source #

Constructors

MkResponseDeskCreate
Fields responseDeskCreateId :: IdentifierDesk

Instances

Instances details

FromJSON ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseDeskCreate Source # parseJSONList :: Value -> Parser [ResponseDeskCreate] Source #
ToJSON ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseDeskCreate -> Value Source # toEncoding :: ResponseDeskCreate -> Encoding Source # toJSONList :: [ResponseDeskCreate] -> Value Source # toEncodingList :: [ResponseDeskCreate] -> Encoding Source #
Generic ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseDeskCreate :: Type -> Type # Methods from :: ResponseDeskCreate -> Rep ResponseDeskCreate x # to :: Rep ResponseDeskCreate x -> ResponseDeskCreate #
Read ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseDeskCreate # readList :: ReadS [ResponseDeskCreate] # readPrec :: ReadPrec ResponseDeskCreate # readListPrec :: ReadPrec [ResponseDeskCreate] #
Show ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseDeskCreate -> ShowS # show :: ResponseDeskCreate -> String # showList :: [ResponseDeskCreate] -> ShowS #
Eq ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool # (/=) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool #
Ord ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseDeskCreate -> ResponseDeskCreate -> Ordering # (<) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool # (<=) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool # (>) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool # (>=) :: ResponseDeskCreate -> ResponseDeskCreate -> Bool # max :: ResponseDeskCreate -> ResponseDeskCreate -> ResponseDeskCreate # min :: ResponseDeskCreate -> ResponseDeskCreate -> ResponseDeskCreate #
ToSchema ResponseDeskCreate Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseDeskCreate -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseDeskCreate Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseDeskCreate = D1 ('MetaData "ResponseDeskCreate" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseDeskCreate" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseDeskCreateId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierDesk)))

newtype RequestDeskDelete Source #

Constructors

MkRequestDeskDelete
Fields requestDeskDeleteId :: IdentifierDesk

Instances

Instances details

FromJSON RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestDeskDelete Source # parseJSONList :: Value -> Parser [RequestDeskDelete] Source #
ToJSON RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestDeskDelete -> Value Source # toEncoding :: RequestDeskDelete -> Encoding Source # toJSONList :: [RequestDeskDelete] -> Value Source # toEncodingList :: [RequestDeskDelete] -> Encoding Source #
Generic RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestDeskDelete :: Type -> Type # Methods from :: RequestDeskDelete -> Rep RequestDeskDelete x # to :: Rep RequestDeskDelete x -> RequestDeskDelete #
Read RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestDeskDelete # readList :: ReadS [RequestDeskDelete] # readPrec :: ReadPrec RequestDeskDelete # readListPrec :: ReadPrec [RequestDeskDelete] #
Show RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestDeskDelete -> ShowS # show :: RequestDeskDelete -> String # showList :: [RequestDeskDelete] -> ShowS #
Eq RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestDeskDelete -> RequestDeskDelete -> Bool # (/=) :: RequestDeskDelete -> RequestDeskDelete -> Bool #
Ord RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestDeskDelete -> RequestDeskDelete -> Ordering # (<) :: RequestDeskDelete -> RequestDeskDelete -> Bool # (<=) :: RequestDeskDelete -> RequestDeskDelete -> Bool # (>) :: RequestDeskDelete -> RequestDeskDelete -> Bool # (>=) :: RequestDeskDelete -> RequestDeskDelete -> Bool # max :: RequestDeskDelete -> RequestDeskDelete -> RequestDeskDelete # min :: RequestDeskDelete -> RequestDeskDelete -> RequestDeskDelete #
ToSchema RequestDeskDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestDeskDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestDeskDelete = D1 ('MetaData "RequestDeskDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkRequestDeskDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestDeskDeleteId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierDesk)))

newtype ResponseDeskDelete Source #

Constructors

MkResponseDeskDelete
Fields responseDeskDeleteUnit :: ()

Instances

Instances details

FromJSON ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseDeskDelete Source # parseJSONList :: Value -> Parser [ResponseDeskDelete] Source #
ToJSON ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseDeskDelete -> Value Source # toEncoding :: ResponseDeskDelete -> Encoding Source # toJSONList :: [ResponseDeskDelete] -> Value Source # toEncodingList :: [ResponseDeskDelete] -> Encoding Source #
Generic ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseDeskDelete :: Type -> Type # Methods from :: ResponseDeskDelete -> Rep ResponseDeskDelete x # to :: Rep ResponseDeskDelete x -> ResponseDeskDelete #
Read ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseDeskDelete # readList :: ReadS [ResponseDeskDelete] # readPrec :: ReadPrec ResponseDeskDelete # readListPrec :: ReadPrec [ResponseDeskDelete] #
Show ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseDeskDelete -> ShowS # show :: ResponseDeskDelete -> String # showList :: [ResponseDeskDelete] -> ShowS #
Eq ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool # (/=) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool #
Ord ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseDeskDelete -> ResponseDeskDelete -> Ordering # (<) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool # (<=) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool # (>) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool # (>=) :: ResponseDeskDelete -> ResponseDeskDelete -> Bool # max :: ResponseDeskDelete -> ResponseDeskDelete -> ResponseDeskDelete # min :: ResponseDeskDelete -> ResponseDeskDelete -> ResponseDeskDelete #
ToSchema ResponseDeskDelete Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseDeskDelete -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseDeskDelete Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseDeskDelete = D1 ('MetaData "ResponseDeskDelete" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseDeskDelete" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseDeskDeleteUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestDeskEdit Source #

Constructors

MkRequestDeskEdit
Fields requestDeskEditId :: IdentifierDesk requestDeskEditName :: Updatable NameDesk requestDeskEditLocation :: Updatable (Maybe LocationDesk)

Instances

Instances details

FromJSON RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestDeskEdit Source # parseJSONList :: Value -> Parser [RequestDeskEdit] Source #
ToJSON RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestDeskEdit -> Value Source # toEncoding :: RequestDeskEdit -> Encoding Source # toJSONList :: [RequestDeskEdit] -> Value Source # toEncodingList :: [RequestDeskEdit] -> Encoding Source #
Generic RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestDeskEdit :: Type -> Type # Methods from :: RequestDeskEdit -> Rep RequestDeskEdit x # to :: Rep RequestDeskEdit x -> RequestDeskEdit #
Read RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestDeskEdit # readList :: ReadS [RequestDeskEdit] # readPrec :: ReadPrec RequestDeskEdit # readListPrec :: ReadPrec [RequestDeskEdit] #
Show RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestDeskEdit -> ShowS # show :: RequestDeskEdit -> String # showList :: [RequestDeskEdit] -> ShowS #
Eq RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestDeskEdit -> RequestDeskEdit -> Bool # (/=) :: RequestDeskEdit -> RequestDeskEdit -> Bool #
Ord RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestDeskEdit -> RequestDeskEdit -> Ordering # (<) :: RequestDeskEdit -> RequestDeskEdit -> Bool # (<=) :: RequestDeskEdit -> RequestDeskEdit -> Bool # (>) :: RequestDeskEdit -> RequestDeskEdit -> Bool # (>=) :: RequestDeskEdit -> RequestDeskEdit -> Bool # max :: RequestDeskEdit -> RequestDeskEdit -> RequestDeskEdit # min :: RequestDeskEdit -> RequestDeskEdit -> RequestDeskEdit #
ToSchema RequestDeskEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestDeskEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestDeskEdit = D1 ('MetaData "RequestDeskEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestDeskEdit" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestDeskEditId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierDesk) :: (S1 ('MetaSel ('Just "requestDeskEditName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable NameDesk)) :: S1 ('MetaSel ('Just "requestDeskEditLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Updatable (Maybe LocationDesk))))))

newtype ResponseDeskEdit Source #

Constructors

MkResponseDeskEdit
Fields responseDeskEditUnit :: ()

Instances

Instances details

FromJSON ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseDeskEdit Source # parseJSONList :: Value -> Parser [ResponseDeskEdit] Source #
ToJSON ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseDeskEdit -> Value Source # toEncoding :: ResponseDeskEdit -> Encoding Source # toJSONList :: [ResponseDeskEdit] -> Value Source # toEncodingList :: [ResponseDeskEdit] -> Encoding Source #
Generic ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseDeskEdit :: Type -> Type # Methods from :: ResponseDeskEdit -> Rep ResponseDeskEdit x # to :: Rep ResponseDeskEdit x -> ResponseDeskEdit #
Read ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseDeskEdit # readList :: ReadS [ResponseDeskEdit] # readPrec :: ReadPrec ResponseDeskEdit # readListPrec :: ReadPrec [ResponseDeskEdit] #
Show ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseDeskEdit -> ShowS # show :: ResponseDeskEdit -> String # showList :: [ResponseDeskEdit] -> ShowS #
Eq ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool # (/=) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool #
Ord ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseDeskEdit -> ResponseDeskEdit -> Ordering # (<) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool # (<=) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool # (>) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool # (>=) :: ResponseDeskEdit -> ResponseDeskEdit -> Bool # max :: ResponseDeskEdit -> ResponseDeskEdit -> ResponseDeskEdit # min :: ResponseDeskEdit -> ResponseDeskEdit -> ResponseDeskEdit #
ToSchema ResponseDeskEdit Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseDeskEdit -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseDeskEdit Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseDeskEdit = D1 ('MetaData "ResponseDeskEdit" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseDeskEdit" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseDeskEditUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

data RequestDeskList Source #

Constructors

MkRequestDeskList
Fields requestDeskListSpace :: NameOrIdentifier NameSpace IdentifierSpace requestDeskListTimeWindow :: IntervalUnbounded UTCTime

Instances

Instances details

FromJSON RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser RequestDeskList Source # parseJSONList :: Value -> Parser [RequestDeskList] Source #
ToJSON RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: RequestDeskList -> Value Source # toEncoding :: RequestDeskList -> Encoding Source # toJSONList :: [RequestDeskList] -> Value Source # toEncodingList :: [RequestDeskList] -> Encoding Source #
Generic RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep RequestDeskList :: Type -> Type # Methods from :: RequestDeskList -> Rep RequestDeskList x # to :: Rep RequestDeskList x -> RequestDeskList #
Read RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS RequestDeskList # readList :: ReadS [RequestDeskList] # readPrec :: ReadPrec RequestDeskList # readListPrec :: ReadPrec [RequestDeskList] #
Show RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> RequestDeskList -> ShowS # show :: RequestDeskList -> String # showList :: [RequestDeskList] -> ShowS #
Eq RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: RequestDeskList -> RequestDeskList -> Bool # (/=) :: RequestDeskList -> RequestDeskList -> Bool #
Ord RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: RequestDeskList -> RequestDeskList -> Ordering # (<) :: RequestDeskList -> RequestDeskList -> Bool # (<=) :: RequestDeskList -> RequestDeskList -> Bool # (>) :: RequestDeskList -> RequestDeskList -> Bool # (>=) :: RequestDeskList -> RequestDeskList -> Bool # max :: RequestDeskList -> RequestDeskList -> RequestDeskList # min :: RequestDeskList -> RequestDeskList -> RequestDeskList #
ToSchema RequestDeskList Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy RequestDeskList -> Declare (Definitions Schema) NamedSchema Source #
type Rep RequestDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep RequestDeskList = D1 ('MetaData "RequestDeskList" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkRequestDeskList" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestDeskListSpace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameOrIdentifier NameSpace IdentifierSpace)) :*: S1 ('MetaSel ('Just "requestDeskListTimeWindow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntervalUnbounded UTCTime))))

data DeskWithInfo Source #

Constructors

MkDeskWithInfo
Fields deskWithInfoDesk :: Desk deskWithInfoReservations :: [Reservation]

Instances

Instances details

FromJSON DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser DeskWithInfo Source # parseJSONList :: Value -> Parser [DeskWithInfo] Source #
ToJSON DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: DeskWithInfo -> Value Source # toEncoding :: DeskWithInfo -> Encoding Source # toJSONList :: [DeskWithInfo] -> Value Source # toEncodingList :: [DeskWithInfo] -> Encoding Source #
Generic DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep DeskWithInfo :: Type -> Type # Methods from :: DeskWithInfo -> Rep DeskWithInfo x # to :: Rep DeskWithInfo x -> DeskWithInfo #
Read DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS DeskWithInfo # readList :: ReadS [DeskWithInfo] # readPrec :: ReadPrec DeskWithInfo # readListPrec :: ReadPrec [DeskWithInfo] #
Show DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> DeskWithInfo -> ShowS # show :: DeskWithInfo -> String # showList :: [DeskWithInfo] -> ShowS #
Eq DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: DeskWithInfo -> DeskWithInfo -> Bool # (/=) :: DeskWithInfo -> DeskWithInfo -> Bool #
Ord DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: DeskWithInfo -> DeskWithInfo -> Ordering # (<) :: DeskWithInfo -> DeskWithInfo -> Bool # (<=) :: DeskWithInfo -> DeskWithInfo -> Bool # (>) :: DeskWithInfo -> DeskWithInfo -> Bool # (>=) :: DeskWithInfo -> DeskWithInfo -> Bool # max :: DeskWithInfo -> DeskWithInfo -> DeskWithInfo # min :: DeskWithInfo -> DeskWithInfo -> DeskWithInfo #
ToSchema DeskWithInfo Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy DeskWithInfo -> Declare (Definitions Schema) NamedSchema Source #
type Rep DeskWithInfo Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep DeskWithInfo = D1 ('MetaData "DeskWithInfo" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkDeskWithInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "deskWithInfoDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Desk) :*: S1 ('MetaSel ('Just "deskWithInfoReservations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Reservation])))

newtype ResponseDeskList Source #

Constructors

MkResponseDeskList
Fields responseDeskListDesks :: [DeskWithInfo]

Instances

Instances details

FromJSON ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods parseJSON :: Value -> Parser ResponseDeskList Source # parseJSONList :: Value -> Parser [ResponseDeskList] Source #
ToJSON ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods toJSON :: ResponseDeskList -> Value Source # toEncoding :: ResponseDeskList -> Encoding Source # toJSONList :: [ResponseDeskList] -> Value Source # toEncodingList :: [ResponseDeskList] -> Encoding Source #
Generic ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Associated Types type Rep ResponseDeskList :: Type -> Type # Methods from :: ResponseDeskList -> Rep ResponseDeskList x # to :: Rep ResponseDeskList x -> ResponseDeskList #
Read ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods readsPrec :: Int -> ReadS ResponseDeskList # readList :: ReadS [ResponseDeskList] # readPrec :: ReadPrec ResponseDeskList # readListPrec :: ReadPrec [ResponseDeskList] #
Show ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods showsPrec :: Int -> ResponseDeskList -> ShowS # show :: ResponseDeskList -> String # showList :: [ResponseDeskList] -> ShowS #
Eq ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods (==) :: ResponseDeskList -> ResponseDeskList -> Bool # (/=) :: ResponseDeskList -> ResponseDeskList -> Bool #
Ord ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space Methods compare :: ResponseDeskList -> ResponseDeskList -> Ordering # (<) :: ResponseDeskList -> ResponseDeskList -> Bool # (<=) :: ResponseDeskList -> ResponseDeskList -> Bool # (>) :: ResponseDeskList -> ResponseDeskList -> Bool # (>=) :: ResponseDeskList -> ResponseDeskList -> Bool # max :: ResponseDeskList -> ResponseDeskList -> ResponseDeskList # min :: ResponseDeskList -> ResponseDeskList -> ResponseDeskList #
ToSchema ResponseDeskList Source #
Instance details Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy ResponseDeskList -> Declare (Definitions Schema) NamedSchema Source #
type Rep ResponseDeskList Source #
Instance details Defined in Mensam.API.Route.Api.Space type Rep ResponseDeskList = D1 ('MetaData "ResponseDeskList" "Mensam.API.Route.Api.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkResponseDeskList" 'PrefixI 'True) (S1 ('MetaSel ('Just "responseDeskListDesks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DeskWithInfo])))

MkResponseSpaceView
Fields responseSpaceViewId :: IdentifierSpace responseSpaceViewName :: NameSpace responseSpaceViewTimezone :: TZLabel responseSpaceViewVisibility :: VisibilitySpace responseSpaceViewOwner :: IdentifierUser responseSpaceViewRoles :: Set Role responseSpaceViewUsers :: Set SpaceUser responseSpaceViewYourRole :: Maybe IdentifierRole