Haskell - コンテキストでの型の操作 - do表記を使ってMonadを扱いやすくする - do表記を使って同じコードを異なるコンテキストで再利用する - Listコンテキスト

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT5(コンテキストでの型の操作)、LESSON 31(do表記を使ってMonadを扱いやすくする)、31.2(do表記を使って同じコードを異なるコンテキストで再利用する)、クイックチェック 31-5の解答を求めてみる。

コード

sample5.hs

main :: IO ()
main = do
  print $ assessCandidateList []

data Grade = F | D | C | B | A deriving (Eq, Ord, Enum, Show, Read)
data Degree = HS | BA | MS | PhD deriving (Eq, Ord, Enum, Show, Read)
data Candidate = Candidate {
    candidateId :: Int,
    codeReview :: Grade,
    cultureFit :: Grade,
    education :: Degree
} deriving Show

viable :: Candidate -> Bool
viable candidate = and tests
    where passedCoding = codeReview candidate > B
          passedCultureFit = cultureFit candidate > C
          educationMin = education candidate >= MS
          tests = [passedCoding, passedCultureFit, educationMin]
-- 空のリストに対処する
assessCandidateList :: [Candidate] -> [String]
assessCandidateList candidates = do
  candidate <- candidates
  let passed = viable candidate
  let statement =
        if passed
          then "passed"
          else "failed"
  return statement

入出力結果(Terminal, Zsh)

% runghc sample5.hs 
[]
%