Advise-me-0.1: Assessment services for the Advise-Me project

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Util.Expr

Description

 

Documentation

substitute :: Map String Expr -> Expr -> Expr Source #

eqComAssoc :: (Expr -> Expr) -> Expr -> Expr -> State (Map String Expr, Map String (Expr -> Bool)) Bool Source #

isLiteral :: Expr -> Bool Source #

isSubExprOf :: (Expr -> Expr) -> Expr -> Expr -> State (Map String Expr, Map String (Expr -> Bool)) Bool Source #

wildcard :: String -> Expr Source #

wildcardsToVars :: Expr -> Expr Source #

restoreWildcards :: Expr -> Expr Source #