GHC.Ix
| Авторские права | (c) Университет Глазго 1994-2000 |
|---|---|
| Лицензия | см. libraries/base/LICENSE |
| Поддержка | ghc-devs@haskell.org |
| Устойчивость | внутренняя |
| Переносимость | непереносимая (расширения GHC) |
| Безопасный Haskell | Нет |
| Язык | Haskell2010 |
Описание
Реализация класса типов Ix в GHC.
class Ord a => Ix a where Исходный код
Класс Ix используется для сопоставления непрерывного поддиапазона значений в типе с целыми числами. Он в основном используется для индексации массивов (см. пакет массивов).
Первый аргумент (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 | |
| 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.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 | |
| Ix CKey Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| 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 Исходный код | |
| 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 Source | С момента: base-2.1 |
Определено в GHC.Internal.Word Методыrange :: (Word32, Word32) -> [Word32] Source index :: (Word32, Word32) -> Word32 -> Int Source unsafeIndex :: (Word32, Word32) -> Word32 -> Int Source inRange :: (Word32, Word32) -> Word32 -> Bool Source rangeSize :: (Word32, Word32) -> Int Source unsafeRangeSize :: (Word32, Word32) -> Int Source | |
| Ix Word64 Source | С момента: base-2.1 |
Определено в GHC.Internal.Word Методыrange :: (Word64, Word64) -> [Word64] Source index :: (Word64, Word64) -> Word64 -> Int Source unsafeIndex :: (Word64, Word64) -> Word64 -> Int Source inRange :: (Word64, Word64) -> Word64 -> Bool Source rangeSize :: (Word64, Word64) -> Int Source unsafeRangeSize :: (Word64, Word64) -> Int Source | |
| Ix Word8 Source | С момента: base-2.1 |
Определено в GHC.Internal.Word | |
| Ix Ordering Source | С момента: base-2.1 |
Определено в 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) Source | Since: base-4.15.0.0 |
Defined in GHC.Internal.Ix Methodsrange :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> [(a1, a2, a3, a4, a5, a6)] Source index :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Source unsafeIndex :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Int Source inRange :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> (a1, a2, a3, a4, a5, a6) -> Bool Source rangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Source unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6), (a1, a2, a3, a4, a5, a6)) -> Int Source | |
| (Ix a1, Ix a2, Ix a3, Ix a4, Ix a5, Ix a6, Ix a7) => Ix (a1, a2, a3, a4, a5, a6, a7) Source | Since: base-4.15.0.0 |
Defined in GHC.Internal.Ix Methodsrange :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> [(a1, a2, a3, a4, a5, a6, a7)] Source index :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Source unsafeIndex :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Int Source inRange :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> (a1, a2, a3, a4, a5, a6, a7) -> Bool Source rangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Source unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7), (a1, a2, a3, a4, a5, a6, a7)) -> Int Source | |
| (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) Source | Since: base-4.15.0.0 |
Defined in GHC.Internal.Ix Methodsrange :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> [(a1, a2, a3, a4, a5, a6, a7, a8)] Source 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 Source 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 Source 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 Source rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Source unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8), (a1, a2, a3, a4, a5, a6, a7, a8)) -> Int Source | |
| (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) Source | Since: 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) -> Целое Исходный код 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) -> Целое Исходный код 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) -> Булево Исходный код rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Целое Исходный код unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9), (a1, a2, a3, a4, a5, a6, a7, a8, a9)) -> Целое Исходный код | |
| (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) -> Целое Исходный код 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) -> Целое Исходный код 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) -> Булево Исходный код rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Целое Исходный код unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA)) -> Целое Исходный код | |
| (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) -> Целое Исходный код 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) -> Целое Исходный код 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) -> Булево Исходный код rangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Целое Исходный код unsafeRangeSize :: ((a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB), (a1, a2, a3, a4, a5, a6, a7, a8, a9, aA, aB)) -> Целое Исходный код | |
| (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 Исходный код |
indexError :: Show a => (a, a) -> a -> String -> b Исходный код
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/GHC-Ix.html