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.