Data.Ix

Авторские права	(c) Университет Глазго 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.