Data.List.Index

Redefined index-related functions for Data.List

Documentation

module Data.Index

(!!) :: [a] -> Index [] Int -> a

>>> [1..7] !! 1
2
>>> [1..7] !! end
7
>>> [1..7] !! (end-2)
5
>>> [1..7] !! mid
4

take :: Index [] Int -> [a] -> [a]

>>> take 10 ['a'..'z']
"abcdefghij"
>>> take (mid - 3) ['a'..'z']
"abcdefghij"

drop :: Index [] Int -> [a] -> [a]

>>> drop 13 ['a'..'z']
"nopqrstuvwxyz"
>>> drop mid ['a'..'z']
"nopqrstuvwxyz"

splitAt :: Index [] Int -> [a] -> ([a], [a])

>>> splitAt mid "Hello World!"
("Hello ","World!")
>>> splitAt (mid - 1) "Hello World!"
("Hello"," World!")