計算機科学のブログ

型の紹介 型クラスを使用する Ordを実装する、compareメソッド、パターンの記述

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 14(型クラスを使用する)、14.5(Ordを実装する)のクイックチェック14-3の解答を求めてみる。

コード

data SixSideDie = S1 | S2 | S3 | S4 | S5 | S6 deriving (Eq)

instance Ord SixSideDie where
    compare S4 S4 = EQ
    compare S4 _ = GT
    compare _ S4 = LT
    compare _ _ = error "error"

入出力結果(Terminal, Zsh)

% ghci
GHCi, version 8.10.4: https://www.haskell.org/ghc/  :? for help
macro 'doc' overwrites builtin command.  Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /.../.ghc/ghci.conf
Prelude
λ> :load sample03
[1 of 1] Compiling Main             ( sample03.hs, interpreted )
Ok, one module loaded.
(0.05 secs,)
*Main
λ> S4 < S4
False
it :: Bool
(0.04 secs, 65,640 bytes)
*Main
λ> S4 < S3
False
it :: Bool
(0.00 secs, 62,448 bytes)
*Main
λ> S4 > S3
True
it :: Bool
(0.00 secs, 62,072 bytes)
*Main
λ> S4 == S4
True
it :: Bool
(0.00 secs, 61,728 bytes)
*Main
λ> S4 < S2
False
it :: Bool
(0.00 secs, 62,448 bytes)
*Main
λ> S4 > S2
True
it :: Bool
(0.00 secs, 61,736 bytes)
*Main
λ> S4 == S1
False
it :: Bool
(0.00 secs, 62,416 bytes)
*Main
λ> S1 < S2
*** Exception: error
CallStack (from HasCallStack):
  error, called at sample03.hs:7:19 in main:Main
*Main
λ> :quit
Leaving GHCi.
%