Safe Haskell	None
Language	GHC2024

Constraint

Synopsis

Documentation

A non-empty constraint, for containers it means 1+ inhabitants, for uuid it means that it's not zeroed, etc.

Instances details

Predicate NotEmpty UUID #
Instance details Defined in Constraint Methods validate :: Proxy NotEmpty -> UUID -> Maybe RefineException #
KnownNat sc => Predicate NotEmpty (Set (Proposal sc)) #
Instance details Defined in Aggregate.Proposal Methods validate :: Proxy NotEmpty -> Set (Proposal sc) -> Maybe RefineException #
Predicate NotEmpty (Set Reservation) #
Instance details Defined in Aggregate.Reservation Methods validate :: Proxy NotEmpty -> Set Reservation -> Maybe RefineException #

sc defines the upper bound capacity, aka the number of seats, range [1 - sc]

Instances details

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 (SeatCapacity sc :: Type) (Set Reservation) #
Instance details Defined in Aggregate.Reservation Methods validate :: Proxy (SeatCapacity sc) -> Set Reservation -> 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 #

sc upper bound (exclusive) seat number, range [0 - sc)

Instances details

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 #

Generic implementations

Constructors

Instances details

Exception UuidProblem #
Instance details Defined in Constraint Methods toException :: UuidProblem -> SomeException # fromException :: SomeException -> Maybe UuidProblem # displayException :: UuidProblem -> String # backtraceDesired :: UuidProblem -> Bool #
Show UuidProblem #
Instance details Defined in Constraint Methods showsPrec :: Int -> UuidProblem -> ShowS # show :: UuidProblem -> String # showList :: [UuidProblem] -> ShowS #