Safe Haskell | None |
---|
- generic2 :: (Var var, Monoid w) => (b -> a) -> (a -> b) -> var w s a -> var w s b -> T w s ()
- generic3 :: (Var var, Monoid w) => (b -> c -> a) -> (c -> a -> b) -> (a -> b -> c) -> var w s a -> var w s b -> var w s c -> T w s ()
- equ :: (Var var, Monoid w) => var w s a -> var w s a -> T w s ()
- pair :: (Var var, Monoid w) => var w s a -> var w s b -> var w s (a, b) -> T w s ()
- max :: (Ord a, Var var, Monoid w) => var w s a -> var w s a -> var w s a -> T w s ()
- add :: (Num a, Var var, Monoid w) => var w s a -> var w s a -> var w s a -> T w s ()
- mul :: (Fractional a, Var var, Monoid w) => var w s a -> var w s a -> var w s a -> T w s ()
- square :: (Floating a, Var var, Monoid w) => var w s a -> var w s a -> T w s ()
- pow :: (Floating a, Var var, Monoid w) => var w s a -> var w s a -> var w s a -> T w s ()
Custom rules
generic3 :: (Var var, Monoid w) => (b -> c -> a) -> (c -> a -> b) -> (a -> b -> c) -> var w s a -> var w s b -> var w s c -> T w s ()Source
Common rules
pair :: (Var var, Monoid w) => var w s a -> var w s b -> var w s (a, b) -> T w s ()Source
You might be tempted to use the pair
rule to collect parameters
for rules with more than three arguments.
This is generally not a good idea since this way you lose granularity.
For building rules with more than three arguments,
please build according assignments with arg
and runApply
and bundle these assignments to rules.
This is the way, generic2
and generic3
work.