break package:utility-ht

break :: (a -> Bool) -> [a] -> ([a], [a])
utility-ht Data.List.HT
It is Data.List.span f undefined = undefined, whereas span f undefined = (undefined, undefined).
breakAfter :: (a -> Bool) -> [a] -> ([a], [a])
utility-ht Data.List.HT
Like break, but splits after the matching element. 
forAllPredicates $ \p xs -> uncurry (++) (breakAfter p xs) == xs
breakJust :: (a -> Maybe b) -> [a] -> ([a], Maybe (b, [a]))
utility-ht Data.List.HT
forAllMaybeFn $ \f xs -> snd (breakJust f xs) == dropWhileNothing f xs