mensam-0
Safe HaskellSafe-Inferred
LanguageGHC2021

Mensam.API.Data.Reservation

Documentation

data Reservation Source #

Instances

Instances details
FromJSON Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep Reservation :: Type -> Type #

Read Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToSchema Reservation Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep Reservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep Reservation = D1 ('MetaData "Reservation" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkReservation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reservationId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierReservation) :*: (S1 ('MetaSel ('Just "reservationDesk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierDesk) :*: S1 ('MetaSel ('Just "reservationUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser))) :*: (S1 ('MetaSel ('Just "reservationTimeBegin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: (S1 ('MetaSel ('Just "reservationTimeEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "reservationStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StatusReservation)))))

newtype IdentifierReservation Source #

Instances

Instances details
FromJSON IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep IdentifierReservation :: Type -> Type #

Read IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToPrettyHtml5 IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToPrettyText IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToSchema IdentifierReservation Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep IdentifierReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep IdentifierReservation = D1 ('MetaData "IdentifierReservation" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkIdentifierReservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIdentifierReservation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

data StatusReservation Source #

Instances

Instances details
FromJSON StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Bounded StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Enum StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep StatusReservation :: Type -> Type #

Read StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToSchema StatusReservation Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep StatusReservation Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep StatusReservation = D1 ('MetaData "StatusReservation" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkStatusReservationPlanned" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkStatusReservationCancelled" 'PrefixI 'False) (U1 :: Type -> Type))

data Interval a Source #

Constructors

MkIntervalUnsafe 

Fields

Instances

Instances details
(FromJSON a, Ord a) => FromJSON (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON a => ToJSON (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (Interval a) :: Type -> Type #

Methods

from :: Interval a -> Rep (Interval a) x #

to :: Rep (Interval a) x -> Interval a #

Read a => Read (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Methods

showsPrec :: Int -> Interval a -> ShowS #

show :: Interval a -> String #

showList :: [Interval a] -> ShowS #

Eq a => Eq (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Methods

(==) :: Interval a -> Interval a -> Bool #

(/=) :: Interval a -> Interval a -> Bool #

Ord a => Ord (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Methods

compare :: Interval a -> Interval a -> Ordering #

(<) :: Interval a -> Interval a -> Bool #

(<=) :: Interval a -> Interval a -> Bool #

(>) :: Interval a -> Interval a -> Bool #

(>=) :: Interval a -> Interval a -> Bool #

max :: Interval a -> Interval a -> Interval a #

min :: Interval a -> Interval a -> Interval a #

ToSchema a => ToSchema (Interval a) Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep (Interval a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (Interval a) = D1 ('MetaData "Interval" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkIntervalUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "intervalStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "intervalEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

mkInterval :: Ord a => a -> a -> Maybe (Interval a) Source #

newtype IntervalNonDegenerate a Source #

Instances

Instances details
(FromJSON a, Ord a) => FromJSON (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON a => ToJSON (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (IntervalNonDegenerate a) :: Type -> Type #

Read a => Read (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToSchema a => ToSchema (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep (IntervalNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (IntervalNonDegenerate a) = D1 ('MetaData "IntervalNonDegenerate" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkIntervalNonDegenerateUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntervalNonDegenerate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Interval a))))

data IntervalUnbounded a Source #

Instances

Instances details
(FromJSON a, Ord a) => FromJSON (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON a => ToJSON (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (IntervalUnbounded a) :: Type -> Type #

Read a => Read (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToSchema a => ToSchema (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.Server.OpenApi

type Rep (IntervalUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (IntervalUnbounded a) = D1 ('MetaData "IntervalUnbounded" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkIntervalUnboundedUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "intervalUnboundedStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MaybeUnboundedLow a)) :*: S1 ('MetaSel ('Just "intervalUnboundedEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MaybeUnboundedHigh a))))

newtype IntervalUnboundedNonDegenerate a Source #

Instances

Instances details
(FromJSON a, Ord a) => FromJSON (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

ToJSON a => ToJSON (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Generic (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (IntervalUnboundedNonDegenerate a) :: Type -> Type #

Read a => Read (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (IntervalUnboundedNonDegenerate a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (IntervalUnboundedNonDegenerate a) = D1 ('MetaData "IntervalUnboundedNonDegenerate" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkIntervalUnboundedNonDegenerateUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntervalUnboundedNonDegenerate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntervalUnbounded a))))

data MaybeUnbounded a Source #

Instances

Instances details
Generic (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (MaybeUnbounded a) :: Type -> Type #

Read a => Read (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnbounded a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnbounded a) = D1 ('MetaData "MaybeUnbounded" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkMaybeUnboundedLow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MaybeUnboundedLow a))) :+: C1 ('MetaCons "MkMaybeUnboundedHigh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MaybeUnboundedHigh a))))

data MaybeUnboundedLow a Source #

Instances

Instances details
Generic (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (MaybeUnboundedLow a) :: Type -> Type #

Read a => Read (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnboundedLow a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnboundedLow a) = D1 ('MetaData "MaybeUnboundedLow" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "NothingUnboundedLow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JustUnboundedLow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data MaybeUnboundedHigh a Source #

Instances

Instances details
Generic (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Associated Types

type Rep (MaybeUnboundedHigh a) :: Type -> Type #

Read a => Read (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Show a => Show (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Eq a => Eq (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

Ord a => Ord (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnboundedHigh a) Source # 
Instance details

Defined in Mensam.API.Data.Reservation

type Rep (MaybeUnboundedHigh a) = D1 ('MetaData "MaybeUnboundedHigh" "Mensam.API.Data.Reservation" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "NothingUnboundedHigh" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JustUnboundedHigh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))