型の紹介型クラスを使用するよい派生・悪い派生 derivingキーワード、Eq型クラス、Ord型クラス、データコンストラクタ、順番

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

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON14(型クラスを使用する)、14.6(よい派生・悪い派生)、クイックチェック14-4の解答を求めてみる。

コード

data SixSidedDice
  = S1
  | S2
  | S3
  | S4
  | S5
  | S6
  deriving (Eq, Ord)

s :: [SixSidedDice]
s = [S1, S2, S3, S4, S5, S6]

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 sample04.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]]
%