len package:ghc-lib-parser

Returns the length of the FastString in characters

Return the length of a PtrString

Returns the size/length of a finite structure as an Int. The default implementation just counts elements starting with the leftmost. Instances for structures that can compute the element count faster than via element-by-element counting, should provide a specialised implementation.

Examples

Basic usage:

>>> length []
0

>>> length ['a', 'b', 'c']
3

>>> length [1..]
* Hangs forever *

(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)