Portability | NoMonomorphismRestriction |
---|---|

Stability | experimental |

Maintainer | Matthew Mirman <mmirman@andrew.cmu.edu> |

Safe Haskell | None |

Some predefined operators for the imperative monad.

- (+=:), (-=:), (*=:) :: (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
- (==.) :: (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