operational-extra-0.4: Interpretation functions and simple instruction sets for operational
Control.Monad.Operational.Wait
data WaitI a where Source #
Constructors
wait :: Int -> ProgramT WaitI m () Source #
interpretWaitIO :: WaitI a -> IO a Source #
interpretWaitIgnore :: Applicative m => WaitI a -> m a Source #