Доступ следующий элемент данных «»

Question

Я определил эти данные data MonthData = Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec deriving (Eq, Show, Enum, Ord)

Как я могу неявно доступ к элементу с учетом его предыдущего?

Например, у меня есть Ян и я хочу, чтобы получить доступ к фев без явного набрав Фев

Приветствия

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.