| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Expr.Symbols
Description
Extends the Expr data type by creating new symbols.
Synopsis
- approxSymbol :: Symbol
- approx :: Integer -> Expr -> Expr
- wildcardSymbol :: Symbol
- isWildcardSymbol :: Symbol -> Bool
- wildcard :: Expr
- wildcardRelation :: Relation Expr
- namedWildcardSymbol :: Symbol
- isNamedWildcardSymbol :: Symbol -> Bool
- namedWildcard :: String -> Expr
- normalformSymbol :: Symbol
- isNormalformSymbol :: Symbol -> Bool
- normalform :: Expr -> Expr
Documentation
approxSymbol :: Symbol Source #
Approximates to a certain precision
wildcardSymbol :: Symbol Source #
Matches anything
isWildcardSymbol :: Symbol -> Bool Source #
Use this to match anything
Only works though if the used comparison function is aware of the symbol
namedWildcardSymbol :: Symbol Source #
An identifiable wildcard
isNamedWildcardSymbol :: Symbol -> Bool Source #
namedWildcard :: String -> Expr Source #
normalformSymbol :: Symbol Source #
Symbol for normalizing expressions
isNormalformSymbol :: Symbol -> Bool Source #
normalform :: Expr -> Expr Source #
The contained expression will be normalized at some point