| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
UniqueLogic.ST.System
- class Var var where
- data Variable w s a
- globalVariable :: ST s (Variable w s a)
- plainVariable :: Var var => var w s a -> Variable w s a
- data T w s a
- localVariable :: (Var var, Monoid w) => T w s (var w s a)
- constant :: (Var var, Monoid w) => a -> T w s (var w s a)
- assignment2 :: (Var var, Monoid w) => (a -> b) -> var w s a -> var w s b -> T w s ()
- assignment3 :: (Var var, Monoid w) => (a -> b -> c) -> var w s a -> var w s b -> var w s c -> T w s ()
- data Apply w s a
- arg :: (Var var, Monoid w) => var w s a -> Apply w s a
- runApply :: (Var var, Monoid w) => Apply w s a -> var w s a -> T w s ()
- solve :: T () s a -> ST s a
- query :: (Var var, Monoid w) => var w s a -> ST s (Maybe a)
Preparation
Minimal complete definition
globalVariable :: ST s (Variable w s a) Source #
plainVariable :: Var var => var w s a -> Variable w s a Source #
Posing statements
assignment3 :: (Var var, Monoid w) => (a -> b -> c) -> var w s a -> var w s b -> var w s c -> T w s () Source #