Safe Haskell	None
Language	GHC2024

Aggregate.Reservation

Synopsis

type NumberOfPassengers = Refined (FromTo 1 256) Int
data ReservationIdProblem = ReservationIdIsEmpty
newtype ReservationId = ReservationId (Refined NotEmpty UUID)
data Reservation = Reservation {
- reservationId :: ReservationId
- reservationPassengers :: NumberOfPassengers
}
type Reservations (sc :: Nat) = Refined (NotEmpty && SeatCapacity sc) (Set Reservation)
data ReservationsProblem
data Passenger = Passenger ReservationId Int
parseReservationId :: UUID -> Either ReservationIdProblem ReservationId
passengersOfReservation :: Reservation -> Set Passenger
parseReservationsProblem :: RefineException -> ReservationsProblem

Documentation

type NumberOfPassengers = Refined (FromTo 1 256) Int #

data ReservationIdProblem #

Constructors

ReservationIdIsEmpty

Instances

Instances details

Exception ReservationIdProblem #
Instance details Defined in Aggregate.Reservation Methods toException :: ReservationIdProblem -> SomeException # fromException :: SomeException -> Maybe ReservationIdProblem # displayException :: ReservationIdProblem -> String # backtraceDesired :: ReservationIdProblem -> Bool #
Show ReservationIdProblem #
Instance details Defined in Aggregate.Reservation Methods showsPrec :: Int -> ReservationIdProblem -> ShowS # show :: ReservationIdProblem -> String # showList :: [ReservationIdProblem] -> ShowS #
Eq ReservationIdProblem #
Instance details Defined in Aggregate.Reservation Methods (==) :: ReservationIdProblem -> ReservationIdProblem -> Bool # (/=) :: ReservationIdProblem -> ReservationIdProblem -> Bool #

newtype ReservationId #

Constructors

ReservationId (Refined NotEmpty UUID)

Instances

Instances details

Show ReservationId #
Instance details Defined in Aggregate.Reservation Methods showsPrec :: Int -> ReservationId -> ShowS # show :: ReservationId -> String # showList :: [ReservationId] -> ShowS #
Eq ReservationId #
Instance details Defined in Aggregate.Reservation Methods (==) :: ReservationId -> ReservationId -> Bool # (/=) :: ReservationId -> ReservationId -> Bool #
Ord ReservationId #
Instance details Defined in Aggregate.Reservation Methods compare :: ReservationId -> ReservationId -> Ordering # (<) :: ReservationId -> ReservationId -> Bool # (<=) :: ReservationId -> ReservationId -> Bool # (>) :: ReservationId -> ReservationId -> Bool # (>=) :: ReservationId -> ReservationId -> Bool # max :: ReservationId -> ReservationId -> ReservationId # min :: ReservationId -> ReservationId -> ReservationId #

data Reservation #

Constructors

Reservation
Fields reservationId :: ReservationId reservationPassengers :: NumberOfPassengers

Instances

Instances details

Show Reservation #
Instance details Defined in Aggregate.Reservation Methods showsPrec :: Int -> Reservation -> ShowS # show :: Reservation -> String # showList :: [Reservation] -> ShowS #
Eq Reservation #
Instance details Defined in Aggregate.Reservation Methods (==) :: Reservation -> Reservation -> Bool # (/=) :: Reservation -> Reservation -> Bool #
Ord Reservation #
Instance details Defined in Aggregate.Reservation Methods compare :: Reservation -> Reservation -> Ordering # (<) :: Reservation -> Reservation -> Bool # (<=) :: Reservation -> Reservation -> Bool # (>) :: Reservation -> Reservation -> Bool # (>=) :: Reservation -> Reservation -> Bool # max :: Reservation -> Reservation -> Reservation # min :: Reservation -> Reservation -> Reservation #
Predicate NotEmpty (Set Reservation) #
Instance details Defined in Aggregate.Reservation Methods validate :: Proxy NotEmpty -> Set Reservation -> Maybe RefineException #
KnownNat sc => Predicate (SeatCapacity sc :: Type) (Set Reservation) #
Instance details Defined in Aggregate.Reservation Methods validate :: Proxy (SeatCapacity sc) -> Set Reservation -> Maybe RefineException #

type Reservations (sc :: Nat) = Refined (NotEmpty && SeatCapacity sc) (Set Reservation) #

data ReservationsProblem #

Constructors

ReservationsIsEmpty
ReservationsExceedSeatCapacity
ReservationsCorrupt Text

Instances

Instances details

Exception ReservationsProblem #
Instance details Defined in Aggregate.Reservation Methods toException :: ReservationsProblem -> SomeException # fromException :: SomeException -> Maybe ReservationsProblem # displayException :: ReservationsProblem -> String # backtraceDesired :: ReservationsProblem -> Bool #
Show ReservationsProblem #
Instance details Defined in Aggregate.Reservation Methods showsPrec :: Int -> ReservationsProblem -> ShowS # show :: ReservationsProblem -> String # showList :: [ReservationsProblem] -> ShowS #
Eq ReservationsProblem #
Instance details Defined in Aggregate.Reservation Methods (==) :: ReservationsProblem -> ReservationsProblem -> Bool # (/=) :: ReservationsProblem -> ReservationsProblem -> Bool #

data Passenger #

Constructors

Passenger ReservationId Int

Instances

Instances details

Show Passenger #
Instance details Defined in Aggregate.Reservation Methods showsPrec :: Int -> Passenger -> ShowS # show :: Passenger -> String # showList :: [Passenger] -> ShowS #
Eq Passenger #
Instance details Defined in Aggregate.Reservation Methods (==) :: Passenger -> Passenger -> Bool # (/=) :: Passenger -> Passenger -> Bool #
Ord Passenger #
Instance details Defined in Aggregate.Reservation Methods compare :: Passenger -> Passenger -> Ordering # (<) :: Passenger -> Passenger -> Bool # (<=) :: Passenger -> Passenger -> Bool # (>) :: Passenger -> Passenger -> Bool # (>=) :: Passenger -> Passenger -> Bool # max :: Passenger -> Passenger -> Passenger # min :: Passenger -> Passenger -> Passenger #
KnownNat sc => Predicate NotEmpty (Set (Proposal sc)) #
Instance details Defined in Aggregate.Proposal Methods validate :: Proxy NotEmpty -> Set (Proposal sc) -> Maybe RefineException #
KnownNat sc => Predicate (BoundedSeatNumber sc :: Type) (Bimap Passenger AssignableSeat) #
Instance details Defined in Aggregate.Assignment Methods validate :: Proxy (BoundedSeatNumber sc) -> Bimap Passenger AssignableSeat -> Maybe RefineException #
KnownNat sc => Predicate (BoundedSeatNumber sc :: Type) (Bimap Passenger Seat) #
Instance details Defined in Aggregate.Assignment Methods validate :: Proxy (BoundedSeatNumber sc) -> Bimap Passenger Seat -> Maybe RefineException #
KnownNat sc => Predicate (SeatCapacity sc :: Type) (Bimap Passenger s) #
Instance details Defined in Aggregate.Assignment Methods validate :: Proxy (SeatCapacity sc) -> Bimap Passenger s -> Maybe RefineException #

parseReservationId :: UUID -> Either ReservationIdProblem ReservationId #

passengersOfReservation :: Reservation -> Set Passenger #

Create passengers from reservation

parseReservationsProblem :: RefineException -> ReservationsProblem #

Parse RefineException to ReservationsProblem, falls back to ReservationsCorrupt