length package:ghc

Returns the length of the FastString in characters

Return the length of a PtrString

(lengthAtLeast xs n) = (length xs >= n)

(lengthAtMost xs n) = (length xs <= n)

(lengthExceeds xs n) = (length xs > n)

(lengthIs xs n) = (length xs == n)

(lengthIsNot xs n) = (length xs /= n)

(lengthLessThan xs n) == (length xs < n)

Different number of items.

Encode the argument in its full length. This is different from many default binary instances which make no guarantee about the actual encoding and might do things using variable length encoding.

atLength atLen atEnd ls n unravels list ls to position n. Precisely:

atLength atLenPred atEndPred ls n
| n < 0         = atLenPred ls
| length ls < n = atEndPred (n - length ls)
| otherwise     = atLenPred (drop n ls)

True if length xs == length ys

True if length xs <= length ys