| Copyright | (c) Dominik Dietrich, Ewaryst Schulz, DFKI Bremen 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Ewaryst.Schulz@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CSL.ASUtils
Description
Utils to create and access abstract syntax data
- getDefiniens :: AssDefinition -> EXPRESSION
- getArguments :: AssDefinition -> [String]
- isFunDef :: AssDefinition -> Bool
- isInterval :: EXPRESSION -> Bool
- mkDefinition :: [String] -> EXPRESSION -> AssDefinition
- updateDefinition :: EXPRESSION -> AssDefinition -> AssDefinition
- mapExpr :: (EXPRESSION -> EXPRESSION) -> EXPRESSION -> EXPRESSION
- varDeclName :: VarDecl -> String
- varDeclToVar :: VarDecl -> EXPRESSION
- opDeclToOp :: OpDecl -> EXPRESSION
- mkVar :: String -> EXPRESSION
- mkOp :: String -> [EXPRESSION] -> EXPRESSION
- mkPredefOp :: OPNAME -> [EXPRESSION] -> EXPRESSION
- mkUserdefOp :: String -> [EXTPARAM] -> [EXPRESSION] -> Range -> EXPRESSION
- mkAndAnalyzeOp :: OperatorState st => st -> String -> [EXTPARAM] -> [EXPRESSION] -> Range -> EXPRESSION
- mkAndAnalyzeOp' :: OperatorState st => Bool -> st -> String -> [EXTPARAM] -> [EXPRESSION] -> Range -> Either String EXPRESSION
- toElimConst :: ConstantName -> Int -> ConstantName
- simpleName :: OPID -> String
- setOfUserDefined :: EXPRESSION -> Set String
- setOfConstsAndEPSpecs :: EXPRESSION -> (Set String, Set EXTPARAM)
Documentation
getArguments :: AssDefinition -> [String]
isFunDef :: AssDefinition -> Bool
isInterval :: EXPRESSION -> Bool
mkDefinition :: [String] -> EXPRESSION -> AssDefinition
mapExpr :: (EXPRESSION -> EXPRESSION) -> EXPRESSION -> EXPRESSION
varDeclName :: VarDecl -> String
varDeclToVar :: VarDecl -> EXPRESSION
opDeclToOp :: OpDecl -> EXPRESSION
mkVar :: String -> EXPRESSION
A variable constructor
mkOp :: String -> [EXPRESSION] -> EXPRESSION
A simple operator constructor from given operator name and arguments
mkPredefOp :: OPNAME -> [EXPRESSION] -> EXPRESSION
A simple operator constructor from given operator id and arguments
mkUserdefOp :: String -> [EXTPARAM] -> [EXPRESSION] -> Range -> EXPRESSION
A simple operator constructor from given operator id and arguments
mkAndAnalyzeOp :: OperatorState st => st -> String -> [EXTPARAM] -> [EXPRESSION] -> Range -> EXPRESSION
Arguments
| :: OperatorState st | |
| => Bool | process binders |
| -> st | |
| -> String | |
| -> [EXTPARAM] | |
| -> [EXPRESSION] | |
| -> Range | |
| -> Either String EXPRESSION |
Lookup the string in the given OperatorState
toElimConst :: ConstantName -> Int -> ConstantName
simpleName :: OPID -> String
setOfUserDefined :: EXPRESSION -> Set String
Returns a set of user defined constants ignoring EXTPARAM instantiation.
setOfConstsAndEPSpecs :: EXPRESSION -> (Set String, Set EXTPARAM)
Returns a set of user defined constants and EXTPARAM specifications.