{-# LANGUAGE TypeFamilies #-}modulePrioritySync.Internal.Constrained(Constrained(..))whereimportPrioritySync.Internal.UserDataimportPrioritySync.Internal.RoomGroupimportPrioritySync.Internal.ClaimContextimportPrioritySync.Internal.RoomimportPrioritySync.Internal.RoomConstraint-- | Require that all 'RoomConstraint's be satisfied when acquiring a 'Room'.dataConstrainedu=ConstrainedtypeinstanceUserData(Constrainedu)=uinstanceRoomGroup(Constrainedu)whereroomsOf=const[]instance(RoomConstraintu)=>ClaimContext(Constrainedu)wheretypeClaimHandle(Constrainedu)=()approveClaimsEntering_cs=approveClaimscs>>return()approveClaimsExiting_cs=approveClaimscs>>return()waitingAction_()=return()