init package:text

O(1) Returns all but the last character of a Text, which must be non-empty. This is a partial function, consider using unsnoc instead.

O(1) Returns all but the last character of a Stream Char, which must be non-empty. Properties

unstream . init . stream = init

O(n/c) Returns all but the last character of a Text, which must be non-empty. This is a partial function, consider using unsnoc instead.

O(n) Return all initial segments of the given Text, shortest first.

O(n) Return all initial segments of the given Text, shortest first.

O(n²) Return all initial segments of the given Text, shortest first.

O(n²) Return all initial segments of the given Text, shortest first.