operational-extra-0.3: Interpretation functions and simple instruction sets for operational

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Operational.Wait

Documentation

data WaitI a where Source

Constructors

WaitI :: Int -> WaitI () 

wait :: Int -> ProgramT WaitI m () Source

interpretWaitIO :: WaitI a -> IO a Source

interpretWaitIgnore :: Applicative m => WaitI a -> m a Source