GHC.Arr

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

Содержание

Небезопасные операции

Описание

Реализация массивов в GHC.

API этого модуля нестабилен и не предназначен для использования широкой публикой. Если вам непременно нужно от него зависеть, обязательно задайте строгую верхнюю границу версии, например base < 4.X вместо base < 5, поскольку интерфейс может быстро меняться без особых предупреждений.

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 Void Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Ix Методы 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 CBool Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CBool, CBool) -> [CBool] Исходный код index :: (CBool, CBool) -> CBool -> Int Исходный код unsafeIndex :: (CBool, CBool) -> CBool -> Int Исходный код inRange :: (CBool, CBool) -> CBool -> Bool Исходный код rangeSize :: (CBool, CBool) -> Int Исходный код unsafeRangeSize :: (CBool, CBool) -> Int Исходный код
Ix CChar Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CChar, CChar) -> [CChar] Исходный код index :: (CChar, CChar) -> CChar -> Int Исходный код unsafeIndex :: (CChar, CChar) -> CChar -> Int Исходный код inRange :: (CChar, CChar) -> CChar -> Bool Исходный код rangeSize :: (CChar, CChar) -> Int Исходный код unsafeRangeSize :: (CChar, CChar) -> Int Исходный код
Ix CInt Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CInt, CInt) -> [CInt] Исходный код index :: (CInt, CInt) -> CInt -> Int Исходный код unsafeIndex :: (CInt, CInt) -> CInt -> Int Исходный код inRange :: (CInt, CInt) -> CInt -> Bool Исходный код rangeSize :: (CInt, CInt) -> Int Исходный код unsafeRangeSize :: (CInt, CInt) -> Int Исходный код
Ix CIntMax Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CIntMax, CIntMax) -> [CIntMax] Исходный код index :: (CIntMax, CIntMax) -> CIntMax -> Int Исходный код unsafeIndex :: (CIntMax, CIntMax) -> CIntMax -> Int Исходный код inRange :: (CIntMax, CIntMax) -> CIntMax -> Bool Исходный код rangeSize :: (CIntMax, CIntMax) -> Int Исходный код unsafeRangeSize :: (CIntMax, CIntMax) -> Int Исходный код
Ix CIntPtr Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CIntPtr, CIntPtr) -> [CIntPtr] Исходный код index :: (CIntPtr, CIntPtr) -> CIntPtr -> Int Исходный код unsafeIndex :: (CIntPtr, CIntPtr) -> CIntPtr -> Int Исходный код inRange :: (CIntPtr, CIntPtr) -> CIntPtr -> Bool Исходный код rangeSize :: (CIntPtr, CIntPtr) -> Int Исходный код unsafeRangeSize :: (CIntPtr, CIntPtr) -> Int Исходный код
Ix CLLong Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CLLong, CLLong) -> [CLLong] Исходный код index :: (CLLong, CLLong) -> CLLong -> Int Исходный код unsafeIndex :: (CLLong, CLLong) -> CLLong -> Int Исходный код inRange :: (CLLong, CLLong) -> CLLong -> Bool Исходный код rangeSize :: (CLLong, CLLong) -> Int Исходный код unsafeRangeSize :: (CLLong, CLLong) -> Int Исходный код
Ix CLong Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CLong, CLong) -> [CLong] Исходный код index :: (CLong, CLong) -> CLong -> Int Исходный код unsafeIndex :: (CLong, CLong) -> CLong -> Int Исходный код inRange :: (CLong, CLong) -> CLong -> Bool Исходный код rangeSize :: (CLong, CLong) -> Int Исходный код unsafeRangeSize :: (CLong, CLong) -> Int Исходный код
Ix CPtrdiff Исходный код
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CPtrdiff, CPtrdiff) -> [CPtrdiff] Исходный код index :: (CPtrdiff, CPtrdiff) -> CPtrdiff -> Int Исходный код unsafeIndex :: (CPtrdiff, CPtrdiff) -> CPtrdiff -> Int Исходный код inRange :: (CPtrdiff, CPtrdiff) -> CPtrdiff -> Bool Исходный код rangeSize :: (CPtrdiff, CPtrdiff) -> Int Исходный код unsafeRangeSize :: (CPtrdiff, CPtrdiff) -> Int Исходный код
Ix CSChar Исходный код

Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CSChar, CSChar) -> [CSChar] Источник index :: (CSChar, CSChar) -> CSChar -> Int Источник unsafeIndex :: (CSChar, CSChar) -> CSChar -> Int Источник inRange :: (CSChar, CSChar) -> CSChar -> Bool Источник rangeSize :: (CSChar, CSChar) -> Int Источник unsafeRangeSize :: (CSChar, CSChar) -> Int Источник
Ix CShort Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CShort, CShort) -> [CShort] Источник index :: (CShort, CShort) -> CShort -> Int Источник unsafeIndex :: (CShort, CShort) -> CShort -> Int Источник inRange :: (CShort, CShort) -> CShort -> Bool Источник rangeSize :: (CShort, CShort) -> Int Источник unsafeRangeSize :: (CShort, CShort) -> Int Источник
Ix CSigAtomic Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CSigAtomic, CSigAtomic) -> [CSigAtomic] Источник index :: (CSigAtomic, CSigAtomic) -> CSigAtomic -> Int Источник unsafeIndex :: (CSigAtomic, CSigAtomic) -> CSigAtomic -> Int Источник inRange :: (CSigAtomic, CSigAtomic) -> CSigAtomic -> Bool Источник rangeSize :: (CSigAtomic, CSigAtomic) -> Int Источник unsafeRangeSize :: (CSigAtomic, CSigAtomic) -> Int Источник
Ix CSize Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CSize, CSize) -> [CSize] Источник index :: (CSize, CSize) -> CSize -> Int Источник unsafeIndex :: (CSize, CSize) -> CSize -> Int Источник inRange :: (CSize, CSize) -> CSize -> Bool Источник rangeSize :: (CSize, CSize) -> Int Источник unsafeRangeSize :: (CSize, CSize) -> Int Источник
Ix CUChar Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CUChar, CUChar) -> [CUChar] Источник index :: (CUChar, CUChar) -> CUChar -> Int Источник unsafeIndex :: (CUChar, CUChar) -> CUChar -> Int Источник inRange :: (CUChar, CUChar) -> CUChar -> Bool Источник rangeSize :: (CUChar, CUChar) -> Int Источник unsafeRangeSize :: (CUChar, CUChar) -> Int Источник
Ix CUInt Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CUInt, CUInt) -> [CUInt] Источник index :: (CUInt, CUInt) -> CUInt -> Int Источник unsafeIndex :: (CUInt, CUInt) -> CUInt -> Int Источник inRange :: (CUInt, CUInt) -> CUInt -> Bool Источник rangeSize :: (CUInt, CUInt) -> Int Источник unsafeRangeSize :: (CUInt, CUInt) -> Int Источник
Ix CUIntMax Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CUIntMax, CUIntMax) -> [CUIntMax] Источник index :: (CUIntMax, CUIntMax) -> CUIntMax -> Int Источник unsafeIndex :: (CUIntMax, CUIntMax) -> CUIntMax -> Int Источник inRange :: (CUIntMax, CUIntMax) -> CUIntMax -> Bool Источник rangeSize :: (CUIntMax, CUIntMax) -> Int Источник unsafeRangeSize :: (CUIntMax, CUIntMax) -> Int Источник
Ix CUIntPtr Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CUIntPtr, CUIntPtr) -> [CUIntPtr] Источник index :: (CUIntPtr, CUIntPtr) -> CUIntPtr -> Int Источник unsafeIndex :: (CUIntPtr, CUIntPtr) -> CUIntPtr -> Int Источник inRange :: (CUIntPtr, CUIntPtr) -> CUIntPtr -> Bool Источник rangeSize :: (CUIntPtr, CUIntPtr) -> Int Источник unsafeRangeSize :: (CUIntPtr, CUIntPtr) -> Int Источник
Ix CULLong Источник
Сведения об экземпляре Определено в GHC.Internal.Foreign.C.Types Методы range :: (CULLong, CULLong) -> [CULLong] Источник index :: (CULLong, CULLong) -> CULLong -> Int Источник unsafeIndex :: (CULLong, CULLong) -> CULLong -> Int Источник inRange :: (CULLong, CULLong) -> CULLong -> Bool Источник rangeSize :: (CULLong, CULLong) -> Int Источник unsafeRangeSize :: (CULLong, CULLong) -> Int Источник
Ix CULong Источник

Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CULong, CULong) -> [CULong] Источник index :: (CULong, CULong) -> CULong -> Int Источник unsafeIndex :: (CULong, CULong) -> CULong -> Int Источник inRange :: (CULong, CULong) -> CULong -> Bool Источник rangeSize :: (CULong, CULong) -> Int Источник unsafeRangeSize :: (CULong, CULong) -> Int Источник
Ix CUShort Источник
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CUShort, CUShort) -> [CUShort] Источник index :: (CUShort, CUShort) -> CUShort -> Int Источник unsafeIndex :: (CUShort, CUShort) -> CUShort -> Int Источник inRange :: (CUShort, CUShort) -> CUShort -> Bool Источник rangeSize :: (CUShort, CUShort) -> Int Источник unsafeRangeSize :: (CUShort, CUShort) -> Int Источник
Ix CWchar Источник
Подробности экземпляра Определено в GHC.Internal.Foreign.C.Types Методы range :: (CWchar, CWchar) -> [CWchar] Источник index :: (CWchar, CWchar) -> CWchar -> Int Источник unsafeIndex :: (CWchar, CWchar) -> CWchar -> Int Источник inRange :: (CWchar, CWchar) -> CWchar -> Bool Источник rangeSize :: (CWchar, CWchar) -> Int Источник unsafeRangeSize :: (CWchar, CWchar) -> Int Источник
Ix IntPtr Источник
Подробности экземпляра Определено в GHC.Internal.Foreign.Ptr Методы range :: (IntPtr, IntPtr) -> [IntPtr] Источник index :: (IntPtr, IntPtr) -> IntPtr -> Int Источник unsafeIndex :: (IntPtr, IntPtr) -> IntPtr -> Int Источник inRange :: (IntPtr, IntPtr) -> IntPtr -> Bool Источник rangeSize :: (IntPtr, IntPtr) -> Int Источник unsafeRangeSize :: (IntPtr, IntPtr) -> Int Источник
Ix WordPtr Источник
Подробности экземпляра Определено в GHC.Internal.Foreign.Ptr Методы range :: (WordPtr, WordPtr) -> [WordPtr] Источник index :: (WordPtr, WordPtr) -> WordPtr -> Int Источник unsafeIndex :: (WordPtr, WordPtr) -> WordPtr -> Int Источник inRange :: (WordPtr, WordPtr) -> WordPtr -> Bool Источник rangeSize :: (WordPtr, WordPtr) -> Int Источник unsafeRangeSize :: (WordPtr, WordPtr) -> Int Источник
Ix Associativity Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.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 DecidedStrictness Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы range :: (DecidedStrictness, DecidedStrictness) -> [DecidedStrictness] Источник index :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Источник unsafeIndex :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Источник inRange :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Bool Источник rangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Источник unsafeRangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Источник
Ix SourceStrictness Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.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.Internal.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 SeekMode Источник	Начиная с: base-4.2.0.0
Сведения об экземпляре Определён в GHC.Internal.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 IOMode Источник	Начиная с: base-4.2.0.0
Сведения об экземпляре Определён в GHC.Internal.IO.IOMode Методы range :: (IOMode, IOMode) -> [IOMode] Источник index :: (IOMode, IOMode) -> IOMode -> Int Источник unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int Источник inRange :: (IOMode, IOMode) -> IOMode -> Bool Источник rangeSize :: (IOMode, IOMode) -> Int Источник unsafeRangeSize :: (IOMode, IOMode) -> Int Источник
Ix Int16 Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Int Методы range :: (Int16, Int16) -> [Int16] Источник index :: (Int16, Int16) -> Int16 -> Int Источник unsafeIndex :: (Int16, Int16) -> Int16 -> Int Источник inRange :: (Int16, Int16) -> Int16 -> Bool Источник rangeSize :: (Int16, Int16) -> Int Источник unsafeRangeSize :: (Int16, Int16) -> Int Источник
Ix Int32 Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Int Методы range :: (Int32, Int32) -> [Int32] Источник index :: (Int32, Int32) -> Int32 -> Int Источник unsafeIndex :: (Int32, Int32) -> Int32 -> Int Источник inRange :: (Int32, Int32) -> Int32 -> Bool Источник rangeSize :: (Int32, Int32) -> Int Источник unsafeRangeSize :: (Int32, Int32) -> Int Источник
Ix Int64 Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Int Методы range :: (Int64, Int64) -> [Int64] Источник index :: (Int64, Int64) -> Int64 -> Int Источник unsafeIndex :: (Int64, Int64) -> Int64 -> Int Источник inRange :: (Int64, Int64) -> Int64 -> Bool Источник rangeSize :: (Int64, Int64) -> Int Источник unsafeRangeSize :: (Int64, Int64) -> Int Источник
Ix Int8 Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.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 CBlkCnt Источник
Сведения об экземпляре Определён в GHC.Internal.System.Posix.Types Методы range :: (CBlkCnt, CBlkCnt) -> [CBlkCnt] Источник index :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Int Источник unsafeIndex :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Int Источник inRange :: (CBlkCnt, CBlkCnt) -> CBlkCnt -> Bool Источник rangeSize :: (CBlkCnt, CBlkCnt) -> Int Источник unsafeRangeSize :: (CBlkCnt, CBlkCnt) -> Int Источник
Ix CBlkSize Источник
Сведения об экземпляре Определён в GHC.Internal.System.Posix.Types Методы range :: (CBlkSize, CBlkSize) -> [CBlkSize] Источник index :: (CBlkSize, CBlkSize) -> CBlkSize -> Int Источник unsafeIndex :: (CBlkSize, CBlkSize) -> CBlkSize -> Int Источник inRange :: (CBlkSize, CBlkSize) -> CBlkSize -> Bool Источник rangeSize :: (CBlkSize, CBlkSize) -> Int Источник unsafeRangeSize :: (CBlkSize, CBlkSize) -> Int Источник
Ix CClockId Источник

Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CClockId, CClockId) -> [CClockId] Исходный код index :: (CClockId, CClockId) -> CClockId -> Int Исходный код unsafeIndex :: (CClockId, CClockId) -> CClockId -> Int Исходный код inRange :: (CClockId, CClockId) -> CClockId -> Bool Исходный код rangeSize :: (CClockId, CClockId) -> Int Исходный код unsafeRangeSize :: (CClockId, CClockId) -> Int Исходный код
Ix CDev Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CDev, CDev) -> [CDev] Исходный код index :: (CDev, CDev) -> CDev -> Int Исходный код unsafeIndex :: (CDev, CDev) -> CDev -> Int Исходный код inRange :: (CDev, CDev) -> CDev -> Bool Исходный код rangeSize :: (CDev, CDev) -> Int Исходный код unsafeRangeSize :: (CDev, CDev) -> Int Исходный код
Ix CFsBlkCnt Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CFsBlkCnt, CFsBlkCnt) -> [CFsBlkCnt] Исходный код index :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Int Исходный код unsafeIndex :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Int Исходный код inRange :: (CFsBlkCnt, CFsBlkCnt) -> CFsBlkCnt -> Bool Исходный код rangeSize :: (CFsBlkCnt, CFsBlkCnt) -> Int Исходный код unsafeRangeSize :: (CFsBlkCnt, CFsBlkCnt) -> Int Исходный код
Ix CFsFilCnt Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CFsFilCnt, CFsFilCnt) -> [CFsFilCnt] Исходный код index :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Int Исходный код unsafeIndex :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Int Исходный код inRange :: (CFsFilCnt, CFsFilCnt) -> CFsFilCnt -> Bool Исходный код rangeSize :: (CFsFilCnt, CFsFilCnt) -> Int Исходный код unsafeRangeSize :: (CFsFilCnt, CFsFilCnt) -> Int Исходный код
Ix CGid Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CGid, CGid) -> [CGid] Исходный код index :: (CGid, CGid) -> CGid -> Int Исходный код unsafeIndex :: (CGid, CGid) -> CGid -> Int Исходный код inRange :: (CGid, CGid) -> CGid -> Bool Исходный код rangeSize :: (CGid, CGid) -> Int Исходный код unsafeRangeSize :: (CGid, CGid) -> Int Исходный код
Ix CId Исходный код

Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CId, CId) -> [CId] Исходный код index :: (CId, CId) -> CId -> Int Исходный код unsafeIndex :: (CId, CId) -> CId -> Int Исходный код inRange :: (CId, CId) -> CId -> Bool Исходный код rangeSize :: (CId, CId) -> Int Исходный код unsafeRangeSize :: (CId, CId) -> Int Исходный код
Ix CIno Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CIno, CIno) -> [CIno] Исходный код index :: (CIno, CIno) -> CIno -> Int Исходный код unsafeIndex :: (CIno, CIno) -> CIno -> Int Исходный код inRange :: (CIno, CIno) -> CIno -> Bool Исходный код rangeSize :: (CIno, CIno) -> Int Исходный код unsafeRangeSize :: (CIno, CIno) -> Int Исходный код
Ix CKey Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CKey, CKey) -> [CKey] Исходный код index :: (CKey, CKey) -> CKey -> Int Исходный код unsafeIndex :: (CKey, CKey) -> CKey -> Int Исходный код inRange :: (CKey, CKey) -> CKey -> Bool Исходный код rangeSize :: (CKey, CKey) -> Int Исходный код unsafeRangeSize :: (CKey, CKey) -> Int Исходный код
Ix CMode Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CMode, CMode) -> [CMode] Исходный код index :: (CMode, CMode) -> CMode -> Int Исходный код unsafeIndex :: (CMode, CMode) -> CMode -> Int Исходный код inRange :: (CMode, CMode) -> CMode -> Bool Исходный код rangeSize :: (CMode, CMode) -> Int Исходный код unsafeRangeSize :: (CMode, CMode) -> Int Исходный код
Ix CNfds Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CNfds, CNfds) -> [CNfds] Исходный код index :: (CNfds, CNfds) -> CNfds -> Int Исходный код unsafeIndex :: (CNfds, CNfds) -> CNfds -> Int Исходный код inRange :: (CNfds, CNfds) -> CNfds -> Bool Исходный код rangeSize :: (CNfds, CNfds) -> Int Исходный код unsafeRangeSize :: (CNfds, CNfds) -> Int Исходный код
Ix CNlink Исходный код

Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CNlink, CNlink) -> [CNlink] Исходный код index :: (CNlink, CNlink) -> CNlink -> Int Исходный код unsafeIndex :: (CNlink, CNlink) -> CNlink -> Int Исходный код inRange :: (CNlink, CNlink) -> CNlink -> Bool Исходный код rangeSize :: (CNlink, CNlink) -> Int Исходный код unsafeRangeSize :: (CNlink, CNlink) -> Int Исходный код
Ix COff Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (COff, COff) -> [COff] Исходный код index :: (COff, COff) -> COff -> Int Исходный код unsafeIndex :: (COff, COff) -> COff -> Int Исходный код inRange :: (COff, COff) -> COff -> Bool Исходный код rangeSize :: (COff, COff) -> Int Исходный код unsafeRangeSize :: (COff, COff) -> Int Исходный код
Ix CPid Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CPid, CPid) -> [CPid] Исходный код index :: (CPid, CPid) -> CPid -> Int Исходный код unsafeIndex :: (CPid, CPid) -> CPid -> Int Исходный код inRange :: (CPid, CPid) -> CPid -> Bool Исходный код rangeSize :: (CPid, CPid) -> Int Исходный код unsafeRangeSize :: (CPid, CPid) -> Int Исходный код
Ix CRLim Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CRLim, CRLim) -> [CRLim] Исходный код index :: (CRLim, CRLim) -> CRLim -> Int Исходный код unsafeIndex :: (CRLim, CRLim) -> CRLim -> Int Исходный код inRange :: (CRLim, CRLim) -> CRLim -> Bool Исходный код rangeSize :: (CRLim, CRLim) -> Int Исходный код unsafeRangeSize :: (CRLim, CRLim) -> Int Исходный код
Ix CSocklen Исходный код
Подробности экземпляра Определено в GHC.Internal.System.Posix.Types Методы range :: (CSocklen, CSocklen) -> [CSocklen] Исходный код index :: (CSocklen, CSocklen) -> CSocklen -> Int Исходный код unsafeIndex :: (CSocklen, CSocklen) -> CSocklen -> Int Исходный код inRange :: (CSocklen, CSocklen) -> CSocklen -> Bool Исходный код rangeSize :: (CSocklen, CSocklen) -> Int Исходный код unsafeRangeSize :: (CSocklen, CSocklen) -> Int Исходный код
Ix CSsize Исходный код

Сведения об экземпляре Определено в GHC.Internal.System.Posix.Types Методы range :: (CSsize, CSsize) -> [CSsize] Исходный код index :: (CSsize, CSsize) -> CSsize -> Int Исходный код unsafeIndex :: (CSsize, CSsize) -> CSsize -> Int Исходный код inRange :: (CSsize, CSsize) -> CSsize -> Bool Исходный код rangeSize :: (CSsize, CSsize) -> Int Исходный код unsafeRangeSize :: (CSsize, CSsize) -> Int Исходный код
Ix CTcflag Исходный код
Сведения об экземпляре Определено в GHC.Internal.System.Posix.Types Методы range :: (CTcflag, CTcflag) -> [CTcflag] Исходный код index :: (CTcflag, CTcflag) -> CTcflag -> Int Исходный код unsafeIndex :: (CTcflag, CTcflag) -> CTcflag -> Int Исходный код inRange :: (CTcflag, CTcflag) -> CTcflag -> Bool Исходный код rangeSize :: (CTcflag, CTcflag) -> Int Исходный код unsafeRangeSize :: (CTcflag, CTcflag) -> Int Исходный код
Ix CUid Исходный код
Сведения об экземпляре Определено в GHC.Internal.System.Posix.Types Методы range :: (CUid, CUid) -> [CUid] Исходный код index :: (CUid, CUid) -> CUid -> Int Исходный код unsafeIndex :: (CUid, CUid) -> CUid -> Int Исходный код inRange :: (CUid, CUid) -> CUid -> Bool Исходный код rangeSize :: (CUid, CUid) -> Int Исходный код unsafeRangeSize :: (CUid, CUid) -> Int Исходный код
Ix Fd Исходный код
Сведения об экземпляре Определено в GHC.Internal.System.Posix.Types Методы range :: (Fd, Fd) -> [Fd] Исходный код index :: (Fd, Fd) -> Fd -> Int Исходный код unsafeIndex :: (Fd, Fd) -> Fd -> Int Исходный код inRange :: (Fd, Fd) -> Fd -> Bool Исходный код rangeSize :: (Fd, Fd) -> Int Исходный код unsafeRangeSize :: (Fd, Fd) -> Int Исходный код
Ix Ordering Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.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 GeneralCategory Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Unicode Методы range :: (GeneralCategory, GeneralCategory) -> [GeneralCategory] Исходный код index :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Int Исходный код unsafeIndex :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Int Исходный код inRange :: (GeneralCategory, GeneralCategory) -> GeneralCategory -> Bool Исходный код rangeSize :: (GeneralCategory, GeneralCategory) -> Int Исходный код unsafeRangeSize :: (GeneralCategory, GeneralCategory) -> Int Исходный код
Ix Word16 Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.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.Internal.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.Internal.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 Word8 Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.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 Integer Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.Ix Методы range :: (Integer, Integer) -> [Integer] Источник index :: (Integer, Integer) -> Integer -> Int Источник unsafeIndex :: (Integer, Integer) -> Integer -> Int Источник inRange :: (Integer, Integer) -> Integer -> Bool Источник rangeSize :: (Integer, Integer) -> Int Источник unsafeRangeSize :: (Integer, Integer) -> Int Источник
Ix Natural Источник	Начиная с: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.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 () Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.Ix Методы range :: ((), ()) -> [()] Источник index :: ((), ()) -> () -> Int Источник unsafeIndex :: ((), ()) -> () -> Int Источник inRange :: ((), ()) -> () -> Bool Источник rangeSize :: ((), ()) -> Int Источник unsafeRangeSize :: ((), ()) -> Int Источник
Ix Bool Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.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.Internal.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.Internal.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 Word Источник	Начиная с: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.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 a => Ix (Identity a) Источник	Начиная с: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.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 (Down a) Источник	Начиная с: base-4.14.0.0
Подробности экземпляра Определено в GHC.Internal.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 (Solo a) Источник
Подробности экземпляра Определено в GHC.Internal.Ix Методы range :: (Solo a, Solo a) -> [Solo a] Источник index :: (Solo a, Solo a) -> Solo a -> Int Источник unsafeIndex :: (Solo a, Solo a) -> Solo a -> Int Источник inRange :: (Solo a, Solo a) -> Solo a -> Bool Источник rangeSize :: (Solo a, Solo a) -> Int Источник unsafeRangeSize :: (Solo a, Solo a) -> Int Источник
Ix (Proxy s) Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.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 a, Ix b) => Ix (a, b) Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.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 a => Ix (Const a b) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.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 (a1, a2, a3) Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.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 a1, Ix a2, Ix a3, Ix a4) => Ix (a1, a2, a3, a4) Источник	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.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.Internal.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 Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6) => Ix (a1, a2, a3, a4, a5, a6) Источник	Начиная с: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> [(a1, a2, a3, a4, a5, a6)] Источник index :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Источник

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7) => Ix (a1, a2, a3, a4, a5, a6, a7) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> [(a1, a2, a3, a4, a5, a6, a7)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8) => Ix (a1, a2, a3, a4, a5, a6, a7, a8) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> [(a1, a2, a3, a4, a5, a6, a7, a8)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD)) -> Int Источник
(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD, Ix aE) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) Источник	Начиная с: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.Ix Методы range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)] Источник index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Int Источник unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Int Источник inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE) -> Bool Источник rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> Int Источник unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE)) -> Int Источник

(Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7, Ix a8, Ix a9, Ix aA, Ix aB, Ix aC, Ix aD, Ix aE, Ix aF) => Ix (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) Исходный код

Начиная с: base-4.15.0.0

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

Определено в GHC.Internal.Ix

Методы

range :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> [(a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)] Исходный код

index :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Int Исходный код

unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Int Исходный код

inRange :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF) -> Bool Исходный код

rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> Int Исходный код

unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB, aC, aD, aE, aF)) -> Int Исходный код

data Array i e Исходный код

Тип неизменяемых нестрогих (boxed) массивов с индексами в i и элементами в e.

Конструкторы

Array !i !i !Int (Array# e)

Экземпляры

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

Functor (Array i) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Arr Методы fmap :: (a -> b) -> Array i a -> Array i b Источник (<$) :: a -> Array i b -> Array i a Источник
Foldable (Array i) Источник	С: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => Array i m -> m Источник foldMap :: Monoid m => (a -> m) -> Array i a -> m Источник foldMap' :: Monoid m => (a -> m) -> Array i a -> m Источник foldr :: (a -> b -> b) -> b -> Array i a -> b Источник foldr' :: (a -> b -> b) -> b -> Array i a -> b Источник foldl :: (b -> a -> b) -> b -> Array i a -> b Источник foldl' :: (b -> a -> b) -> b -> Array i a -> b Источник foldr1 :: (a -> a -> a) -> Array i a -> a Источник foldl1 :: (a -> a -> a) -> Array i a -> a Источник toList :: Array i a -> [a] Источник null :: Array i a -> Bool Источник length :: Array i a -> Int Источник elem :: Eq a => a -> Array i a -> Bool Источник maximum :: Ord a => Array i a -> a Источник minimum :: Ord a => Array i a -> a Источник sum :: Num a => Array i a -> a Источник product :: Num a => Array i a -> a Источник
Ix i => Traversable (Array i) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> Array i a -> f (Array i b) Источник sequenceA :: Applicative f => Array i (f a) -> f (Array i a) Источник mapM :: Monad m => (a -> m b) -> Array i a -> m (Array i b) Источник sequence :: Monad m => Array i (m a) -> m (Array i a) Источник
(Ix i, Eq e) => Eq (Array i e) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Arr Методы (==) :: Array i e -> Array i e -> Bool Источник (/=) :: Array i e -> Array i e -> Bool Источник
(Ix i, Ord e) => Ord (Array i e) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Arr Методы compare :: Array i e -> Array i e -> Ordering Источник (<) :: Array i e -> Array i e -> Bool Источник (<=) :: Array i e -> Array i e -> Bool Источник (>) :: Array i e -> Array i e -> Bool Источник (>=) :: Array i e -> Array i e -> Bool Источник max :: Array i e -> Array i e -> Array i e Источник min :: Array i e -> Array i e -> Array i e Источник
(Data a, Data b, Ix a) => Data (Array a b) Источник	С: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Array a b -> c (Array a b) Источник gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Array a b) Источник toConstr :: Array a b -> Constr Источник dataTypeOf :: Array a b -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Array a b)) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Array a b)) Источник gmapT :: (forall b0. Data b0 => b0 -> b0) -> Array a b -> Array a b Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Array a b -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Array a b -> r Источник gmapQ :: (forall d. Data d => d -> u) -> Array a b -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> Array a b -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Источник
(Ix a, Read a, Read b) => Read (Array a b) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Read Методы readsPrec :: Int -> ReadS (Array a b) Источник readList :: ReadS [Array a b] Источник readPrec :: ReadPrec (Array a b) Источник readListPrec :: ReadPrec [Array a b] Источник
(Ix a, Show a, Show b) => Show (Array a b) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Arr Методы showsPrec :: Int -> Array a b -> ShowS Источник show :: Array a b -> String Источник showList :: [Array a b] -> ShowS Источник

data STArray s i e Источник

Изменяемые, упакованные, нестрогие массивы в монаде ST. Аргументы типа следующие:

s: аргумент переменной состояния для типа ST
i: тип индекса массива (должен быть экземпляром Ix)
e: тип элемента массива.

Конструкторы

STArray !i !i !Int (MutableArray# s e)

Экземпляры

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

Eq (STArray s i e) Источник	С: base-2.1
Подробности экземпляра Определено в GHC.Internal.Arr Методы (==) :: STArray s i e -> STArray s i e -> Bool Источник (/=) :: STArray s i e -> STArray s i e -> Bool Источник

arrEleBottom :: a Источник

array Источник

Аргументы

:: Ix i
=> (i, i)	пара границ, каждая из которых имеет тип индекса массива. Эти границы представляют собой наименьший и наибольший индексы массива, именно в таком порядке. Например, вектор длины `10` с индексацией от единицы имеет границы `(1,10)`, а матрица размером `10` на `10` с индексацией от единицы — границы `((1,1),(10,10))`.
-> [(i, e)]	список ассоциаций вида (индекс, значение). Обычно этот список задаётся как выражение-генератор. Ассоциация `(i, x)` задаёт значение массива по индексу `i` равным `x`.
-> Array i e

Создаёт массив с заданными границами и значениями для указанных индексов в этих границах.

Массив не определён (то есть равен нижнему элементу) при наличии в списке индекса, выходящего за границы. В отчёте Haskell 2010 также указано, что если две ассоциации в списке имеют одинаковый индекс, значение по этому индексу не определено (то есть равно нижнему элементу). Однако в реализации GHC значением по такому индексу будет часть значения последней ассоциации с этим индексом в списке.

Поскольку индексы необходимо проверять на наличие этих ошибок, array является строгой по аргументу границ и индексам списка ассоциаций, но нестрогой по значениям. Поэтому возможны, например, такие рекуррентные определения:

a = array (1,100) ((1,1) : [(i, i * a!(i-1)) | i <- [2..100]])

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

Если в каком-либо измерении нижняя граница больше верхней, массив допустим, но пуст. Индексация пустого массива всегда приводит к ошибке выхода за границы, однако bounds по-прежнему возвращает границы, с которыми был создан массив.

listArray :: Ix i => (i, i) -> [e] -> Array i e Источник

Создаёт массив по паре границ и списку значений в порядке индексов.

(!) :: Ix i => Array i e -> i -> e infixl 9 Источник

Значение массива по заданному индексу.

safeRangeSize :: Ix i => (i, i) -> Int Источник

negRange :: Int Источник

safeIndex :: Ix i => (i, i) -> Int -> i -> Int Источник

badSafeIndex Источник

Аргументы

:: Int	Искомый индекс.
-> Int	Максимальная граница массива.
-> Int	Это не Int, а исключение.

Используется для вызова исключений в функциях проверки границ массива.

⚠ Эта функция во всех случаях выбрасывает исключение SomeException.

Примеры

Развернуть

>>> badSafeIndex 2 5
*** Exception: Error in array index; 2 not in range [0..5)

bounds :: Array i e -> (i, i) Источник

Границы, с которыми был создан массив.

numElements :: Array i e -> Int Источник

Количество элементов в массиве.

numElementsSTArray :: STArray s i e -> Int Источник

indices :: Ix i => Array i e -> [i] Источник

Список индексов массива в порядке возрастания.

elems :: Array i e -> [e] Источник

Список элементов массива в порядке индексов.

assocs :: Ix i => Array i e -> [(i, e)] Источник

Список ассоциаций массива в порядке индексов.

accumArray Источник

Аргументы

:: Ix i
=> (e -> a -> e)	функция накопления
-> e	начальное значение
-> (i, i)	границы массива
-> [(i, a)]	список ассоциаций
-> Array i e

Функция accumArray обрабатывает повторяющиеся индексы в списке ассоциаций с помощью функции накопления, которая объединяет значения ассоциаций с одинаковым индексом.

Например, для списка значений некоторого типа индексов функция hist строит гистограмму количества вхождений каждого индекса в заданном диапазоне:

hist :: (Ix a, Num b) => (a,a) -> [a] -> Array a b
hist bnds is = accumArray (+) 0 bnds [(i, 1) | i<-is, inRange bnds i]

accumArray является строгой по каждому результату применения функции накопления, хотя начальное значение вычисляется лениво. Поэтому в отличие от массивов, созданных с помощью array, массивы с накоплением, как правило, не должны быть рекурсивными.

adjust :: (e -> a -> e) -> MutableArray# s e -> (Int, a) -> STRep s b -> STRep s b Источник

(//) :: Ix i => Array i e -> [(i, e)] -> Array i e infixl 9 Источник

Создаёт массив, идентичный первому аргументу, за исключением того, что он обновлён ассоциациями из правого аргумента. Например, если m — матрица размера n на n с индексацией от единицы, то

m//[((i,i), 0) | i <- [1..n]]

представляет собой ту же матрицу, но с нулями на диагонали.

Повторяющиеся индексы в списке ассоциаций обрабатываются так же, как в array: согласно Haskell 2010, результирующий массив не определён (то есть равен нижнему элементу), но реализация GHC использует последнюю ассоциацию для каждого индекса.

accum :: Ix i => (e -> a -> e) -> Array i e -> [(i, a)] -> Array i e Источник

accum f принимает массив и список ассоциаций и накапливает пары из списка в массиве с помощью функции накопления f. Таким образом, accumArray можно определить с помощью accum:

accumArray f z b = accum f (array b [(i, z) | i <- range b])

accum является строгой по всем результатам применения накопления. Однако начальные значения массива вычисляются лениво.

amap :: (a -> b) -> Array i a -> Array i b Источник

ixmap :: (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e Источник

ixmap позволяет преобразовывать индексы массива. Эту функцию можно рассматривать как композицию справа с отображением, заданным исходным массивом.

Аналогичное преобразование значений массива можно выполнить с помощью fmap из экземпляра Array класса Functor.

eqArray :: (Ix i, Eq e) => Array i e -> Array i e -> Bool Источник

cmpArray :: (Ix i, Ord e) => Array i e -> Array i e -> Ordering Источник

cmpIntArray :: Ord e => Array Int e -> Array Int e -> Ordering Источник

newSTArray :: Ix i => (i, i) -> e -> ST s (STArray s i e) Источник

boundsSTArray :: STArray s i e -> (i, i) Источник

readSTArray :: Ix i => STArray s i e -> i -> ST s e Источник

writeSTArray :: Ix i => STArray s i e -> i -> e -> ST s () Источник

freezeSTArray :: STArray s i e -> ST s (Array i e) Источник

thawSTArray :: Array i e -> ST s (STArray s i e) Источник

foldlElems :: (b -> a -> b) -> b -> Array i a -> b Источник

Свёртка элементов влево

foldlElems' :: (b -> a -> b) -> b -> Array i a -> b Источник

Строгая свёртка элементов влево

foldl1Elems :: (a -> a -> a) -> Array i a -> a Источник

Свёртка элементов влево без начального значения

foldrElems :: (a -> b -> b) -> b -> Array i a -> b Источник

Свёртка элементов вправо

foldrElems' :: (a -> b -> b) -> b -> Array i a -> b Источник

Строгая свёртка элементов вправо

foldr1Elems :: (a -> a -> a) -> Array i a -> a Источник

Свёртка элементов вправо без начального значения

Небезопасные операции

fill :: MutableArray# s e -> (Int, e) -> STRep s a -> STRep s a Источник

done :: i -> i -> Int -> MutableArray# s e -> STRep s (Array i e) Источник

unsafeArray :: Ix i => (i, i) -> [(Int, e)] -> Array i e Источник

unsafeArray' :: (i, i) -> Int -> [(Int, e)] -> Array i e Источник

lessSafeIndex :: Ix i => (i, i) -> Int -> i -> Int Источник

unsafeAt :: Array i e -> Int -> e Источник

unsafeReplace :: Array i e -> [(Int, e)] -> Array i e Источник

unsafeAccumArray :: Ix i => (e -> a -> e) -> e -> (i, i) -> [(Int, a)] -> Array i e Источник

unsafeAccumArray' :: (e -> a -> e) -> e -> (i, i) -> Int -> [(Int, a)] -> Array i e Источник

unsafeAccum :: (e -> a -> e) -> Array i e -> [(Int, a)] -> Array i e Источник

unsafeReadSTArray :: STArray s i e -> Int -> ST s e Источник

unsafeWriteSTArray :: STArray s i e -> Int -> e -> ST s () Источник

unsafeFreezeSTArray :: STArray s i e -> ST s (Array i e) Источник

unsafeThawSTArray :: Array i e -> ST s (STArray s i e) Источник

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