Documentation

type DelayT m = IterT m Source #

type Delay = Iter Source #

lift :: Monad m => Iter a -> IterT m a Source #

runDelay :: Monad m => Natural -> DelayT m a -> m (Maybe a) Source #

runDelayUnbounded :: Monad m => DelayT m a -> m a Source #