| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| Synopsis | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| Documentation | ||||||||||||||||||||||||
| data Analysis | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| Standard (CFA-style) analysis. | ||||||||||||||||||||||||
| type Env = Map Name Label | ||||||||||||||||||||||||
| Static environment. | ||||||||||||||||||||||||
| rho0 :: Env | ||||||||||||||||||||||||
| Empty initial environment. | ||||||||||||||||||||||||
| lookupName :: Name -> Env -> Label | ||||||||||||||||||||||||
| Name lookup in Env. | ||||||||||||||||||||||||
| applyEnv :: Env -> Term -> Term | ||||||||||||||||||||||||
| Instantiate all the Vars in a Term. | ||||||||||||||||||||||||
| genStd | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| input/output analysis | ||||||||||||||||||||||||
| genInOut | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| post-apocalyptic analysis. | ||||||||||||||||||||||||
| genApoc | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| Main | ||||||||||||||||||||||||
| usageMessage :: IO a | ||||||||||||||||||||||||
| main :: IO () | ||||||||||||||||||||||||
| Produced by Haddock version 0.6 | ||||||||||||||||||||||||