Data.Invertible.List

Bidirectional version of Data.List and other operations over lists.

Documentation

cons :: Maybe (a, [a]) <-> [a]

Convert between Just (head, tail) and the non-empty list head:tail.

uncons :: [a] <-> Maybe (a, [a])

Convert between the non-empty list head:tail and Just (head, tail). (invert cons)

consMaybe :: (Maybe a, [a]) <-> [a]

Convert between (Just head, tail) and the non-empty list head:tail, or (Nothing, list) and list.

repLen :: Int <-> [()]

Combine replicate and length for unit lists.

map :: (a <-> b) -> [a] <-> [b]

Apply a bijection over a list using map.

reverse :: [a] <-> [a]

reverse the order of a (finite) list.

transpose :: [[a]] <-> [[a]]

transpose the rows and columns of its argument.

lookup :: (Eq a, Eq b) => [(a, b)] -> Maybe a <-> Maybe b

Bi-directional lookup.

index :: Eq a => [a] -> Maybe a <-> Maybe Int

Combine elemIndex and safe !!.

zip :: ([a], [b]) <-> [(a, b)]

zip two lists together.

zip3 :: ([a], [b], [c]) <-> [(a, b, c)]

zip3 three lists together.

zip4 :: ([a], [b], [c], [d]) <-> [(a, b, c, d)]

zip4 four lists together.

zip5 :: ([a], [b], [c], [d], [e]) <-> [(a, b, c, d, e)]

zip5 five lists together.

zip6 :: ([a], [b], [c], [d], [e], [f]) <-> [(a, b, c, d, e, f)]

zip6 six lists together.

zip7 :: ([a], [b], [c], [d], [e], [f], [g]) <-> [(a, b, c, d, e, f, g)]

zip7 seven lists together.

zipWith :: ((a, b) <-> c) -> ([a], [b]) <-> [c]

zipWith two lists together using a bijection.

interleave :: ([a], [a]) <-> [a]

(Un)interleave two lists, e.g., between ([2,5,11],[3,7]) and [2,3,5,7,11].

lines :: String <-> [String]

Split a string into lines.

words :: String <-> [String]

Split a string into words.