[Haskell-cafe] Improving *> and >> for Data.Sequence

Ross Paterson R.Paterson at city.ac.uk
Sat Nov 22 13:16:17 UTC 2014


On Sat, Nov 22, 2014 at 10:49:18AM +0000, Ross Paterson wrote:
> -- Construct a fingertree from the first n elements of xs.
> -- The arguments must satisfy n <= length xs && rev_xs = reverse xs.
> -- Each element of xs has the same size, provided as an argument.

Sorry, that should read:

-- The arguments must satisfy n <= length xs && take n rev_xs = reverse (take n xs).


More information about the Haskell-Cafe mailing list