splitwhen package:vector-split

Split on elements satisfying the given predicate. Equivalent to split . dropDelims . whenElt. For example:
>>> splitWhen (<0) (BV.fromList [1,3,-4,5,7,-9,0,2])
[[1,3],[5,7],[0,2]]