| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Aggregate.Seat
Documentation
type NumberOfSeats = Refined (FromTo 1 256) Int #
data AssignableSeat #
Constructors
| UnassignedSeat | |
| AssignedSeat Seat |
Instances
| Show AssignableSeat # | |
Defined in Aggregate.Seat Methods showsPrec :: Int -> AssignableSeat -> ShowS # show :: AssignableSeat -> String # showList :: [AssignableSeat] -> ShowS # | |
| Eq AssignableSeat # | |
Defined in Aggregate.Seat Methods (==) :: AssignableSeat -> AssignableSeat -> Bool # (/=) :: AssignableSeat -> AssignableSeat -> Bool # | |
| Ord AssignableSeat # | |
Defined in Aggregate.Seat Methods compare :: AssignableSeat -> AssignableSeat -> Ordering # (<) :: AssignableSeat -> AssignableSeat -> Bool # (<=) :: AssignableSeat -> AssignableSeat -> Bool # (>) :: AssignableSeat -> AssignableSeat -> Bool # (>=) :: AssignableSeat -> AssignableSeat -> Bool # max :: AssignableSeat -> AssignableSeat -> AssignableSeat # min :: AssignableSeat -> AssignableSeat -> AssignableSeat # | |
| KnownNat sc => Predicate (BoundedSeatNumber sc :: Type) (Bimap Passenger AssignableSeat) # | |
Defined in Aggregate.Assignment Methods validate :: Proxy (BoundedSeatNumber sc) -> Bimap Passenger AssignableSeat -> Maybe RefineException # | |
seatCapacity :: NumberOfSeats -> SomeNat #