:: Int -> [a] -> Bool

Check that list contains at least a certain number of elements.

>>> lengthAtLeast 0 ""
True

>>> lengthAtLeast 3 "ab"
False

>>> lengthAtLeast 3 "abc"
True

>>> lengthAtLeast 3 $ repeat 'a'
True

>>> lengthAtLeast 3 $ "abc" ++ undefined
True

\n xs -> lengthAtLeast n (xs::String)  ==  (length xs >= n)

>>> lengthAtMost 0 ""
True

>>> lengthAtMost 3 "ab"
True

>>> lengthAtMost 3 "abc"
True

>>> lengthAtMost 3 "abcd"
False

>>> lengthAtMost 3 $ repeat 'a'
False

>>> lengthAtMost 3 $ "abcd" ++ undefined
False

\n xs -> lengthAtMost n (xs::String)  ==  (length xs <= n)

An implementation of fromListN for Steppable fixed-points of XNor. This should return an empty structure if the Int is negative. If the target structure isn’t Steppable or the target structure is Corecursive (i.e., unsafeFromList isn’t used), then the default definition for fromListN should suffice.

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

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

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

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

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

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

Determine if it is possible to drag window by it's decoration with mouse button.