Index

&&	Extension.Refined
AssignableSeat	Aggregate.Seat
AssignedSeat	Aggregate.Seat
Assignments	Aggregate.Assignment
AssignmentsContainOutOfRangeSeat	Aggregate.Assignment
AssignmentsCorrupt	Aggregate.Assignment
AssignmentsExceedSeatCapacity	Aggregate.Assignment
AssignmentsIsEmpty	Aggregate.Assignment
AssignmentsProblem	Aggregate.Assignment
board	Aggregate.SeatArrangement
Boarding	Aggregate.SeatArrangement
BoardNotAllowedWithUnassignedSeats	Aggregate.SeatArrangement
BoardProblem	Aggregate.SeatArrangement
BoundedSeatNumber	Constraint
CanRegister	Aggregate.SeatArrangement
CanUnregister	Aggregate.SeatArrangement
confirm	Aggregate.SeatArrangement
ConfirmableAssignments	Aggregate.Assignment
Confirming	Aggregate.SeatArrangement
ConfirmProblem	Aggregate.SeatArrangement
ConfirmProposalAssignmentProblem	Aggregate.SeatArrangement
ConfirmProposalAssignmentsOverlap	Aggregate.SeatArrangement
ConfirmProposalNotAvailable	Aggregate.SeatArrangement
FromTo
1 (Type/Class)	Extension.Refined
2 (Data Constructor)	Extension.Refined
headF	Extension.Data
headLeft	Extension.Data
initialise	Aggregate.SeatArrangement
Initialising	Aggregate.SeatArrangement
InitialisingAfterUnregister	Aggregate.SeatArrangement
maximumTotal	Extension.Data
NotEmpty	Constraint
NumberOfPassengers	Aggregate.Reservation
NumberOfSeats	Aggregate.Seat
parseAssignmentsProblem	Aggregate.Assignment
parseProposals	Aggregate.SeatArrangement
parseReservationId	Aggregate.Reservation
parseReservationsProblem	Aggregate.Reservation
parseSomeException	Extension.Refined
partitionConfirmableAssignments	Aggregate.Assignment
Passenger
1 (Type/Class)	Aggregate.Reservation
2 (Data Constructor)	Aggregate.Reservation
passengersOfReservation	Aggregate.Reservation
Predicate	Extension.Refined
Proposal	Aggregate.Proposal
ProposalDoesNotCoverAllReservations	Aggregate.SeatArrangement
ProposalProblem	Aggregate.SeatArrangement
Proposals	Aggregate.Proposal
proposalsForReservation	Aggregate.SeatArrangement
ProposalsForReservationCorrupt	Aggregate.SeatArrangement
ProposalsForReservationNotFound	Aggregate.SeatArrangement
ProposalsForReservationProblem	Aggregate.SeatArrangement
ProposalsIsEmpty	Aggregate.Proposal
ProposalsProblem	Aggregate.Proposal
propose	Aggregate.SeatArrangement
Proposing	Aggregate.SeatArrangement
refine	Extension.Refined
RefineAndException	Extension.Refined
Refined
1 (Type/Class)	Extension.Refined
2 (Data Constructor)	Extension.Refined
RefineException	Extension.Refined
RefineNotException	Extension.Refined
RefineOrException	Extension.Refined
RefineOtherException	Extension.Refined
RefineSomeException	Extension.Refined
RefineXorException	Extension.Refined
register	Aggregate.SeatArrangement
Registering	Aggregate.SeatArrangement
RegisterProblem	Aggregate.SeatArrangement
RegsteringAfterUnregister	Aggregate.SeatArrangement
rerefine	Extension.Refined
Reservation
1 (Type/Class)	Aggregate.Reservation
2 (Data Constructor)	Aggregate.Reservation
ReservationId
1 (Type/Class)	Aggregate.Reservation
2 (Data Constructor)	Aggregate.Reservation
reservationId	Aggregate.Reservation
ReservationIdIsEmpty	Aggregate.Reservation
ReservationIdProblem	Aggregate.Reservation
reservationPassengers	Aggregate.Reservation
Reservations	Aggregate.Reservation
ReservationsCorrupt	Aggregate.Reservation
ReservationsExceedSeatCapacity	Aggregate.Reservation
ReservationsIsEmpty	Aggregate.Reservation
ReservationsProblem	Aggregate.Reservation
Seat	Aggregate.Seat
SeatArrangement	Aggregate.SeatArrangement
SeatArrangementBoarding	Aggregate.SeatArrangement
SeatArrangementConfirming	Aggregate.SeatArrangement
SeatArrangementInitialising	Aggregate.SeatArrangement
SeatArrangementLifecycle	Aggregate.SeatArrangement
SeatArrangementProposing	Aggregate.SeatArrangement
SeatArrangementRegistering	Aggregate.SeatArrangement
SeatCapacity	Constraint
seatCapacity	Aggregate.Seat
sequenceSet	Extension.Data
SomeSeatArrangement
1 (Type/Class)	Aggregate.SeatArrangement
2 (Data Constructor)	Aggregate.SeatArrangement
success	Extension.Refined
throwRefineSomeException	Extension.Refined
UnassignedSeat	Aggregate.Seat
unrefine	Extension.Refined
unregister	Aggregate.SeatArrangement
UnregisterResult	Aggregate.SeatArrangement
UuidIsEmpty	Constraint
UuidProblem	Constraint
validate	Extension.Refined