hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellSafe
LanguageHaskell2010

HyLo.Util

Documentation

sequenceUntil :: Monad m => (a -> Bool) -> [m a] -> m [a] Source #