Đơn giản hóa biểu thức Có lẽ

Question

Tôi có đoạn code sau, và tôi nghĩ rằng đó là xấu xí:

loginCheck = do 
    ml <- getPostParam "login" -- ml and mp :: Maybe ByteString 
    mp <- getPostParam "password" 
    if isJust ml && isJust mp 
    then authAs (fromJust ml) (fromJust mp) 
    else render "Msg" [("text", "Form incomplete")] 

Mã này có vẻ là rất cấp bách. Tôi có thể đơn giản hóa nó bằng cách nào đó?

Answer 1

Như những người khác đã gợi ý, Applicative có thể được tốt đẹp ở đây, cũng như MaybeT tùy thuộc vào ngữ cảnh. Điều thứ ba bạn có thể lưu ý là lỗi khớp mẫu trong một cuộc gọi ràng buộc chặn dofail.

Đây là những gì tôi sẽ làm:

loginCheck = do 
    ml <- getPostParam "login" 
    mp <- getPostParam "password" 
    fromMaybe (render "Msg" [("text", "Form incomplete")]) $ 
      authAs <$> ml <*> mp 

Hoặc một giải pháp với MaybeT, mặc dù một với một giá trị trả về khác nhau (bối cảnh một lần nữa hơn có thể hiển thị này là một cách tiếp cận tốt hay không):

getPostParamT = MaybeT . getPostParam 
loginCheckT = do 
    ml <- getPostParamT "login" -- ml and mp :: Maybe ByteString 
    mp <- getPostParamT "password" 
    liftIO $ authAs ml mp 
    <|> (liftIO $ render "Msg" [("text", "Form incomplete")]) 

... thực sự ở trên là khá hokey bây giờ mà tôi nhìn vào nó

Answer 2

Làm thế nào về:

loginCheck = do 
    ml <- getPostParam "login" -- ml and mp :: Maybe ByteString 
    mp <- getPostParam "password" 
    case (ml,mp) of 
    (Just l, Just p) -> authAs l p 
    _ -> render "Msg" [("text", "Form incomplete")] 

Mã sử ​​dụng isJust và/hoặc fromJust là gần như luôn luôn phong cách xấu và hơi nguy hiểm nếu bạn nhận được séc isJust trước fromJust sai.

này có thể được cải thiện bằng

• mẫu phù hợp, như ở trên. Nhưng nếu điều này được lồng vào nhau thì nó trở nên xấu xí.
• Kết hợp, như từMaybe có thể gọn gàng hơn.
• Sử dụng Có thể (và Có thể) khi Áp dụng hoặc Monad có thể tránh được việc làm xấu xí.

Answer 3

loginCheck = case (,) <$> getPostParam "login" <*> getPostParam "password" of 
    Just (l, p) -> authAs l p 
    Nothing  -> render "Msg" [("text", "Form incomplete")] 

có lẽ? Không.

loginCheck = do 
    x <- (,) <$> getPostParam "login" <*> getPostParam "password" of 
    case x of 
    Just (l, p) -> authAs l p 
    Nothing  -> render "Msg" [("text", "Form incomplete")] 

Làm thế nào gây phiền nhiễu.

Answer 4

Không chắc nếu điều này là một sự cải tiến ở đây, nhưng có lẽ trong một số trường hợp ...

import Control.Monad 
import Control.Monad.Trans.Class 
import Control.Monad.Trans.Maybe 

getPostParam' = MaybeT . getPostParam 
render' x y = lift (render x y) 
authAs' x y = lift (authAs x y) 

loginCheck = runMaybeT $ 
     go `mplus` render' "Msg" [("text", "Form incomplete")] 
    where 
     go = do 
      ml <- getPostParam' "login" 
      mp <- getPostParam' "password" 
      authAs' ml mp 

Answer 5

loginCheck = do 
    [ml,mp] <- mapM getPostParam ["login","password"] 
    case liftM2 authAs ml mp of 
    Nothing   -> render "Msg" [("text", "Form incomplete")] 
    Just authorize -> authorize 

này có vẻ kỳ lạ bởi vì nó phù hợp với mô hình trên Maybe (IO()), nhưng điều này là hoàn toàn âm thanh. Hoặc, sử dụng maybe:

loginCheque = mapM getPostParam ["login","password"] >>= \[ml,mp] -> 
       maybe message id (liftM2 authAs ml mp) 
    where message = render "Msg" [("text", "Form incomplete")] 

Answer 6

loginCheck = do 
    res <- return$ getPostParam "login" >>= \l -> -- ml and mp :: Maybe ByteString 
        getPostParam "password" >>= \p-> 
        Just (l,p) 
    case res of Nothing -> render "Msg" [("text", "Form incomplete")] 
       (Just (l,p)) -> authAs l p