module Sound.OSC.Wait where
import System.Timeout
timeout_r :: Double -> IO a -> IO (Maybe a)
timeout_r :: forall a. Double -> IO a -> IO (Maybe a)
timeout_r = forall a. Int -> IO a -> IO (Maybe a)
timeout forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (RealFrac a, Integral b) => a -> b
floor forall b c a. (b -> c) -> (a -> b) -> a -> c
. (forall a. Num a => a -> a -> a
* Double
1000000)
untilPredicate :: Monad m => (a -> Bool) -> m a -> m a
untilPredicate :: forall (m :: * -> *) a. Monad m => (a -> Bool) -> m a -> m a
untilPredicate a -> Bool
f m a
act =
let g :: a -> m a
g a
p = if a -> Bool
f a
p then m a
recur else forall (m :: * -> *) a. Monad m => a -> m a
return a
p
recur :: m a
recur = m a
act forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= a -> m a
g
in m a
recur
untilMaybe :: Monad m => (a -> Maybe b) -> m a -> m b
untilMaybe :: forall (m :: * -> *) a b. Monad m => (a -> Maybe b) -> m a -> m b
untilMaybe a -> Maybe b
f m a
act =
let g :: a -> m b
g a
p = forall b a. b -> (a -> b) -> Maybe a -> b
maybe m b
recur forall (m :: * -> *) a. Monad m => a -> m a
return (a -> Maybe b
f a
p)
recur :: m b
recur = m a
act forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= a -> m b
g
in m b
recur