| Safe Haskell | Safe-Infered |
|---|
HyLo.Util
Documentation
sequenceUntil :: Monad m => (a -> Bool) -> [m a] -> m [a]Source
hylolib-1.4.0: Tools for hybrid logics related programs
| Safe Haskell | Safe-Infered |
|---|
HyLo.Util
sequenceUntil :: Monad m => (a -> Bool) -> [m a] -> m [a]Source