Access CRegisterR refactored again
This commit is contained in:
parent
36813d3717
commit
1eb751b5f0
@ -473,12 +473,11 @@ tagAccessPredicate AuthTime = APDB $ \route _ -> case route of
|
|||||||
case mbc of
|
case mbc of
|
||||||
(Just (Entity _ Course{courseRegisterFrom, courseRegisterTo}))
|
(Just (Entity _ Course{courseRegisterFrom, courseRegisterTo}))
|
||||||
| not registered
|
| not registered
|
||||||
, Just regFrom <- courseRegisterFrom -- Nothing = no registration
|
, maybe False (now >=) courseRegisterFrom -- Nothing => no registration allowed
|
||||||
, regFrom <= now
|
, maybe True (now <=) courseRegisterTo -> return Authorized
|
||||||
, maybe True (now <=) courseRegisterTo -> return Authorized
|
|
||||||
(Just (Entity _ Course{courseDeregisterUntil}))
|
(Just (Entity _ Course{courseDeregisterUntil}))
|
||||||
| registered
|
| registered
|
||||||
, maybe True (now <=) courseDeregisterUntil -> return Authorized
|
, maybe True (now <=) courseDeregisterUntil -> return Authorized
|
||||||
_other -> unauthorizedI MsgUnauthorizedCourseTime
|
_other -> unauthorizedI MsgUnauthorizedCourseTime
|
||||||
|
|
||||||
MessageR cID -> maybeT (unauthorizedI MsgUnauthorizedSystemMessageTime) $ do
|
MessageR cID -> maybeT (unauthorizedI MsgUnauthorizedSystemMessageTime) $ do
|
||||||
|
|||||||
Reference in New Issue
Block a user