アクセス「データ」の次の要素が

Question

私はどのように私は、暗黙的にその前の指定された要素にアクセスすることができ、このデータにdata MonthData = Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec deriving (Eq, Show, Enum, Ord)

を定義していますか？

たとえば、私は月を持っていると私は明示的にを入力せずに2月にアクセスする2月

乾杯

Answer 1

あなたはEnumインスタンスを推測するようにコンパイラに尋ねたので、

>>> :t succ 
succ :: Enum a => a -> a 
>>> succ Jan 
Feb 

ただし、

>>> succ Dec 
*** Exception: succ{MonthData}: tried to take `succ' of last tag in enumeration 

Answer 2

Enumのクラス機能は、succです。