libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.

Util.List

Synopsis

Documentation

noDups :: Eq a => [a] -> Bool Source

Returns true iff the list has no duplicates.

replaceLast :: [a] -> a -> [a]Source

Replaces the last item in a list. Assumes the list is non empty.

cartesianProduct :: [[a]] -> [[a]]Source