| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Encoding.HomomorphicInterpretation
Description
Documentation
class Interpretation a c | a -> c where
Instances
| Semiring a => Interpretation (MatrixInter a) (LInter a) | |
| (Eq a, Semiring a) => Interpretation (PolyInter a) (Polynomial Variable a) |