型の紹介型クラスを使用する Ord型クラス、Eq型クラス、Enum型クラスの派生実装、fromEnum関数

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

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON14(型クラスを使用する)、14.10(練習問題)Q14-1の解答を求めてみる。

コード

data SixSidedDice = S1 | S2 | S3 | S4 | S5 | S6 deriving (Enum)

instance Ord SixSidedDice where
  compare s1 s2 = compare (fromEnum s1) (fromEnum s2)

instance Eq SixSidedDice where
  (==) s1 s2 = fromEnum s1 == fromEnum s2

s :: [SixSidedDice]
s = [S1 .. S6]

ops :: [SixSidedDice -> SixSidedDice -> Bool]
ops = [(==), (<), (>)]

bs :: [[[Bool]]]
bs =
  map
    ( \s1 ->
        map
          ( \s2 ->
              map
                (\op -> op s1 s2)
                ops
          )
          s
    )
    s

main :: IO ()
main = do
  print "==, <, >"
  mapM_ print bs

入出力結果(Terminal, Zsh)

% runghc sample1.hs 
"==, <, >"
[[True,False,False],[False,True,False],[False,True,False],[False,True,False],[False,True,False],[False,True,False]]
[[False,False,True],[True,False,False],[False,True,False],[False,True,False],[False,True,False],[False,True,False]]
[[False,False,True],[False,False,True],[True,False,False],[False,True,False],[False,True,False],[False,True,False]]
[[False,False,True],[False,False,True],[False,False,True],[True,False,False],[False,True,False],[False,True,False]]
[[False,False,True],[False,False,True],[False,False,True],[False,False,True],[True,False,False],[False,True,False]]
[[False,False,True],[False,False,True],[False,False,True],[False,False,True],[False,False,True],[True,False,False]]
%