Control.Monad.Imperative.ImperativeMonad

Documentation

modifyOp :: (a -> b -> a) -> V Var r a -> V k r b -> MIO r ()

if' :: V b r Bool -> MIO r () -> MIO r ()

for :: (MIO r irr1, V b r Bool, MIO r irr2) -> MIO r () -> MIO r ()

break :: MIO a ()

continue :: MIO a ()

returnV :: V a1 a a -> ReaderT (Control a) (ContT a IO) ()

function :: MIO a a -> MIO b a

auto :: a -> MIO r (V Var r a)

runImperative :: MIO a a -> IO a

liftOp2 :: (t -> t' -> a) -> V b r t -> V b' r t' -> V Comp r a

prim :: a -> V Val r a

returnF :: V a b b -> MIO b b

(=:) :: V Var r a -> V b r a -> MIO r ()

(&) :: V Var r a -> V Var s a