Control.Monad.Imperative.Operators

Some predefined operators for the imperative monad.

Documentation

(+=:), (-=:), (*=:) :: (ValTp k, Num b) => V Var r b -> V k r b -> MIO r ()

(%=:) :: (ValTp k, Integral b) => V Var r b -> V k r b -> MIO r ()

(<.), (<=.), (<=.), (>.) :: (ValTp b1, ValTp b2, Ord b) => V b1 r b -> V b2 r b -> V Comp r Bool

(>=.) :: (Ord b, ValTp b2, ValTp b1) => V b1 r b -> V b2 r b -> V Comp r Bool

(==.) :: (ValTp b1, ValTp b2, Eq b) => V b1 r b -> V b2 r b -> V Comp r Bool

(+.), (*.), (-.) :: (ValTp b1, ValTp b2, Num c) => V b1 r c -> V b2 r c -> V Comp r c

(%.) :: (ValTp b1, ValTp b2, Integral c) => V b1 r c -> V b2 r c -> V Comp r c

(/.) :: (ValTp b1, ValTp b2, Fractional c) => V b1 r c -> V b2 r c -> V Comp r c

(&&.), (||.) :: (ValTp b1, ValTp b2) => V b1 r Bool -> V b2 r Bool -> V Comp r Bool

(~.) :: ValTp b1 => V b1 r Bool -> V Comp r Bool

liftOp2 :: (ValTp b1, ValTp b2) => (a -> b -> c) -> V b1 r a -> V b2 r b -> V Comp r c

liftOp2 f turns a pure function into one which gets executes its arguments and returns their value as a function. It is defined using liftOp.