DDC.Core.Simplifier.Parser

Documentation

data SimplifierDetails s a n

Auxilliary information that may be used by a simplifier.

Constructors

SimplifierDetails

Fields

simplifierMkNamifierT :: Env n -> Namifier s n

Create a namifier to make fresh type (level-1) names that don't conflict with any already in this environment.

simplifierMkNamifierX :: Env n -> Namifier s n

Create a namifier to make fresh value or witness (level-0) names that don't conflict with any already in this environment.

simplifierRules :: NamedRewriteRules a n

Rewrite rules along with their names.

simplifierTemplates :: [Module a n]

Modules available for inlining.

parseSimplifier :: (Ord n, Show n) => (String -> Maybe n) -> SimplifierDetails s a n -> String -> Either ParseError (Simplifier s a n)

Parse a simplifier from a string.