Commit 931515ab authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Group exports so that all length functions are together; no semantic change

parent c295ee8a
......@@ -12,7 +12,10 @@ module Util (
mapFst, mapSnd,
mapAndUnzip, mapAndUnzip3,
nOfThem, filterOut,
lengthExceeds, lengthIs, lengthAtLeast, listLengthCmp, atLength,
lengthExceeds, lengthIs, lengthAtLeast,
listLengthCmp, atLength, equalLength, compareLength,
isSingleton, only, singleton,
notNull, snocView,
......@@ -34,7 +37,7 @@ module Util (
takeList, dropList, splitAtList, split,
-- comparisons
isEqual, eqListBy, equalLength, compareLength,
isEqual, eqListBy,
thenCmp, cmpList, prefixMatch, suffixMatch, maybePrefixMatch,
removeSpaces,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment