如何在 haskell 中定義無限/循環代數數據類型？

Question

我有一個這樣定義的音符數據類型：

data Note = Ab | A | Bb | B | C | Db | D | Eb | E | F | Gb | G deriving (Eq, Ord)

我怎樣才能使它成為Enum的實例，以便succ G返回Ab ？

Answer 1

您必須自己定義Enum實例：

instance Enum Note where
    fromEnum note = case note of
        Ab -> 0
        A  -> 1
        ...
    toEnum n = case n `mod` 12 of
        0 -> Ab
        1 -> A
        ...

toEnum中的“模 12”部分將循環您的筆記。