Data.Ix

Авторские права	(с) Университет Глазго 2001
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Стабильность	стабильная
Портируемость	портируемая
Безопасный Haskell	Безопасный
Язык	Haskell2010

Класс Ix

class Ord a => Ix a where Источник

Класс Ix используется для отображения непрерывного поддиапазона значений в типе на целые числа. Он используется в основном для индексации массивов (см. пакет array).

Первый аргумент (l,u) каждой из этих операций — пара, определяющая нижнюю и верхнюю границы непрерывного поддиапазона значений.

Реализация имеет право предположить следующие законы о работе этих операций:

• inRange (l,u) i == elem i (range (l,u))
• range (l,u) !! index (l,u) i == i, когда inRange (l,u) i
• map (index (l,u)) (range (l,u))) == [0..rangeSize (l,u)-1]
• rangeSize (l,u) == length (range (l,u))

Вывод экземпляров Ix

Объявления производных экземпляров для класса Ix возможны только для перечислений (т.е. типов данных, имеющих только нульарные конструкторы) и типов данных с единственным конструктором, включая произвольно большие кортежи, составляющие типы которых являются экземплярами Ix.

• Для перечисления нульарные конструкторы предполагаются пронумерованными слева направо с индексами от 0 до n-1 включительно. Это то же нумерация, что и в классе Enum. Например, для типа данных:

       data Colour = Red | Orange | Yellow | Green | Blue | Indigo | Violet

у нас будет:

       range   (Yellow,Blue)        ==  [Yellow,Green,Blue]
       index   (Yellow,Blue) Green  ==  1
       inRange (Yellow,Blue) Red    ==  False

• Для типов данных с единственным конструктором объявления производных экземпляров приведены как показано для кортежей в главе 19, разделе 2 отчета Haskell 2010: https://www.haskell.org/onlinereport/haskell2010/haskellch19.html.