Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Documentation
eqComAssoc :: (Expr -> Expr) -> Expr -> Expr -> State (Map String Expr, Map String (Expr -> Bool)) Bool Source #
isSubExprOf :: (Expr -> Expr) -> Expr -> Expr -> State (Map String Expr, Map String (Expr -> Bool)) Bool Source #
wildcardsToVars :: Expr -> Expr Source #
restoreWildcards :: Expr -> Expr Source #