| Safe Haskell | None |
|---|
UniqueLogic.ST.Rule
Contents
- generic2 :: String -> (b -> a) -> (a -> b) -> Variable s a -> Variable s b -> M s ()
- generic3 :: String -> (b -> c -> a) -> (c -> a -> b) -> (a -> b -> c) -> Variable s a -> Variable s b -> Variable s c -> M s ()
- equ :: Eq a => Variable s a -> Variable s a -> M s ()
- pair :: Variable s a -> Variable s b -> Variable s (a, b) -> M s ()
- max :: Ord a => Variable s a -> Variable s a -> Variable s a -> M s ()
- add :: Num a => Variable s a -> Variable s a -> Variable s a -> M s ()
- mul :: Fractional a => Variable s a -> Variable s a -> Variable s a -> M s ()
- square :: Floating a => Variable s a -> Variable s a -> M s ()
- pow :: Floating a => Variable s a -> Variable s a -> Variable s a -> M s ()