計算機科学のブログ

型の紹介 - 型クラスを使用する - Enum、Ord、Eq、派生実装、定義

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

コード

sample.hs

import Distribution.Simple (UserHooks(instHook))
main :: IO ()
main = do
  print $ S2 < S3
  print $ S5 > S4

data SixSideDie = S1 | S2 | S3 | S4 | S5 | S6 deriving Enum

instance Eq SixSideDie where
    (==) :: SixSideDie -> SixSideDie -> Bool
    (==) s1 s2 = fromEnum s1 == fromEnum s2

instance Ord SixSideDie where
    compare :: SixSideDie -> SixSideDie -> Ordering
    compare s1 s2 = compare (fromEnum s1) (fromEnum s2)

入出力結果(Terminal, Zsh)

% runghc sample.hs 
True
True
%