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.