Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Server.Reservation

Synopsis

reservationGet :: (MonadLogger m, MonadSeldaPool m) => IdentifierReservation -> SeldaTransactionT m Reservation
reservationList :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> IntervalUnbounded UTCTime -> SeldaTransactionT m [Reservation]
reservationListUser :: (MonadLogger m, MonadSeldaPool m) => IdentifierUser -> IntervalUnbounded UTCTime -> SeldaTransactionT m [Reservation]
reservationCreate :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> IdentifierUser -> IntervalNonDegenerate UTCTime -> SeldaTransactionT m IdentifierReservation
data SqlErrorMensamDeskAlreadyReserved = MkSqlErrorMensamDeskAlreadyReserved
reservationCancel :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierReservation -> SeldaTransactionT m ()
data SqlErrorMensamReservationAlreadyCancelled = MkSqlErrorMensamReservationAlreadyCancelled
data SqlErrorMensamReservationIsInThePast = MkSqlErrorMensamReservationIsInThePast

Documentation

reservationGet :: (MonadLogger m, MonadSeldaPool m) => IdentifierReservation -> SeldaTransactionT m Reservation Source #

reservationList :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> IntervalUnbounded UTCTime -> SeldaTransactionT m [Reservation] Source #

List all reservations of a desk, that overlap with the given time window.

reservationListUser :: (MonadLogger m, MonadSeldaPool m) => IdentifierUser -> IntervalUnbounded UTCTime -> SeldaTransactionT m [Reservation] Source #

List all reservations of a user, that overlap with the given time window.

reservationCreate :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> IdentifierUser -> IntervalNonDegenerate UTCTime -> SeldaTransactionT m IdentifierReservation Source #

data SqlErrorMensamDeskAlreadyReserved Source #

Constructors

MkSqlErrorMensamDeskAlreadyReserved

Instances

Instances details

Exception SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Methods toException :: SqlErrorMensamDeskAlreadyReserved -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamDeskAlreadyReserved # displayException :: SqlErrorMensamDeskAlreadyReserved -> String #
Generic SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Associated Types type Rep SqlErrorMensamDeskAlreadyReserved :: Type -> Type # Methods from :: SqlErrorMensamDeskAlreadyReserved -> Rep SqlErrorMensamDeskAlreadyReserved x # to :: Rep SqlErrorMensamDeskAlreadyReserved x -> SqlErrorMensamDeskAlreadyReserved #
Read SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Methods readsPrec :: Int -> ReadS SqlErrorMensamDeskAlreadyReserved # readList :: ReadS [SqlErrorMensamDeskAlreadyReserved] # readPrec :: ReadPrec SqlErrorMensamDeskAlreadyReserved # readListPrec :: ReadPrec [SqlErrorMensamDeskAlreadyReserved] #
Show SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Methods showsPrec :: Int -> SqlErrorMensamDeskAlreadyReserved -> ShowS # show :: SqlErrorMensamDeskAlreadyReserved -> String # showList :: [SqlErrorMensamDeskAlreadyReserved] -> ShowS #
Eq SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Methods (==) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool # (/=) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool #
Ord SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation Methods compare :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Ordering # (<) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool # (<=) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool # (>) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool # (>=) :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> Bool # max :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved # min :: SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved -> SqlErrorMensamDeskAlreadyReserved #
type Rep SqlErrorMensamDeskAlreadyReserved Source #
Instance details Defined in Mensam.Server.Reservation type Rep SqlErrorMensamDeskAlreadyReserved = D1 ('MetaData "SqlErrorMensamDeskAlreadyReserved" "Mensam.Server.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamDeskAlreadyReserved" 'PrefixI 'False) (U1 :: Type -> Type))

reservationCancel :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierReservation -> SeldaTransactionT m () Source #

data SqlErrorMensamReservationAlreadyCancelled Source #

Constructors

MkSqlErrorMensamReservationAlreadyCancelled

Instances

Instances details

Exception SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Methods toException :: SqlErrorMensamReservationAlreadyCancelled -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamReservationAlreadyCancelled # displayException :: SqlErrorMensamReservationAlreadyCancelled -> String #
Generic SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Associated Types type Rep SqlErrorMensamReservationAlreadyCancelled :: Type -> Type # Methods from :: SqlErrorMensamReservationAlreadyCancelled -> Rep SqlErrorMensamReservationAlreadyCancelled x # to :: Rep SqlErrorMensamReservationAlreadyCancelled x -> SqlErrorMensamReservationAlreadyCancelled #
Read SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Methods readsPrec :: Int -> ReadS SqlErrorMensamReservationAlreadyCancelled # readList :: ReadS [SqlErrorMensamReservationAlreadyCancelled] # readPrec :: ReadPrec SqlErrorMensamReservationAlreadyCancelled # readListPrec :: ReadPrec [SqlErrorMensamReservationAlreadyCancelled] #
Show SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Methods showsPrec :: Int -> SqlErrorMensamReservationAlreadyCancelled -> ShowS # show :: SqlErrorMensamReservationAlreadyCancelled -> String # showList :: [SqlErrorMensamReservationAlreadyCancelled] -> ShowS #
Eq SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Methods (==) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool # (/=) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool #
Ord SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation Methods compare :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Ordering # (<) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool # (<=) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool # (>) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool # (>=) :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> Bool # max :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled # min :: SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled -> SqlErrorMensamReservationAlreadyCancelled #
type Rep SqlErrorMensamReservationAlreadyCancelled Source #
Instance details Defined in Mensam.Server.Reservation type Rep SqlErrorMensamReservationAlreadyCancelled = D1 ('MetaData "SqlErrorMensamReservationAlreadyCancelled" "Mensam.Server.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamReservationAlreadyCancelled" 'PrefixI 'False) (U1 :: Type -> Type))

data SqlErrorMensamReservationIsInThePast Source #

Constructors

MkSqlErrorMensamReservationIsInThePast

Instances

Instances details

Exception SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Methods toException :: SqlErrorMensamReservationIsInThePast -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamReservationIsInThePast # displayException :: SqlErrorMensamReservationIsInThePast -> String #
Generic SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Associated Types type Rep SqlErrorMensamReservationIsInThePast :: Type -> Type # Methods from :: SqlErrorMensamReservationIsInThePast -> Rep SqlErrorMensamReservationIsInThePast x # to :: Rep SqlErrorMensamReservationIsInThePast x -> SqlErrorMensamReservationIsInThePast #
Read SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Methods readsPrec :: Int -> ReadS SqlErrorMensamReservationIsInThePast # readList :: ReadS [SqlErrorMensamReservationIsInThePast] # readPrec :: ReadPrec SqlErrorMensamReservationIsInThePast # readListPrec :: ReadPrec [SqlErrorMensamReservationIsInThePast] #
Show SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Methods showsPrec :: Int -> SqlErrorMensamReservationIsInThePast -> ShowS # show :: SqlErrorMensamReservationIsInThePast -> String # showList :: [SqlErrorMensamReservationIsInThePast] -> ShowS #
Eq SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Methods (==) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool # (/=) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool #
Ord SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation Methods compare :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Ordering # (<) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool # (<=) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool # (>) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool # (>=) :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> Bool # max :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast # min :: SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast -> SqlErrorMensamReservationIsInThePast #
type Rep SqlErrorMensamReservationIsInThePast Source #
Instance details Defined in Mensam.Server.Reservation type Rep SqlErrorMensamReservationIsInThePast = D1 ('MetaData "SqlErrorMensamReservationIsInThePast" "Mensam.Server.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamReservationIsInThePast" 'PrefixI 'False) (U1 :: Type -> Type))