module Control.Monad.Imperative.Operators where
import Control.Monad.Imperative.Internals
(+=:), (*=:), (-=:) :: (ValTp k, Num b) => V Var r b -> V k r b -> MIO r ()
(+=:) a b = modifyOp (+) a b
(*=:) a b = modifyOp (*) a b
(-=:) a b = modifyOp () a b
(%=:) :: (ValTp k, Integral b) => V Var r b -> V k r b -> MIO r ()
(%=:) a b = modifyOp mod a b
(<.), (>.), (<=.),(<=.) :: (ValTp b1, ValTp b2, Ord b) => V b1 r b -> V b2 r b -> V Comp r Bool
(<.) a b = liftOp2 (<) a b
(>.) a b = liftOp2 (>) a b
(>=.) a b = liftOp2 (>=) a b
(<=.) a b = liftOp2 (<=) a b
(==.) :: (ValTp b1, ValTp b2, Eq b) => V b1 r b -> V b2 r b -> V Comp r Bool
(==.) a b = liftOp2 (==) a b
(+.), (-.), (*.) :: (ValTp b1, ValTp b2, Num c) => V b1 r c -> V b2 r c -> V Comp r c
(+.) a b = liftOp2 (+) a b
(-.) a b = liftOp2 () a b
(*.) a b = liftOp2 (*) a b
(%.) :: (ValTp b1, ValTp b2, Integral c) => V b1 r c -> V b2 r c -> V Comp r c
(%.) a b = liftOp2 mod a b
(/.) :: (ValTp b1, ValTp b2, Fractional c) => V b1 r c -> V b2 r c -> V Comp r c
(/.) a b = liftOp2 (/) a b
(&&.), (||.) :: (ValTp b1, ValTp b2) => V b1 r Bool -> V b2 r Bool -> V Comp r Bool
(&&.) a b = liftOp2 (&&) a b
(||.) a b = liftOp2 (||) a b
(~.) :: ValTp b1 => V b1 r Bool -> V Comp r Bool
(~.) a = C $ do
a' <- val a
return $ Lit $ not a'
liftOp2 :: (ValTp b1, ValTp b2) => (a -> b -> c) -> V b1 r a -> V b2 r b -> V Comp r c
liftOp2 f v1 v2 = C $ do
v1' <- val v1
v2' <- val v2
return $ Lit $ f v1' v2'