Documentation

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

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

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

break :: MIO a ()Source

continue :: MIO a ()Source

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

function :: MIO a a -> MIO b aSource

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

runImperative :: MIO a a -> IO aSource

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

prim :: a -> V Val r aSource

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

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

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