hylolib-1.3.0: Tools for hybrid logics related programs
HyLo.Util
sequenceUntil :: Monad m => (a -> Bool) -> [m a] -> m [a]Source