tail package:text

O(1) Returns all characters after the head of a Text, which must be non-empty. This is a partial function, consider using uncons instead.

O(1) Returns all characters after the head of a Stream Char, which must be non-empty. This is a partial function, consider using uncons. Properties

unstream . tail . stream = tail

O(n) Return all final segments of the given Text, longest first.

O(n) Return all final segments of the given Text, longest first.

O(1) A variant of tail for non-empty Text. unsafeTail omits the check for the empty case, so there is an obligation on the programmer to provide a proof that the Text is non-empty.