| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Simplifier.Parser
- 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.
Constructors
| SimplifierDetails | |
Fields
| |
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.