GHC.Ix

Авторские права	(c) Университет Глазго 1994-2000
Лицензия	см. libraries/base/LICENSE
Поддерживающий	cvs-ghc@haskell.org
Стабильность	внутренняя
Переносимость	непереносимая (расширения GHC)
Безопасный Haskell	Нет
Язык	Haskell2010

Описание

Реализация класса типов Ix в GHC.

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))

Минимальное полное определение

range, (index | unsafeIndex), inRange

Методы

range :: (a, a) -> [a] Исходный код

Список значений в поддиапазоне, определенном парой границ.

index :: (a, a) -> a -> Int Исходный код

Позиция индекса в поддиапазоне.

unsafeIndex :: (a, a) -> a -> Int Исходный код

Аналогично index, но без проверки, что значение находится в диапазоне.

inRange :: (a, a) -> a -> Bool Исходный код

Возвращает True заданный индекс находится в диапазоне, определенном парой границ.

rangeSize :: (a, a) -> Int Исходный код

Размер поддиапазона, определенного парой границ.

unsafeRangeSize :: (a, a) -> Int Исходный код

Как rangeSize, но без проверки, что верхняя граница находится в диапазоне.

Экземпляры

Подробности об экземплярах

Ix Bool	С версии: base-2.1
Подробности об экземпляре Определено в GHC.Ix Методы range :: (Bool, Bool) -> [Bool] Источник index :: (Bool, Bool) -> Bool -> Int Источник unsafeIndex :: (Bool, Bool) -> Bool -> Int Источник inRange :: (Bool, Bool) -> Bool -> Bool Источник rangeSize :: (Bool, Bool) -> Int Источник unsafeRangeSize :: (Bool, Bool) -> Int Источник
Ix Char	С версии: base-2.1
Подробности об экземпляре Определено в GHC.Ix Методы range :: (Char, Char) -> [Char] Источник index :: (Char, Char) -> Char -> Int Источник unsafeIndex :: (Char, Char) -> Char -> Int Источник inRange :: (Char, Char) -> Char -> Bool Источник rangeSize :: (Char, Char) -> Int Источник unsafeRangeSize :: (Char, Char) -> Int Источник
Ix Int	С версии: base-2.1
Подробности об экземпляре Определено в GHC.Ix Методы range :: (Int, Int) -> [Int] Источник index :: (Int, Int) -> Int -> Int Источник unsafeIndex :: (Int, Int) -> Int -> Int Источник inRange :: (Int, Int) -> Int -> Bool Источник rangeSize :: (Int, Int) -> Int Источник unsafeRangeSize :: (Int, Int) -> Int Источник
Ix Int8	С версии: base-2.1
Подробности об экземпляре Определено в GHC.Int Методы range :: (Int8, Int8) -> [Int8] Источник index :: (Int8, Int8) -> Int8 -> Int Источник unsafeIndex :: (Int8, Int8) -> Int8 -> Int Источник inRange :: (Int8, Int8) -> Int8 -> Bool Источник rangeSize :: (Int8, Int8) -> Int Источник unsafeRangeSize :: (Int8, Int8) -> Int Источник
Ix Int16	С версии: base-2.1

Instance details Определено в GHC.Int Методы range :: (Int16, Int16) -> [Int16] Source index :: (Int16, Int16) -> Int16 -> Int Source unsafeIndex :: (Int16, Int16) -> Int16 -> Int Source inRange :: (Int16, Int16) -> Int16 -> Bool Source rangeSize :: (Int16, Int16) -> Int Source unsafeRangeSize :: (Int16, Int16) -> Int Source
Ix Int32	Since: base-2.1
Instance details Определено в GHC.Int Методы range :: (Int32, Int32) -> [Int32] Source index :: (Int32, Int32) -> Int32 -> Int Source unsafeIndex :: (Int32, Int32) -> Int32 -> Int Source inRange :: (Int32, Int32) -> Int32 -> Bool Source rangeSize :: (Int32, Int32) -> Int Source unsafeRangeSize :: (Int32, Int32) -> Int Source
Ix Int64	Since: base-2.1
Instance details Определено в GHC.Int Методы range :: (Int64, Int64) -> [Int64] Source index :: (Int64, Int64) -> Int64 -> Int Source unsafeIndex :: (Int64, Int64) -> Int64 -> Int Source inRange :: (Int64, Int64) -> Int64 -> Bool Source rangeSize :: (Int64, Int64) -> Int Source unsafeRangeSize :: (Int64, Int64) -> Int Source
Ix Integer	Since: base-2.1
Instance details Определено в GHC.Ix Методы range :: (Integer, Integer) -> [Integer] Source index :: (Integer, Integer) -> Integer -> Int Source unsafeIndex :: (Integer, Integer) -> Integer -> Int Source inRange :: (Integer, Integer) -> Integer -> Bool Source rangeSize :: (Integer, Integer) -> Int Source unsafeRangeSize :: (Integer, Integer) -> Int Source
Ix Natural	Since: base-4.8.0.0

Подробные сведения об экземпляре Определено в GHC.Ix Методы range :: (Natural, Natural) -> [Natural] Исходный код index :: (Natural, Natural) -> Natural -> Int Исходный код unsafeIndex :: (Natural, Natural) -> Natural -> Int Исходный код inRange :: (Natural, Natural) -> Natural -> Bool Исходный код rangeSize :: (Natural, Natural) -> Int Исходный код unsafeRangeSize :: (Natural, Natural) -> Int Исходный код
Ix Ordering	С момента выпуска: base-2.1
Подробные сведения об экземпляре Определено в GHC.Ix Методы range :: (Ordering, Ordering) -> [Ordering] Исходный код index :: (Ordering, Ordering) -> Ordering -> Int Исходный код unsafeIndex :: (Ordering, Ordering) -> Ordering -> Int Исходный код inRange :: (Ordering, Ordering) -> Ordering -> Bool Исходный код rangeSize :: (Ordering, Ordering) -> Int Исходный код unsafeRangeSize :: (Ordering, Ordering) -> Int Исходный код
Ix Word	С момента выпуска: base-4.6.0.0
Подробные сведения об экземпляре Определено в GHC.Ix Методы range :: (Word, Word) -> [Word] Исходный код index :: (Word, Word) -> Word -> Int Исходный код unsafeIndex :: (Word, Word) -> Word -> Int Исходный код inRange :: (Word, Word) -> Word -> Bool Исходный код rangeSize :: (Word, Word) -> Int Исходный код unsafeRangeSize :: (Word, Word) -> Int Исходный код
Ix Word8	С момента выпуска: base-2.1
Подробные сведения об экземпляре Определено в GHC.Word Методы range :: (Word8, Word8) -> [Word8] Исходный код index :: (Word8, Word8) -> Word8 -> Int Исходный код unsafeIndex :: (Word8, Word8) -> Word8 -> Int Исходный код inRange :: (Word8, Word8) -> Word8 -> Bool Исходный код rangeSize :: (Word8, Word8) -> Int Исходный код unsafeRangeSize :: (Word8, Word8) -> Int Исходный код
Ix Word16	С момента выпуска: base-2.1

Подробные сведения об экземпляре Определено в GHC.Word Методы range :: (Word16, Word16) -> [Word16] Источник index :: (Word16, Word16) -> Word16 -> Int Источник unsafeIndex :: (Word16, Word16) -> Word16 -> Int Источник inRange :: (Word16, Word16) -> Word16 -> Bool Источник rangeSize :: (Word16, Word16) -> Int Источник unsafeRangeSize :: (Word16, Word16) -> Int Источник
Ix Word32	С момента: base-2.1
Подробные сведения об экземпляре Определено в GHC.Word Методы range :: (Word32, Word32) -> [Word32] Источник index :: (Word32, Word32) -> Word32 -> Int Источник unsafeIndex :: (Word32, Word32) -> Word32 -> Int Источник inRange :: (Word32, Word32) -> Word32 -> Bool Источник rangeSize :: (Word32, Word32) -> Int Источник unsafeRangeSize :: (Word32, Word32) -> Int Источник
Ix Word64	С момента: base-2.1
Подробные сведения об экземпляре Определено в GHC.Word Методы range :: (Word64, Word64) -> [Word64] Источник index :: (Word64, Word64) -> Word64 -> Int Источник unsafeIndex :: (Word64, Word64) -> Word64 -> Int Источник inRange :: (Word64, Word64) -> Word64 -> Bool Источник rangeSize :: (Word64, Word64) -> Int Источник unsafeRangeSize :: (Word64, Word64) -> Int Источник
Ix ()	С момента: base-2.1
Подробные сведения об экземпляре Определено в GHC.Ix Методы range :: ((), ()) -> [()] Источник index :: ((), ()) -> () -> Int Источник unsafeIndex :: ((), ()) -> () -> Int Источник inRange :: ((), ()) -> () -> Bool Источник rangeSize :: ((), ()) -> Int Источник unsafeRangeSize :: ((), ()) -> Int Источник
Ix GeneralCategory	С момента: base-2.1

Подробности экземпляра Определено в GHC.Unicode Методы range :: (Категория символа, Категория символа) -> [Категория символа] Исходный код index :: (Категория символа, Категория символа) -> Категория символа -> Целое Исходный код unsafeIndex :: (Категория символа, Категория символа) -> Категория символа -> Целое Исходный код inRange :: (Категория символа, Категория символа) -> Категория символа -> Булево Исходный код rangeSize :: (Категория символа, Категория символа) -> Целое Исходный код unsafeRangeSize :: (Категория символа, Категория символа) -> Целое Исходный код
Ix Режим ввода-вывода	С момента: base-4.2.0.0
Подробности экземпляра Определено в GHC.IO.IOMode Методы range :: (Режим ввода-вывода, Режим ввода-вывода) -> [Режим ввода-вывода] Исходный код index :: (Режим ввода-вывода, Режим ввода-вывода) -> Режим ввода-вывода -> Целое Исходный код unsafeIndex :: (Режим ввода-вывода, Режим ввода-вывода) -> Режим ввода-вывода -> Целое Исходный код inRange :: (Режим ввода-вывода, Режим ввода-вывода) -> Режим ввода-вывода -> Булево Исходный код rangeSize :: (Режим ввода-вывода, Режим ввода-вывода) -> Целое Исходный код unsafeRangeSize :: (Режим ввода-вывода, Режим ввода-вывода) -> Целое Исходный код
Ix Определённая жёсткость	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Generics Методы range :: (Определённая жёсткость, Определённая жёсткость) -> [Определённая жёсткость] Исходный код index :: (Определённая жёсткость, Определённая жёсткость) -> Определённая жёсткость -> Целое Исходный код unsafeIndex :: (Определённая жёсткость, Определённая жёсткость) -> Определённая жёсткость -> Целое Исходный код inRange :: (Определённая жёсткость, Определённая жёсткость) -> Определённая жёсткость -> Булево Исходный код rangeSize :: (Определённая жёсткость, Определённая жёсткость) -> Целое Исходный код unsafeRangeSize :: (Определённая жёсткость, Определённая жёсткость) -> Целое Исходный код
Ix Строгость источника	С момента: base-4.9.0.0

Подробности экземпляра Определено в GHC.Generics Методы range :: (SourceStrictness, SourceStrictness) -> [SourceStrictness] Исходный код index :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int Исходный код unsafeIndex :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Int Исходный код inRange :: (SourceStrictness, SourceStrictness) -> SourceStrictness -> Bool Исходный код rangeSize :: (SourceStrictness, SourceStrictness) -> Int Исходный код unsafeRangeSize :: (SourceStrictness, SourceStrictness) -> Int Исходный код
Ix SourceUnpackedness	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Generics Методы range :: (SourceUnpackedness, SourceUnpackedness) -> [SourceUnpackedness] Исходный код index :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int Исходный код unsafeIndex :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Int Исходный код inRange :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Bool Исходный код rangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int Исходный код unsafeRangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Int Исходный код
Ix Associativity	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Generics Методы range :: (Associativity, Associativity) -> [Associativity] Исходный код index :: (Associativity, Associativity) -> Associativity -> Int Исходный код unsafeIndex :: (Associativity, Associativity) -> Associativity -> Int Исходный код inRange :: (Associativity, Associativity) -> Associativity -> Bool Исходный код rangeSize :: (Associativity, Associativity) -> Int Исходный код unsafeRangeSize :: (Associativity, Associativity) -> Int Исходный код
Ix SeekMode	С версии: base-4.2.0.0

Подробности экземпляра Определено в GHC.IO.Device Методы range :: (SeekMode, SeekMode) -> [SeekMode] Исходный код index :: (SeekMode, SeekMode) -> SeekMode -> Int Исходный код unsafeIndex :: (SeekMode, SeekMode) -> SeekMode -> Int Исходный код inRange :: (SeekMode, SeekMode) -> SeekMode -> Bool Исходный код rangeSize :: (SeekMode, SeekMode) -> Int Исходный код unsafeRangeSize :: (SeekMode, SeekMode) -> Int Исходный код
Ix Void	С момента: base-4.8.0.0
Подробности экземпляра Определено в Data.Void Методы range :: (Void, Void) -> [Void] Исходный код index :: (Void, Void) -> Void -> Int Исходный код unsafeIndex :: (Void, Void) -> Void -> Int Исходный код inRange :: (Void, Void) -> Void -> Bool Исходный код rangeSize :: (Void, Void) -> Int Исходный код unsafeRangeSize :: (Void, Void) -> Int Исходный код
Ix a => Ix (Down a)	С момента: base-4.14.0.0
Подробности экземпляра Определено в Data.Ord Методы range :: (Down a, Down a) -> [Down a] Исходный код index :: (Down a, Down a) -> Down a -> Int Исходный код unsafeIndex :: (Down a, Down a) -> Down a -> Int Исходный код inRange :: (Down a, Down a) -> Down a -> Bool Исходный код rangeSize :: (Down a, Down a) -> Int Исходный код unsafeRangeSize :: (Down a, Down a) -> Int Исходный код
Ix a => Ix (Identity a)	С момента: base-4.9.0.0

Подробности экземпляра Определено в Data.Functor.Identity Методы range :: (Identity a, Identity a) -> [Identity a] Исходный код index :: (Identity a, Identity a) -> Identity a -> Int Исходный код unsafeIndex :: (Identity a, Identity a) -> Identity a -> Int Исходный код inRange :: (Identity a, Identity a) -> Identity a -> Bool Исходный код rangeSize :: (Identity a, Identity a) -> Int Исходный код unsafeRangeSize :: (Identity a, Identity a) -> Int Исходный код
(Ix a, Ix b) => Ix (a, b)	С версии: base-2.1
Подробности экземпляра Определено в GHC.Ix Методы range :: ((a, b), (a, b)) -> [(a, b)] Исходный код index :: ((a, b), (a, b)) -> (a, b) -> Int Исходный код unsafeIndex :: ((a, b), (a, b)) -> (a, b) -> Int Исходный код inRange :: ((a, b), (a, b)) -> (a, b) -> Bool Исходный код rangeSize :: ((a, b), (a, b)) -> Int Исходный код unsafeRangeSize :: ((a, b), (a, b)) -> Int Исходный код
Ix (Proxy s)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Proxy Методы range :: (Proxy s, Proxy s) -> [Proxy s] Исходный код index :: (Proxy s, Proxy s) -> Proxy s -> Int Исходный код unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int Исходный код inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Исходный код rangeSize :: (Proxy s, Proxy s) -> Int Исходный код unsafeRangeSize :: (Proxy s, Proxy s) -> Int Исходный код
(Ix a1, Ix a2, Ix a3) => Ix (a1, a2, a3)	С версии: base-2.1
Подробности экземпляра Определено в GHC.Ix Методы range :: ((a1, a2, a3), (a1, a2, a3)) -> [(a1, a2, a3)] Исходный код index :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Int Исходный код unsafeIndex :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Int Исходный код inRange :: ((a1, a2, a3), (a1, a2, a3)) -> (a1, a2, a3) -> Bool Исходный код rangeSize :: ((a1, a2, a3), (a1, a2, a3)) -> Int Исходный код unsafeRangeSize :: ((a1, a2, a3), (a1, a2, a3)) -> Int Исходный код
Ix a => Ix (Const a b)	С версии: base-4.9.0.0

Подробности экземпляра Определено в Data.Functor.Const Методы range :: (Const a b, Const a b) -> [Const a b] Исходный код index :: (Const a b, Const a b) -> Const a b -> Int Исходный код unsafeIndex :: (Const a b, Const a b) -> Const a b -> Int Исходный код inRange :: (Const a b, Const a b) -> Const a b -> Bool Исходный код rangeSize :: (Const a b, Const a b) -> Int Исходный код unsafeRangeSize :: (Const a b, Const a b) -> Int Исходный код
(Ix a1, Ix a2, Ix a3, Ix a4) => Ix (a1, a2, a3, a4)	С: base-2.1
Подробности экземпляра Определено в GHC.Ix Методы range :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> [(a1, a2, a3, a4)] Исходный код index :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Int Исходный код unsafeIndex :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Int Исходный код inRange :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> (a1, a2, a3, a4) -> Bool Исходный код rangeSize :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> Int Исходный код unsafeRangeSize :: ((a1, a2, a3, a4), (a1, a2, a3, a4)) -> Int Исходный код
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5) => Ix (a1, a2, a3, a4, a5)	С: base-2.1
Подробности экземпляра Определено в GHC.Ix Методы range :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> [(a1, a2, a3, a4, a5)] Исходный код index :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Int Исходный код unsafeIndex :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Int Исходный код inRange :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> (a1, a2, a3, a4, a5) -> Bool Исходный код rangeSize :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> Int Исходный код unsafeRangeSize :: ((a1, a2, a3, a4, a5), (a1, a2, a3, a4, a5)) -> Int Исходный код

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/GHC-Ix.html