Safe Haskell | None |
---|
- data SimplifierDetails s a n = SimplifierDetails {
- simplifierMkNamifierT :: Env n -> Namifier s n
- simplifierMkNamifierX :: Env n -> Namifier s n
- simplifierRules :: NamedRewriteRules a n
- simplifierTemplates :: [Module a n]
- parseSimplifier :: (Ord n, Show n) => (String -> Maybe n) -> SimplifierDetails s a n -> String -> Either ParseError (Simplifier s a n)
Documentation
data SimplifierDetails s a n Source
Auxilliary information that may be used by a simplifier.
SimplifierDetails | |
|
parseSimplifier :: (Ord n, Show n) => (String -> Maybe n) -> SimplifierDetails s a n -> String -> Either ParseError (Simplifier s a n)Source
Parse a simplifier from a string.