:: (a -> Bool) -> [a] -> ([a], [a]) package:Agda

Breaks a list just after an element satisfying the predicate is found.
>>> breakAfter even [1,3,5,2,4,7,8]
([1,3,5,2],[4,7,8])