コンテキストでの型の操作 Functor型クラス Functor型クラスのコンテキストで関数を使用する
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 27(Functor型クラス)、27.1(Functor型クラスのコンテキストで関数を使用する)、クイックチェック 27-2の解答を求めてみる。
コード
lesson/app/Main.hs
module Main where
import Lib ()
maybeString :: [Maybe String]
maybeString = [Just "abcde", Nothing]
main :: IO ()
main = do
mapM_
(\s -> print (s, fmap reverse s))
maybeString
mapM_
(\s -> print (s, reverse <$> s))
maybeString
入出力結果(Terminal, Zsh)
% stack exec lesson-exe
(Just "abcde",Just "edcba")
(Nothing,Nothing)
(Just "abcde",Just "edcba")
(Nothing,Nothing)
%