| Copyright | (c) Christian Maeder and Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
HasCASL.SimplifyTerm
Description
remove type annotations of unique variables or operations
- simplifyRec :: Bool -> Env -> MapRec
- simplifyTerm :: Env -> Term -> Term
- simplifyPattern :: Env -> Term -> Term
- simplifyEq :: Env -> ProgEq -> ProgEq
- simplifySentence :: Env -> Sentence -> Sentence
Documentation
simplifyRec :: Bool -> Env -> MapRec
simplify terms and patterns (if True)
simplifyTerm :: Env -> Term -> Term
remove qualification of unique identifiers
simplifyPattern :: Env -> Term -> Term
remove qualification of unique identifiers
simplifyEq :: Env -> ProgEq -> ProgEq
simplifySentence :: Env -> Sentence -> Sentence