| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Encoding.AbstractInterpretation
Description
Documentation
class Algebra a c | a -> c where
Methods
interpretTerm :: a -> Term -> c
Instances
| Interpretation a c => Algebra a c |
ruleConstraints :: Algebra a c => (c -> c -> b) -> a -> Rule -> b
strictRuleConstraints :: (AbstrOrd c b, Algebra a c) => a -> Rule -> b
weakRuleConstraints :: (AbstrOrd c b, Algebra a c) => a -> Rule -> b
orientOneConstraints :: (Algebra a c, AbstrOrd c b) => (c -> c -> b) -> a -> Trs -> b
trsConstraints :: (Algebra a c, AbstrOrd c b) => (c -> c -> b) -> a -> Trs -> b
strictTrsConstraints :: (Algebra a c, AbstrOrd c b) => a -> Trs -> b
weakTrsConstraints :: (Algebra a c, AbstrOrd c b) => a -> Trs -> b
relativeStrictTrsConstraints :: (Algebra a c, AbstrOrd c b) => a -> Trs -> b
relativeStricterTrsConstraints :: (Algebra a c, AbstrOrd c b) => [Rule] -> a -> Trs -> b
strictOneConstraints :: (Algebra a c, AbstrOrd c b) => a -> Trs -> b
pprintOrientRules :: (PrettyPrintable (c, Variables), AbstrOrd c Bool, Algebra a c) => a -> Signature -> Variables -> [Rule] -> Doc