last package:text

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

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

last . stream = last

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