Substrings

Breaks a bit of text just after a character satisfying the predicate is found.

Examples

>>> breakAfter (== 'b') "aaaabbbb"
("aaaab","bbb")

>>> breakAfter (== 'a') "aaaabbbb"
("a","aaabbbb")

>>> breakAfter (== 'c') "aaaabbbb"
("aaaabbbb","")

spanEnd, applied to a predicate p, a text t, returns a pair (t1, t2) where t2 is the longest suffix of t whose elements satisfy p, and t1 is the remainder of the text.