Util

This modules provides generic utility functions for lists.

Documentation

nodups :: Eq a => [a] -> Bool

Is true iff a list has no duplicate elements.

groupBy :: Int -> [a] -> [[a]]

Splits a list into multiple lists of a given length.

ungroup :: [[a]] -> [a]

The reverse operation of groupBy.

single :: [a] -> Bool

Is true iff a given list contains exactly one element.

delete :: Eq a => [a] -> [a] -> [a]

Removes the elements of the first list from the second list.