Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.API.Route.Api.Reservation

Documentation

data Routes route Source #

Constructors

Routes

Fields

routeReservationCreate :: route :- (Summary "Create Reservation" :> (Description "Request a desk reservation.\nA desk can only be reserved by one user at any time.\n" :> ("create" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestReservationCreate :> UVerb PUT '[JSON] [WithStatus 201 ResponseReservationCreate, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionCreateReservation), WithStatus 409 (StaticText "Desk is not available within the given time window."), WithStatus 500 ()])))))
routeReservationCancel :: route :- (Summary "Cancel Reservation" :> (Description "Cancel a desk reservation.\n" :> ("cancel" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestReservationCancel :> UVerb POST '[JSON] [WithStatus 200 ResponseReservationCancel, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 403 (ErrorInsufficientPermission MkPermissionCancelReservation), WithStatus 409 (StaticText "Already cancelled."), WithStatus 410 (StaticText "Already happened."), WithStatus 500 ()])))))
routeReservationList :: route :- (Summary "List Reservations" :> (Description "View all of your desk reservations.\nUse the time-window to restrict the result to overlapping reservations.\n" :> ("list" :> (Auth '[JWTWithSession] UserAuthenticated :> (ReqBody' '[Lenient, Required] '[JSON] RequestReservationList :> UVerb POST '[JSON] [WithStatus 200 ResponseReservationList, WithStatus 400 ErrorParseBodyJson, WithStatus 401 ErrorBearerAuth, WithStatus 500 ()])))))

Instances

Instances details

Generic (Routes route) Source #
Instance details Defined in Mensam.API.Route.Api.Reservation 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.Reservation type Rep (Routes route)

data RequestReservationCreate Source #

Constructors

MkRequestReservationCreate
Fields requestReservationCreateDesk :: NameOrIdentifier DeskNameWithContext IdentifierDesk requestReservationCreateTimeWindow :: IntervalNonDegenerate UTCTime

Instances

Instances details

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

data ResponseReservationCreate Source #

Constructors

MkResponseReservationCreate
Fields responseReservationCreateId :: IdentifierReservation responseReservationCreateEmailSent :: Maybe Bool

Instances

Instances details

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

newtype RequestReservationCancel Source #

Constructors

MkRequestReservationCancel
Fields requestReservationCancelId :: IdentifierReservation

Instances

Instances details

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

newtype ResponseReservationCancel Source #

Constructors

MkResponseReservationCancel
Fields responseReservationCancelUnit :: ()

Instances

Instances details

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

newtype RequestReservationList Source #

Constructors

MkRequestReservationList
Fields requestReservationListTimeWindow :: IntervalUnbounded UTCTime

Instances

Instances details

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

data ReservationWithInfo Source #

Constructors

MkReservationWithInfo
Fields reservationWithInfoReservation :: Reservation reservationWithInfoDesk :: Desk reservationWithInfoSpace :: Space

Instances

Instances details

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

newtype ResponseReservationList Source #

Constructors

MkResponseReservationList
Fields responseReservationListReservations :: [ReservationWithInfo]

Instances

Instances details

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