Data.Ix

Авторские права	(c) Университет Глазго 2001
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддерживающий	libraries@haskell.org
Устойчивость	стабильная
Переносимость	переносимая
Safe 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.