Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This package supports running filters in pure Haskell, of course. But it's also designed to work with libraries like sbv and ivory that can extract symbolic expressions, whether for analysis in other tools or for generating code in some other language.
This module provides helpers allowing models to abstract away from standard Haskell type-classes that do not support symbolic computation.