Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Mensam.API.Data.Reservation
Documentation
data Reservation Source #
Constructors
MkReservation | |
Instances
newtype IdentifierReservation Source #
Constructors
MkIdentifierReservation | |
Fields |
Instances
data StatusReservation Source #
Instances
Constructors
MkIntervalUnsafe | |
Fields
|
Instances
(FromJSON a, Ord a) => FromJSON (Interval a) Source # | |
ToJSON a => ToJSON (Interval a) Source # | |
Generic (Interval a) Source # | |
Read a => Read (Interval a) Source # | |
Show a => Show (Interval a) Source # | |
Eq a => Eq (Interval a) Source # | |
Ord a => Ord (Interval a) Source # | |
Defined in Mensam.API.Data.Reservation | |
ToSchema a => ToSchema (Interval a) Source # | |
Defined in Mensam.Server.OpenApi Methods declareNamedSchema :: Proxy (Interval a) -> Declare (Definitions Schema) NamedSchema Source # | |
type Rep (Interval a) Source # | |
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))) |
newtype IntervalNonDegenerate a Source #
Constructors
MkIntervalNonDegenerateUnsafe | |
Fields |
Instances
data IntervalUnbounded a Source #
Constructors
MkIntervalUnboundedUnsafe | |
Instances
mkIntervalUnbounded :: Ord a => MaybeUnboundedLow a -> MaybeUnboundedHigh a -> Maybe (IntervalUnbounded a) Source #
intervalUnboundedIsDegenerate :: Ord a => IntervalUnbounded a -> Bool Source #
newtype IntervalUnboundedNonDegenerate a Source #
Constructors
MkIntervalUnboundedNonDegenerateUnsafe | |
Instances
data MaybeUnbounded a Source #
Constructors
MkMaybeUnboundedLow (MaybeUnboundedLow a) | |
MkMaybeUnboundedHigh (MaybeUnboundedHigh a) |
Instances
data MaybeUnboundedLow a Source #
Constructors
NothingUnboundedLow | |
JustUnboundedLow a |
Instances
data MaybeUnboundedHigh a Source #
Constructors
NothingUnboundedHigh | |
JustUnboundedHigh a |