コンテキストでの型の操作リストモナドとリスト内包リストモナドを使ってリストを生成する guard関数 Control.Monadモジュール

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 32(リストモナドとリスト内包)、32.1(リストモナドを使ってリストを生成する)、guard関数、クイックチェック 32-2の解答を求めてみる。

コード

lesson/app/Main.hs

module Main (main) where

import Lib (myFilter)

main :: IO ()
main = do
  mapM_
    (\f -> print $ myFilter f ([1 .. 10] :: [Int]))
    [even, odd]

lesson/src/Lib.hs

module Lib
  ( myFilter,
  )
where

import Control.Monad (guard)

myFilter :: (a -> Bool) -> [a] -> [a]
myFilter f xs = do
  x <- xs
  guard (f x)
  return x

入出力結果(Terminal, Zsh)

% stack exec lesson-exe
[2,4,6,8,10]
[1,3,5,7,9]
%