j
k
j a
j l
Is there a shorter way to write the if-then-else part below? if (cmdType cmd) /= (CmdSitError Server) then return $ Just seat_num else return Nothing
return $ if cmdType cmd /= CmdSitError Serv then Just seat_num else Nothing Arjan
Back to the thread
Back to the list
